From: Nikita Popov <nikita.ppv@gmail.com>
Date: Fri, 12 Jul 2019 10:09:50 +0000 (+0200)
Subject: Deprecate (real) cast
X-Git-Tag: php-7.4.0beta1~23
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e41b7f6db42472158fd44bb502ee1b8e51dca610;p=php

Deprecate (real) cast
---

diff --git a/Zend/tests/real_cast_deprecation.phpt b/Zend/tests/real_cast_deprecation.phpt
new file mode 100644
index 0000000000..a73517c504
--- /dev/null
+++ b/Zend/tests/real_cast_deprecation.phpt
@@ -0,0 +1,11 @@
+--TEST--
+The (real) cast is deprecated
+--FILE--
+<?php
+
+var_dump((real) 42);
+
+?>
+--EXPECTF--
+Deprecated: The (real) cast is deprecated, use (float) instead in %s on line %d
+float(42)
diff --git a/Zend/zend_language_scanner.l b/Zend/zend_language_scanner.l
index 82e884d583..fadd2f2a50 100644
--- a/Zend/zend_language_scanner.l
+++ b/Zend/zend_language_scanner.l
@@ -1481,7 +1481,14 @@ NEWLINE ("\r"|"\n"|"\r\n")
 	RETURN_TOKEN(T_INT_CAST);
 }
 
-<ST_IN_SCRIPTING>"("{TABS_AND_SPACES}("real"|"double"|"float"){TABS_AND_SPACES}")" {
+<ST_IN_SCRIPTING>"("{TABS_AND_SPACES}("double"|"float"){TABS_AND_SPACES}")" {
+	RETURN_TOKEN(T_DOUBLE_CAST);
+}
+
+<ST_IN_SCRIPTING>"("{TABS_AND_SPACES}"real"{TABS_AND_SPACES}")" {
+	if (PARSER_MODE()) {
+		zend_error(E_DEPRECATED, "The (real) cast is deprecated, use (float) instead");
+	}
 	RETURN_TOKEN(T_DOUBLE_CAST);
 }
 
diff --git a/ext/standard/tests/network/bug76755.phpt b/ext/standard/tests/network/bug76755.phpt
index 361ae8a1a8..58ef1fe440 100644
--- a/ext/standard/tests/network/bug76755.phpt
+++ b/ext/standard/tests/network/bug76755.phpt
@@ -2,7 +2,7 @@
 Bug #76755 (setcookie does not accept "double" type for expire time)
 --FILE--
 <?php
-var_dump(setcookie('name', 'value', (real)(time() + 1296000)));
+var_dump(setcookie('name', 'value', (float)(time() + 1296000)));
 ?>
 --EXPECT--
 bool(true)