[Bug c++/51225] New: [c++0x] [4.7 Regression] ICE with invalid template parameter

[Bug c++/51225] New: [c++0x] [4.7 Regression] ICE with invalid template parameter

[reichelt at gcc dot gnu.org]

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

             Bug #: 51225
           Summary: [c++0x] [4.7 Regression] ICE with invalid template
                    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":

==================================
template<int> struct A {};

template<typename> void foo()
{
  A<int(x)> a;
}
==================================

bug.cc: In function 'void foo()':
bug.cc:5:9: error: 'x' was not declared in this scope
bug.cc:5:11: internal compiler error: unexpected expression '(int)(<expression
error>)' of kind cast_expr
Please submit a full bug report, [etc.]

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[reichelt at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |error-recovery,
                   |                            |ice-on-invalid-code
   Target Milestone|---                         |4.7.0

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-11-23
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-23 17:44:24 UTC ---
One way or another, I'll fix it.

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[reichelt at gcc dot gnu.org]

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

--- Comment #2 from Volker Reichelt <reichelt at gcc dot gnu.org> 2011-12-04 22:46:24 UTC ---
Here's another code snippet that triggers a similar ICE:

====================================
struct A {};

template<typename> struct B
{
  static constexpr A a = A(x);
};
====================================

bug.cc:5:28: error: 'x' was not declared in this scope
bug.cc:5:29: internal compiler error: unexpected expression '(const
A)(A)(<expression error>)' of kind implicit_conv_expr
Please submit a full bug report, [etc.]

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[paolo.carlini at oracle dot com]

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

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

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

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[rguenth at gcc dot gnu.org]

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

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

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

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[paolo.carlini at oracle dot com]

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

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 #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-13 16:18:22 UTC ---
On it.

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[paolo at gcc dot gnu.org]

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

--- Comment #4 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-01-18 20:27:27 UTC ---
Author: paolo
Date: Wed Jan 18 20:27:23 2012
New Revision: 183286

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

    PR c++/51225
    * typeck2.c (store_init_value): Within a template guard
    cxx_constant_value with require_potential_constant_expression.
    * pt.c (convert_nontype_argument): Likewise.

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

    PR c++/51225
    * g++.dg/cpp0x/pr51225.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/pr51225.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/typeck2.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51225] [c++0x] [4.7 Regression] ICE with invalid template parameter

[paolo.carlini at oracle dot com]

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

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-18 20:30:58 UTC ---
Done.