CodeQL library for C/C++
codeql/cpp-all 0.9.3 ( changelog , source )
Search

Member predicate ForStmt :: conditionAlwaysTrue

Holds if the loop condition is provably true.

For example, this holds for

for(x = 0; 1; ++x) { sum += x; }
predicate conditionAlwaysTrue ( )