[Bug c++/51433] New: constexpr caching leads to incorrect dynamic initialization

[Bug c++/51433] New: constexpr caching leads to incorrect dynamic initialization

[richard-gccbugzilla at metafoo dot co.uk]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51433

             Bug #: 51433
           Summary: constexpr caching leads to incorrect dynamic
                    initialization
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: richard-gccbugzilla@metafoo.co.uk


Testcase:

constexpr int f();
constexpr int g() { return f(); }
extern const int n = g();
constexpr int f() { return 42; }
extern const int m = g();

g++ uses dynamic initialization for both m and n. Static initialization is
required to be used for m. We can upgrade this to a rejects-valid:

int arr[m]; // error!

[Bug c++/51433] constexpr caching leads to incorrect dynamic initialization

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51433

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-01-07
     Ever Confirmed|0                           |1
      Known to fail|                            |4.7.0

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-07 22:36:18 UTC ---
Confirmed.

[Bug c++/51433] constexpr caching leads to incorrect dynamic initialization

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51433

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-10 14:37:30 UTC ---
Author: jason
Date: Tue Jan 10 14:37:26 2012
New Revision: 183065

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183065
Log:
    PR c++/51433
    * semantics.c (cxx_eval_call_expression): Always retry previously
    non-constant expressions.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-cache1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51433] constexpr caching leads to incorrect dynamic initialization

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51433

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.0

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-10 14:39:03 UTC ---
Fixed for 4.7.