Confirmed in Ubuntu 10.04 "lucid" using: echo '<?php $d = 2.2250738585072011e-308; ?>' | time -p php5 which hangs.
Ubuntu 8.04 "hardy" does not hang.
Confirmed in Ubuntu 10.04 "lucid" using: 011e-308; ?>' | time -p php5
echo '<?php $d = 2.2250738585072
which hangs.
Ubuntu 8.04 "hardy" does not hang.