Doc #77034 [NEW]: Casting null to int undefined
| From: | casey dot mcginty at gmail dot com | Date: | Thu, 18 Oct 2018 17:36:16 +0000 |
| Subject: | Doc #77034 [NEW]: Casting null to int undefined | ||
| Groups: | php.doc.bugs | ||
| Request: | Send a blank email to doc-bugs+get-16087@lists.php.net to get a copy of this message | ||
From: casey dot mcginty at gmail dot com
Operating system:
PHP version: 7.2.11
Package: Documentation problem
Bug Type: Documentation Problem
Bug description:Casting null to int undefined
Description:
------------
---
From manual page: http://www.php.net/language.types.integer
---
I do not see any documentation regarding a null cast to an int. What is
the official behavior?
Test script:
---------------
$myInt = (int)null;
--
Edit bug report at https://bugs.php.net/bug.php?id=77034&edit=1
--
Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=77034&r=trysnapshot54
Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=77034&r=trysnapshot55
Try a snapshot (trunk): https://bugs.php.net/fix.php?id=77034&r=trysnapshottrunk
Fixed in SVN: https://bugs.php.net/fix.php?id=77034&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=77034&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=77034&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=77034&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=77034&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=77034&r=support
Expected behavior: https://bugs.php.net/fix.php?id=77034&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=77034&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=77034&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=77034&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=77034&r=php4
Daylight Savings: https://bugs.php.net/fix.php?id=77034&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=77034&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=77034&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=77034&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=77034&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=77034&r=mysqlcfg