--TEST--
Bug #69871 (Short-circuiting failure with smart_branch)
--FILE--
<?php

$a = true;
if (isset($a) && 0) {
    var_dump(true);
} else {
    var_dump(false);
}

?>
--EXPECT--
bool(false)