[Bug tree-optimization/99235] Null pointer check incorrectly deleted for static pointer

pinskia at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Wed Feb 24 03:59:12 GMT 2021


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99235

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Once a pointer is "valid", it can never become a null pointer if decremented or
incremented.  So this code is undefined and GCC is doing an ok thing to do.


More information about the Gcc-bugs mailing list