core: Add new test for coercions from NAN

Author: Girgias

Zend/tests/type_coercion/nan_comp_op.phpt

@@ -0,0 +1,106 @@
+--TEST--
+NAN coerced to other types
+--FILE--
+<?php
+
+$inputs = [
+    0,
+    null,
+    false,
+    true,
+    "",
+    [],
+    NAN,
+];
+
+$nan = fdiv(0, 0);
+var_dump($nan);
+foreach ($inputs as $right) {
+    echo 'Using ';
+    var_export($right);
+    echo ' as right op', PHP_EOL;
+    var_dump($nan == $right);
+    var_dump($nan != $right);
+    var_dump($nan === $right);
+    var_dump($nan !== $right);
+    var_dump($nan < $right);
+    var_dump($nan <= $right);
+    var_dump($nan > $right);
+    var_dump($nan >= $right);
+    var_dump($nan <=> $right);
+}
+
+?>
+--EXPECT--
+float(NAN)
+Using 0 as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(false)
+bool(false)
+int(1)
+Using NULL as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(true)
+int(1)
+Using false as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(true)
+int(1)
+Using true as right op
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+int(0)
+Using '' as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(false)
+bool(false)
+int(1)
+Using array (
+) as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(true)
+bool(true)
+bool(false)
+bool(false)
+int(-1)
+Using NAN as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(false)
+bool(false)
+int(1)

Zend/tests/type_coercion/nan_to_other.phpt

@@ -0,0 +1,71 @@
+--TEST--
+NAN coerced to other types
+--FILE--
+<?php
+
+$nan = fdiv(0, 0);
+var_dump($nan);
+
+function implicit_to_bool(bool $v) {
+    var_dump($v);
+}
+function implicit_to_string(string $v) {
+    var_dump($v);
+}
+
+implicit_to_bool($nan);
+implicit_to_string($nan);
+
+var_dump((int) $nan);
+var_dump((bool) $nan);
+var_dump((string) $nan);
+var_dump((array) $nan);
+var_dump((object) $nan);
+
+$types = [
+    'null',
+    'bool',
+    'int',
+    'string',
+    'array',
+    'object',
+];
+
+foreach ($types as $type) {
+    $nan = fdiv(0, 0);
+    settype($nan, $type);
+    var_dump($nan);
+}
+
+?>
+--EXPECTF--
+float(NAN)
+bool(true)
+string(3) "NAN"
+
+Warning: The float NAN is not representable as an int, cast occurred in %s on line %d
+int(0)
+bool(true)
+string(3) "NAN"
+array(1) {
+  [0]=>
+  float(NAN)
+}
+object(stdClass)#%d (1) {
+  ["scalar"]=>
+  float(NAN)
+}
+NULL
+bool(true)
+
+Warning: The float NAN is not representable as an int, cast occurred in %s on line %d
+int(0)
+string(3) "NAN"
+array(1) {
+  [0]=>
+  float(NAN)
+}
+object(stdClass)#%d (1) {
+  ["scalar"]=>
+  float(NAN)
+}

ext/opcache/tests/jit/nan_bool_cast.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Const NAN with bool cast should emit 1 warning
+--INI--
+opcache.enable=1
+opcache.enable_cli=1
+opcache.file_update_protection=0
+--EXTENSIONS--
+opcache
+--FILE--
+<?php
+echo (bool)NAN;
+?>
+--EXPECTF--
+Warning: unexpected NAN value was coerced to bool in %s on line 2
+1