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

Member predicate WhileStmt :: conditionAlwaysTrue

Holds if the loop condition is provably true.

For example, this holds for

while(1) { ...; if(b) break; ...; }
predicate conditionAlwaysTrue ( )