Bug #74964 [NEW]: 'object' is not reserved at linting time
| From: | dams@php.net | Date: | Fri, 21 Jul 2017 14:04:17 +0000 |
| Subject: | Bug #74964 [NEW]: 'object' is not reserved at linting time | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-210168@lists.php.net to get a copy of this message | ||
From: dams
Operating system: Any
PHP version: 7.2.0beta1
Package: Class/Object related
Bug Type: Bug
Bug description:'object' is not reserved at linting time
Description:
------------
it is possible to lint PHP script, and be warned about usage of 'int' or
'float' but not 'object'.
with 'class int', php -l yields :
Cannot use 'int' as class name as it is reserved
with 'class object', php -l yields :
No syntax errors detected
Test script:
---------------
<?php
class int {}
class object {}
?>
Expected result:
----------------
Consistent error message with 'int' at linting time :
Cannot use 'object' as class name as it is reserved
Actual result:
--------------
No syntax errors detected
--
Edit bug report at https://bugs.php.net/bug.php?id=74964&edit=1
--
Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=74964&r=trysnapshot54
Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=74964&r=trysnapshot55
Try a snapshot (trunk): https://bugs.php.net/fix.php?id=74964&r=trysnapshottrunk
Fixed in SVN: https://bugs.php.net/fix.php?id=74964&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=74964&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=74964&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=74964&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=74964&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=74964&r=support
Expected behavior: https://bugs.php.net/fix.php?id=74964&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=74964&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=74964&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=74964&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=74964&r=php4
Daylight Savings: https://bugs.php.net/fix.php?id=74964&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=74964&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=74964&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=74964&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=74964&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=74964&r=mysqlcfg