New test and test fix in Zend/

Author: Girgias

Zend/tests/float_to_int/union_int_string_type_arg.phpt

@@ -0,0 +1,28 @@
+--TEST--
+Union of int|string shouldn't warn if string semantics are used
+--FILE--
+<?php
+
+$float = 1.0;
+
+function foo(int|string $a): void {
+    var_dump($a);
+}
+
+foo(1.0);
+foo(1.5);
+foo(fdiv(0, 0));
+foo(10e120);
+foo(10e500); // Infinity
+
+
+
+?>
+--EXPECTF--
+int(1)
+
+Deprecated: Implicit conversion to int from non-compatible float in %s on line %d
+int(1)
+string(3) "NAN"
+string(8) "1.0E+121"
+string(3) "INF"

Zend/tests/operator_unsupported_types.phpt

@@ -31,13 +31,13 @@ $legalValues = [
     'true',
     'false',
     '2',
-    '3.5',
+    '3.5', // Semi-legal for certain ops
     '"123"',
     '"123foo"', // Semi-legal
 ];
 
 set_error_handler(function($errno, $errstr) {
-    assert($errno == E_WARNING);
+    assert($errno == E_WARNING || $errno == E_DEPRECATED);
     echo "Warning: $errstr\n";
 });
 
@@ -453,6 +453,7 @@ Unsupported operand types: bool % array
 Unsupported operand types: array % int
 Unsupported operand types: int % array
 Unsupported operand types: array % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % array
 Unsupported operand types: array % string
 Unsupported operand types: string % array
@@ -468,6 +469,7 @@ Unsupported operand types: bool % stdClass
 Unsupported operand types: stdClass % int
 Unsupported operand types: int % stdClass
 Unsupported operand types: stdClass % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % stdClass
 Unsupported operand types: stdClass % string
 Unsupported operand types: string % stdClass
@@ -483,6 +485,7 @@ Unsupported operand types: bool % resource
 Unsupported operand types: resource % int
 Unsupported operand types: int % resource
 Unsupported operand types: resource % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % resource
 Unsupported operand types: resource % string
 Unsupported operand types: string % resource
@@ -498,6 +501,7 @@ Unsupported operand types: bool % string
 Unsupported operand types: string % int
 Unsupported operand types: int % string
 Unsupported operand types: string % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % string
 Unsupported operand types: string % string
 Unsupported operand types: string % string
@@ -605,6 +609,7 @@ Unsupported operand types: bool << array
 Unsupported operand types: array << int
 Unsupported operand types: int << array
 Unsupported operand types: array << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << array
 Unsupported operand types: array << string
 Unsupported operand types: string << array
@@ -620,6 +625,7 @@ Unsupported operand types: bool << stdClass
 Unsupported operand types: stdClass << int
 Unsupported operand types: int << stdClass
 Unsupported operand types: stdClass << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << stdClass
 Unsupported operand types: stdClass << string
 Unsupported operand types: string << stdClass
@@ -635,6 +641,7 @@ Unsupported operand types: bool << resource
 Unsupported operand types: resource << int
 Unsupported operand types: int << resource
 Unsupported operand types: resource << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << resource
 Unsupported operand types: resource << string
 Unsupported operand types: string << resource
@@ -650,6 +657,7 @@ Unsupported operand types: bool << string
 Unsupported operand types: string << int
 Unsupported operand types: int << string
 Unsupported operand types: string << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << string
 Unsupported operand types: string << string
 Unsupported operand types: string << string
@@ -681,6 +689,7 @@ Unsupported operand types: bool >> array
 Unsupported operand types: array >> int
 Unsupported operand types: int >> array
 Unsupported operand types: array >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> array
 Unsupported operand types: array >> string
 Unsupported operand types: string >> array
@@ -696,6 +705,7 @@ Unsupported operand types: bool >> stdClass
 Unsupported operand types: stdClass >> int
 Unsupported operand types: int >> stdClass
 Unsupported operand types: stdClass >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> stdClass
 Unsupported operand types: stdClass >> string
 Unsupported operand types: string >> stdClass
@@ -711,6 +721,7 @@ Unsupported operand types: bool >> resource
 Unsupported operand types: resource >> int
 Unsupported operand types: int >> resource
 Unsupported operand types: resource >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> resource
 Unsupported operand types: resource >> string
 Unsupported operand types: string >> resource
@@ -726,6 +737,7 @@ Unsupported operand types: bool >> string
 Unsupported operand types: string >> int
 Unsupported operand types: int >> string
 Unsupported operand types: string >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> string
 Unsupported operand types: string >> string
 Unsupported operand types: string >> string
