[Bug c++/60760] arithmetic on null pointers should not be allowed in constant expressions

[msebor at gcc dot gnu.org]

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

--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Sat Jul 30 22:36:56 2016
New Revision: 238909

URL: https://gcc.gnu.org/viewcvs?rev=238909&root=gcc&view=rev
Log:
PR c++/60760 - arithmetic on null pointers should not be allowed in constant
PR c++/71091 - constexpr reference bound to a null pointer dereference

gcc/cp/ChangeLog:

        PR c++/60760
        PR c++/71091
        * constexpr.c (cxx_eval_binary_expression): Reject invalid expressions
        involving null pointers.
        (cxx_eval_component_reference): Reject null pointer dereferences.
        (cxx_eval_indirect_ref): Reject indirecting through null pointers.
        (cxx_eval_constant_expression): Reject invalid expressions involving
        null pointers.

gcc/testsuite/ChangeLog:

        PR c++/60760
        PR c++/71091
        * g++.dg/cpp0x/constexpr-cast.C: New test.
        * g++.dg/cpp0x/constexpr-nullptr-2.C: New test.
        * g++.dg/cpp1y/constexpr-sfinae.C: Correct.
        * g++.dg/ubsan/pr63956.C: Correct.


Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-cast.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-nullptr-2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/constexpr.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp1y/constexpr-sfinae.C
    trunk/gcc/testsuite/g++.dg/ubsan/pr63956.C