Fix memoization of functions called with keyset arguments

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

<?php


function main($num, $zero) {
  $z = $num / 0;
  $zz = $num / $zero;
  var_dump($z, $zz);
}
main(123, 0);