Verifier support for CheckROCOW

[hiphop-php.git] / hphp / test / quick / div-zero.php

<?hh


function main($num, $zero) {
  try {
    $z = $num / 0;
  } catch (DivisionByZeroException $e) {
    echo $e->getMessage(), "\n";
  }
  try {
    $zz = $num / $zero;
  } catch (DivisionByZeroException $e) {
    echo $e->getMessage(), "\n";
  }
}
<<__EntryPoint>> function main_entry(): void {
main(123, 0);
}