[Bug c++/38647] New: [4.2/4.3/4.4 regression] ICE using __FUNCTION__ as template parameter

[Bug c++/38647] New: [4.2/4.3/4.4 regression] ICE using __FUNCTION__ as template parameter

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE since GCC 3.4.0:

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

template<int N> struct A<__FUNCTION__, N> {};

A<0, 0> a;
=============================================

bug.cc:5: internal compiler error: in unify, at cp/pt.c:13746
Please submit a full bug report, [etc.]


-- 
           Summary: [4.2/4.3/4.4 regression] ICE using __FUNCTION__ as
                    template parameter
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug c++/38647] [4.2/4.3/4.4 regression] ICE using __FUNCTION__ as template parameter

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.2.5


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

[Bug c++/38647] [4.2/4.3/4.4 regression] ICE using __FUNCTION__ as template parameter

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-12-27 23:43 -------
I think we can make this valid GNU C++ by doing:
template<const char *, int> struct A {};

template<int N> struct A<__FUNCTION__, N> {};

char a1[1];
A<a1, 0> a;

--- CUT ---
Though 3.3 rejected it by not defining __FUNCTION__ in the toplevel.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.3.0 4.4.0 4.1.1 4.0.1
      Known to work|                            |3.3.3
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-27 23:43:00
               date|                            |


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

[Bug c++/38647] [4.2/4.3/4.4 regression] ICE using __FUNCTION__ as template parameter

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/38647] [4.2/4.3/4.4 regression] ICE using __FUNCTION__ as template parameter

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2008-12-31 11:47 -------
Subject: Bug 38647

Author: jakub
Date: Wed Dec 31 11:46:18 2008
New Revision: 142978

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142978
Log:
        PR c++/38647
        * parser.c (cp_parser_primary_expression) <case RID_FUNCTION_NAME>:
        Return error_mark_node if cp_parser_non_integral_constant_expression
        returns true.

        * g++.dg/template/function1.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/function1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/38647] [4.2/4.3 regression] ICE using __FUNCTION__ as template parameter

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2008-12-31 14:26 -------
Fixed on the trunk so far.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
      Known to fail|4.3.0 4.4.0 4.1.1 4.0.1     |4.3.0 4.1.1 4.0.1
      Known to work|3.3.3                       |3.3.3 4.4.0
   Last reconfirmed|2008-12-27 23:43:00         |2008-12-31 14:26:41
               date|                            |
            Summary|[4.2/4.3/4.4 regression] ICE|[4.2/4.3 regression] ICE
                   |using __FUNCTION__ as       |using __FUNCTION__ as
                   |template parameter          |template parameter


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

[Bug c++/38647] [4.2/4.3 regression] ICE using __FUNCTION__ as template parameter

[reichelt at gcc dot gnu dot org]

------- Comment #4 from reichelt at gcc dot gnu dot org  2008-12-31 14:45 -------
> I think we can make this valid GNU C++ by doing:

No, it's always invalid. See the new testcase.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |


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

[Bug c++/38647] [4.2/4.3 regression] ICE using __FUNCTION__ as template parameter

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-01-15 16:10 -------
Fixed for GCC 4.4.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.3.0 4.1.1 4.0.1           |4.3.0 4.1.1 4.0.1 4.3.2
         Resolution|                            |FIXED
   Target Milestone|4.2.5                       |4.4.0


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