Zend: Add new test for coercions from NAN

Author: Girgias

Zend/tests/type_coercion/nan_comp_op.phpt

@@ -0,0 +1,123 @@
+--TEST--
+NAN coerced to other types
+--FILE--
+<?php
+
+$binaryOperators = [
+    "==",
+    "!=",
+    "===",
+    "!==",
+    "<",
+    "<=",
+    ">",
+    ">=",
+    "<=>",
+];
+$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);
+}
+
+?>
+--CLEAN--
+<?php
+$fl = __DIR__ . DIRECTORY_SEPARATOR . 'compare_binary_operands_nan_temp.php';
+@unlink($fl);
+?>
+--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(false)
+bool(false)
+int(1)
+Using false as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(false)
+bool(false)
+int(1)
+Using true as right op
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+bool(false)
+bool(false)
+bool(false)
+bool(false)
+int(1)
+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(false)
+bool(false)
+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,67 @@
+--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"
+int(0)
+bool(true)
+string(3) "NAN"
+array(1) {
+  [0]=>
+  float(NAN)
+}
+object(stdClass)#%d (1) {
+  ["scalar"]=>
+  float(NAN)
+}
+NULL
+bool(true)
+int(0)
+string(3) "NAN"
+array(1) {
+  [0]=>
+  float(NAN)
+}
+object(stdClass)#%d (1) {
+  ["scalar"]=>
+  float(NAN)
+}