Member predicate WhileStmt::conditionAlwaysFalse
Holds if the loop condition is provably false
.
For example, this holds for
while(0) { ...; }
predicate conditionAlwaysFalse()
Holds if the loop condition is provably false
.
For example, this holds for
while(0) { ...; }
predicate conditionAlwaysFalse()