Verifier support for CheckROCOW

[hiphop-php.git] / hphp / test / quick / FPassC.php

<?hh
function f(inout $a) { $a++; print $a; }
function g($a) { $a++; print $a; }
<<__EntryPoint>> function main(): void {
$a = f<>;
if (0) $a(3);
$val4 = 4;
if (0) f(inout $val4);
g(5);
print "\n";
$val3 = 3;
f(inout $val3);
}