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
(
)