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

2015-01-14 Thread jason at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58777

Jason Merrill jason at gcc dot gnu.org changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED
   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org
   Target Milestone|--- |5.0

--- Comment #4 from Jason Merrill jason at gcc dot gnu.org ---
Fixed for GCC 5.


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

2015-01-13 Thread 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=219559root=gccview=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