Member predicate ConstantExprs::ForLoopEntryConditionEvaluator::isLoopBody
Holds if s
is the loop body guarded by the condition e
.
predicate isLoopBody(Expr e, StmtParent s)
Holds if s
is the loop body guarded by the condition e
.
predicate isLoopBody(Expr e, StmtParent s)