Member predicate WhileStmt :: conditionAlwaysTrue
Holds if the loop condition is provably true
.
For example, this holds for
while(1) { ...; if(b) break; ...; }
predicate
conditionAlwaysTrue
(
)