[Bug c++/58777] Taking address of variant/union member is not always a constant expression

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue Jan 13 21:04:43 2015
New Revision: 219559

URL: https://gcc.gnu.org/viewcvs?rev=219559&root=gcc&view=rev
Log:
    PR c++/64356
    PR libstdc++/58777
    * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
    pointer expressions.
    (cxx_eval_increment_expression): Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/cpp1y/constexpr-local2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/constexpr.c
    trunk/gcc/testsuite/g++.dg/cpp1y/pr63996.C
   
trunk/libstdc++-v3/testsuite/experimental/optional/constexpr/make_optional.cc
    trunk/libstdc++-v3/testsuite/experimental/optional/constexpr/observers/2.cc
    trunk/libstdc++-v3/testsuite/experimental/optional/constexpr/observers/3.cc