[Bug c++/51327] New: [4.7 Regression] ICE with invalid constexpr parameter

[Bug c++/51327] New: [4.7 Regression] ICE with invalid constexpr parameter

[reichelt at gcc dot gnu.org]

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

             Bug #: 51327
           Summary: [4.7 Regression] ICE with invalid constexpr parameter
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: reichelt@gcc.gnu.org


The following invalid code snippet triggers an ICE on trunk (when compiled with
"-std=c++0x"):

=======================================
struct A
{
  A(int);
};

struct B : A {};

constexpr int foo(B) { return 0; }
=======================================

bug.cc: In function 'constexpr int foo(B)':
bug.cc:8:15: error: invalid type for parameter 1 of constexpr function
'constexpr int foo(B)'
bug.cc:6:8: note: 'B' is not literal because:
bug.cc:6:8: note:   'B' is not an aggregate, does not have a trivial default
constructor, and has no constexpr constructor that is not a copy or move
constructor
bug.cc:8:34: internal compiler error: Segmentation fault
Please submit a full bug report, [etc.]

[Bug c++/51327] [c++0x] [4.7 Regression] ICE with invalid constexpr parameter

[reichelt at gcc dot gnu.org]

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |error-recovery,
                   |                            |ice-on-invalid-code
   Target Milestone|---                         |4.7.0
            Summary|[4.7 Regression] ICE with   |[c++0x] [4.7 Regression]
                   |invalid constexpr parameter |ICE with invalid constexpr
                   |                            |parameter

[Bug c++/51327] [c++0x] [4.7 Regression] ICE with invalid constexpr parameter

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-11-30
     Ever Confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-11-30 19:40:05 UTC ---
Confirmed.

[Bug c++/51327] [c++0x] [4.7 Regression] ICE with invalid constexpr parameter

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-30 21:25:44 UTC ---
On it.

[Bug c++/51327] [c++0x] [4.7 Regression] ICE with invalid constexpr parameter

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5

[Bug c++/51327] [c++0x] [4.7 Regression] ICE with invalid constexpr parameter

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-01-29 21:41:58 UTC ---
Author: paolo
Date: Sun Jan 29 21:41:54 2012
New Revision: 183684

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183684
Log:
/cp
2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51327
    * class.c (explain_non_literal_class): Correctly handle implicitly
    deleted constructors.

/testsuite
2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51327
    * g++.dg/cpp0x/constexpr-ice6.C: New.


Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ice6.C
Modified:
    trunk/gcc/cp/class.c

[Bug c++/51327] [c++0x] [4.7 Regression] ICE with invalid constexpr parameter

[paolo at gcc dot gnu.org]

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

--- Comment #4 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-01-29 21:43:00 UTC ---
Author: paolo
Date: Sun Jan 29 21:42:56 2012
New Revision: 183685

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183685
Log:
/cp
2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51327
    * class.c (explain_non_literal_class): Correctly handle implicitly
    deleted constructors.

/testsuite
2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51327
    * g++.dg/cpp0x/constexpr-ice6.C: New.


Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51327] [c++0x] [4.7 Regression] ICE with invalid constexpr parameter

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-29 21:43:42 UTC ---
Done.