Basic flow analysis on if statements

[hiphop-php.git] / hphp / test / slow / verify-hhbbc.php.hhbbc_assert

Verification Error (unit %s/verify-hhbbc.php func main): CheckProp cannot appear in main function\n
The optimized unit for %s/verify-hhbbc.php did not pass verification, bailing because Eval.AbortBuildOnVerifyError is set