Cpp.AbstractArrayDeclarator Class

This PQL defect checks for the presence of any abstract_array_declarator node.

defect FindAnyAbstractArrayDeclarator =
when
    Cpp.AbstractArrayDeclarator.is(&decl)
    and decl.nodeText(&txt)
raise "Found abstract array declarator: \"{txt}\""
on decl

In this C++ code, the defect finds each array declarator such as the omitted-first-dimension and multidimensional declarations.

int (*ptr_to_array)[10] = (int (*)[10]) (const int (*)[10])nullptr;;

This PQL defect checks generic nodes and filters those that are abstract_array_declarator.

defect CastNodeToAbstractArray =
when
    Cpp.Node.is(&node, &,&,&)
    and Cpp.AbstractArrayDeclarator.cast(node, &arr)
    and arr.nodeText(&txt)
raise "Node is an abstract array declarator: \"{txt}\""
on arr

In this C++ code, the defect locates the abstract_array_declarator nodes among generic parsed nodes.

int (*ptr_to_array)[10] = (int (*)[10]) (const int (*)[10])nullptr;;

This PQL defect checks generic nodes to see if they are abstract_array_declarator (boolean-style).

defect NodeIsAbstractArray =
when
    Cpp.Node.is(&node, &,&,&)
    and Cpp.AbstractArrayDeclarator.isa(node)
raise "Node is an abstract array declarator"
on node

In this C++ code, the defect detects that the parsed node corresponding to (*)[10] is an abstract array declarator.

int (*ptr_to_array)[10] = (int (*)[10]) (const int (*)[10])nullptr;;

This PQL defect checks for the nested declarator node contained within an abstract_array_declarator.

defect FindNestedDeclarator =
when
    Cpp.AbstractArrayDeclarator.is(&arr)
    and arr.declarator(&inner)
    and inner.nodeText(&txt)
raise "Nested declarator: \"{txt}\""
on arr

This PQL defect checks for the size expression (array bound) of an abstract_array_declarator.

defect FindArraySize =
when
    Cpp.AbstractArrayDeclarator.is(&arr)
    and arr.size(&sz)
    and sz.nodeText(&txt)
raise "Array size expression: \"{txt}\""
on arr

In this C++ code, the defect matches the literal 10 from int (*)[10] and 5 from (*)[5].

int (*ptr_to_array)[10] = (int (*)[10]) (const int (*)[5])nullptr;

This PQL defect checks for type qualifiers applied to the array size expression.

defect FindTypeQualifierInSize =
when
    Cpp.AbstractArrayDeclarator.is(&arr)
    and arr.typeQualifier(&tq)
    and tq.nodeText(&txt)
raise "Array size type qualifier: \"{txt}\""
on tq

In this C++ code, the defect detects the const qualifier inside the abstract array declarator int [const 10].

void function_declaration(int [const 10]);

This PQL defect checks for the nearest enclosing abstract_array_declarator around a given child node.

defect EnclosingAbstractArrayForSize =
when
    Cpp.Node.is(&node, &,&,&)
     and Cpp.AbstractParenthesizedDeclarator.isa(node)
    and Cpp.AbstractArrayDeclarator.getEnclosingAbstractArrayDeclarator(node, &parent)
    and parent.nodeText(&txt)
raise "Enclosing abstract array declarator: \"{txt}\""
on parent

In this C++ code, there are two abstract parenthesized declarators that have an abstract array declarator ancestor nodes: (*)[10] and (*)[5]. The defects find the ancestor abstract array declarators.

int (*ptr_to_array)[10] = (int (*)[10]) (const int (*)[5])nullptr;

This PQL defect checks for all abstract_array_declarator ancestors enclosing an abstract_pointer_declarator child node.

ddefect AllEnclosingAbstractArrays =
when
    Cpp.Node.is(&node, &,&,&)
    and Cpp.AbstractPointerDeclarator.isa(node)
    and Cpp.AbstractArrayDeclarator.isEnclosedInAbstractArrayDeclarator(node)
    and node.nodeText(&txt)
raise "Node with ancestor abstract array declarator: \"{txt}\""
on node

In this C++ code, there are two abstract pointer declarators (*) that have an abstract array declarator ancestor nodes: (*)[10] and (*)[5]. The defects find the ancestor abstract array declarators.

int (*ptr_to_array)[10] = (int (*)[10]) (const int (*)[5])nullptr;