search

TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Other
0 stars 0 forks source link

do while loop should have the while conditional be evaluated with context after the loop is run #35

Closed TysonAndre closed 6 years ago

TysonAndre commented 7 years ago

This seems to be a bug in ast_simplify

TysonAndre commented 7 years ago

Or in the BlockAnalysisVisitor, I forget if this was fixed