Cpp.ForStatement Class

This PQL defect checks for any for_statement node in the code.

defect FindFor =
when
    Cpp.ForStatement.is(&forStmt)
    and forStmt.nodeText(&txt)
raise "Found for: \"{txt}\""
on forStmt

In this C++ code, the defect finds the top-level for loop construct.

int main() {
    for (int i = 0; i < 3; ++i) { }
    return 0;
}

This PQL defect checks for a for_statement by converting a different syntax node to Node and then casting.

defect CastToFor =
when
    Cpp.Node.is(&node,&,&,&)
    and Cpp.ForStatement.cast(node, &forStmt)
    and forStmt.nodeText(&txt)
raise "Casted node is for: \"{txt}\""
on forStmt

In this C++ code, the defect looks for a for loop .

void f() {
    for (int i = 0; i < 1; ++i) {}
}

This PQL defect checks whether a converted node is a for_statement and flags when it is not.

defect NotAFor =
when
    Cpp.Node.is(&node,&,&,&)
    and not Cpp.ForStatement.isa(node)
raise "Node is not a for_statement"
on exprStmt

In this C++ code, the defect finds syntax nodes that are not a for loop .

void g() {
    int x = 0;
}

This PQL defect checks for a for_statement that has an initializer and captures its text.

defect ForHasInit =
when
    Cpp.ForStatement.is(&forStmt)
    and forStmt.initializer(&init)
    and init.nodeText(&txt)
raise "For initializer: \"{txt}\""
on forStmt

In this C++ code, the defect finds the int i = 0 initializer of the for loop.

void h() {
    for (int i = 0; i < 2; ++i) { }
}

This PQL defect checks for a for_statement and captures its condition expression.

defect ForHasCond =
when
    Cpp.ForStatement.is(&forStmt)
    and forStmt.condition(&cond)
    and cond.nodeText(&txt)
raise "For condition: \"{txt}\""
on forStmt

In this C++ code, the defect finds the i < 10 condition inside the for loop.

void k() {
    for (int i = 0; i < 10; ++i) { }
}

This PQL defect checks for the update expression of a for_statement.

defect ForHasUpdate =
when
    Cpp.ForStatement.is(&forStmt)
    and forStmt.update(&upd)
    and upd.nodeText(&txt)
raise "For update: \"{txt}\""
on forStmt

In this C++ code, the defect captures the ++i update in the for loop.

void m() {
    for (int i = 0; i < 5; ++i) { }
}

This PQL defect checks for the body of a for_statement and reports its text.

defect ForHasBody =
when
    Cpp.ForStatement.is(&forStmt)
    and forStmt.body(&body)
    and body.nodeText(&txt)
raise "For body: \"{txt}\""
on forStmt

In this C++ code, the defect finds the { /* body */ } block that is the loop body.

void n() {
    for (int i = 0; i < 2; ++i) {
        int x = i;
    }
}

This PQL defect checks for the closest enclosing for_statement around a given inner node by first converting a different node to Node.

defect EnclosingFor =
when
    Cpp.ReturnStatement.is(&ret)
    and ret.toNode(&node)
    and Cpp.ForStatement.getEnclosingForStatement(node, &forParent)
    and forParent.nodeText(&txt)
raise "Enclosing for: \"{txt}\""
on forParent

In this C++ code, the defect finds the nearest for loop that encloses a return statement inside its body.

int foo() {
    for (int i = 0; i < 3; ++i) {
        if (i == 1) return 42;
    }
    return 0;
}

This PQL defect checks whether a node is inside any for_statement by converting a node to Node first.

defect InsideFor =
when
    Cpp.BreakStatement.is(&brk)
    and brk.toNode(&node)
    and Cpp.ForStatement.isEnclosedInForStatement(node)
raise "Break is inside a for"
on brk

In this C++ code, the defect identifies a break statement that lives inside a for loop.

void p() {
    for (;;) {
        break;
    }
}