Member predicate WhileStmt :: conditionAlwaysTrueUponEntry

Holds if the loop condition is provably true upon entry, that is, at least one iteration of the loop is guaranteed.

For example, with

bool done = false;
while (!done) { ... done = true; ... }

the condition !done always evaluates to true upon entry since done = false, but the condition may evaluate to false after some iterations.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                conditionAlwaysTrueUponEntry
                            
                            
                                (
                                )