@@ -757,6 +769,7 @@ Unsupported operand types: bool & array
 Unsupported operand types: array & int
 Unsupported operand types: int & array
 Unsupported operand types: array & float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float & array
 Unsupported operand types: array & string
 Unsupported operand types: string & array
@@ -800,6 +813,7 @@ Unsupported operand types: bool & string
 Unsupported operand types: string & int
 Unsupported operand types: int & string
 Unsupported operand types: string & float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float & string
 No error for "foo" & "123"
 No error for "123" & "foo"
@@ -830,6 +844,7 @@ Unsupported operand types: bool | array
 Unsupported operand types: array | int
 Unsupported operand types: int | array
 Unsupported operand types: array | float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float | array
 Unsupported operand types: array | string
 Unsupported operand types: string | array
@@ -873,6 +888,7 @@ Unsupported operand types: bool | string
 Unsupported operand types: string | int
 Unsupported operand types: int | string
 Unsupported operand types: string | float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float | string
 No error for "foo" | "123"
 No error for "123" | "foo"
@@ -903,6 +919,7 @@ Unsupported operand types: bool ^ array
 Unsupported operand types: array ^ int
 Unsupported operand types: int ^ array
 Unsupported operand types: array ^ float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float ^ array
 Unsupported operand types: array ^ string
 Unsupported operand types: string ^ array
@@ -946,6 +963,7 @@ Unsupported operand types: bool ^ string
 Unsupported operand types: string ^ int
 Unsupported operand types: int ^ string
 Unsupported operand types: string ^ float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float ^ string
 No error for "foo" ^ "123"
 No error for "123" ^ "foo"
@@ -1449,6 +1467,7 @@ Unsupported operand types: bool % array
 Unsupported operand types: array % int
 Unsupported operand types: int % array
 Unsupported operand types: array % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % array
 Unsupported operand types: array % string
 Unsupported operand types: string % array
@@ -1464,6 +1483,7 @@ Unsupported operand types: bool % stdClass
 Unsupported operand types: stdClass % int
 Unsupported operand types: int % stdClass
 Unsupported operand types: stdClass % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % stdClass
 Unsupported operand types: stdClass % string
 Unsupported operand types: string % stdClass
@@ -1479,6 +1499,7 @@ Unsupported operand types: bool % resource
 Unsupported operand types: resource % int
 Unsupported operand types: int % resource
 Unsupported operand types: resource % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % resource
 Unsupported operand types: resource % string
 Unsupported operand types: string % resource
@@ -1494,6 +1515,7 @@ Unsupported operand types: bool % string
 Unsupported operand types: string % int
 Unsupported operand types: int % string
 Unsupported operand types: string % float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float % string
 Unsupported operand types: string % string
 Unsupported operand types: string % string
@@ -1601,6 +1623,7 @@ Unsupported operand types: bool << array
 Unsupported operand types: array << int
 Unsupported operand types: int << array
 Unsupported operand types: array << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << array
 Unsupported operand types: array << string
 Unsupported operand types: string << array
@@ -1616,6 +1639,7 @@ Unsupported operand types: bool << stdClass
 Unsupported operand types: stdClass << int
 Unsupported operand types: int << stdClass
 Unsupported operand types: stdClass << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << stdClass
 Unsupported operand types: stdClass << string
 Unsupported operand types: string << stdClass
@@ -1631,6 +1655,7 @@ Unsupported operand types: bool << resource
 Unsupported operand types: resource << int
 Unsupported operand types: int << resource
 Unsupported operand types: resource << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << resource
 Unsupported operand types: resource << string
 Unsupported operand types: string << resource
@@ -1646,6 +1671,7 @@ Unsupported operand types: bool << string
 Unsupported operand types: string << int
 Unsupported operand types: int << string
 Unsupported operand types: string << float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float << string
 Unsupported operand types: string << string
 Unsupported operand types: string << string
@@ -1677,6 +1703,7 @@ Unsupported operand types: bool >> array
 Unsupported operand types: array >> int
 Unsupported operand types: int >> array
 Unsupported operand types: array >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> array
 Unsupported operand types: array >> string
 Unsupported operand types: string >> array
@@ -1692,6 +1719,7 @@ Unsupported operand types: bool >> stdClass
 Unsupported operand types: stdClass >> int
 Unsupported operand types: int >> stdClass
 Unsupported operand types: stdClass >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> stdClass
 Unsupported operand types: stdClass >> string
 Unsupported operand types: string >> stdClass
@@ -1707,6 +1735,7 @@ Unsupported operand types: bool >> resource
 Unsupported operand types: resource >> int
 Unsupported operand types: int >> resource
 Unsupported operand types: resource >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> resource
 Unsupported operand types: resource >> string
 Unsupported operand types: string >> resource
@@ -1722,6 +1751,7 @@ Unsupported operand types: bool >> string
 Unsupported operand types: string >> int
 Unsupported operand types: int >> string
 Unsupported operand types: string >> float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float >> string
 Unsupported operand types: string >> string
 Unsupported operand types: string >> string
@@ -1753,6 +1783,7 @@ Unsupported operand types: bool & array
 Unsupported operand types: array & int
 Unsupported operand types: int & array
 Unsupported operand types: array & float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float & array
 Unsupported operand types: array & string
 Unsupported operand types: string & array
@@ -1768,6 +1799,7 @@ Unsupported operand types: bool & stdClass
 Unsupported operand types: stdClass & int
 Unsupported operand types: int & stdClass
 Unsupported operand types: stdClass & float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float & stdClass
 Unsupported operand types: stdClass & string
 Unsupported operand types: string & stdClass
@@ -1783,6 +1815,7 @@ Unsupported operand types: bool & resource
 Unsupported operand types: resource & int
 Unsupported operand types: int & resource
 Unsupported operand types: resource & float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float & resource
 Unsupported operand types: resource & string
 Unsupported operand types: string & resource
@@ -1798,6 +1831,7 @@ Unsupported operand types: bool & string
 Unsupported operand types: string & int
 Unsupported operand types: int & string
 Unsupported operand types: string & float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float & string
 No error for "foo" &= "123"
 No error for "123" &= "foo"
@@ -1828,6 +1862,7 @@ Unsupported operand types: bool | array
 Unsupported operand types: array | int
 Unsupported operand types: int | array
 Unsupported operand types: array | float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float | array
 Unsupported operand types: array | string
 Unsupported operand types: string | array
@@ -1843,6 +1878,7 @@ Unsupported operand types: bool | stdClass
 Unsupported operand types: stdClass | int
 Unsupported operand types: int | stdClass
 Unsupported operand types: stdClass | float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float | stdClass
 Unsupported operand types: stdClass | string
 Unsupported operand types: string | stdClass
@@ -1858,6 +1894,7 @@ Unsupported operand types: bool | resource
 Unsupported operand types: resource | int
 Unsupported operand types: int | resource
 Unsupported operand types: resource | float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float | resource
 Unsupported operand types: resource | string
 Unsupported operand types: string | resource
@@ -1873,6 +1910,7 @@ Unsupported operand types: bool | string
 Unsupported operand types: string | int
 Unsupported operand types: int | string
 Unsupported operand types: string | float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float | string
 No error for "foo" |= "123"
 No error for "123" |= "foo"
@@ -1903,6 +1941,7 @@ Unsupported operand types: bool ^ array
 Unsupported operand types: array ^ int
 Unsupported operand types: int ^ array
 Unsupported operand types: array ^ float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float ^ array
 Unsupported operand types: array ^ string
 Unsupported operand types: string ^ array
@@ -1918,6 +1957,7 @@ Unsupported operand types: bool ^ stdClass
 Unsupported operand types: stdClass ^ int
 Unsupported operand types: int ^ stdClass
 Unsupported operand types: stdClass ^ float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float ^ stdClass
 Unsupported operand types: stdClass ^ string
 Unsupported operand types: string ^ stdClass
@@ -1933,6 +1973,7 @@ Unsupported operand types: bool ^ resource
 Unsupported operand types: resource ^ int
 Unsupported operand types: int ^ resource
 Unsupported operand types: resource ^ float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float ^ resource
 Unsupported operand types: resource ^ string
 Unsupported operand types: string ^ resource
@@ -1948,6 +1989,7 @@ Unsupported operand types: bool ^ string
 Unsupported operand types: string ^ int
 Unsupported operand types: int ^ string
 Unsupported operand types: string ^ float
+Warning: Implicit conversion to int from non-compatible float
 Unsupported operand types: float ^ string
 No error for "foo" ^= "123"
 No error for "123" ^= "foo"

Zend/tests/runtime_compile_time_binary_operands.phpt

@@ -2,6 +2,7 @@
 Test binary operands exposing the same behavior at compile as at run time
 --INI--
 memory_limit=256M
+error_reporting=E_ALL & ~E_DEPRECATED
 --FILE--
 <?php