[Bug c++/30534] [4.3 regression] ICE with invalid template argument

[Bug c++/30534] [4.3 regression] ICE with invalid template argument

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug c++/30534] New: [4.3 regression] ICE with invalid template argument

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE on mainline:

====================================
template<bool> struct A;

template<int> void foo()
{
  A<__builtin_constant_p(.)> a;
}
====================================

bug.cc: In function 'void foo()':
bug.cc:5: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in
any_template_arguments_need_structural_equality_p, at cp/pt.c:13258
Please submit a full bug report, [etc.]


-- 
           Summary: [4.3 regression] ICE with invalid template argument
           Product: gcc
           Version: 4.3.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=30534

[Bug c++/30534] [4.3 regression] ICE with invalid template argument

[bangerth at dealii dot org]

------- Comment #1 from bangerth at dealii dot org  2007-02-11 03:51 -------
Confirmed.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-02-11 03:51:36
               date|                            |


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

[Bug c++/30534] [4.3 regression] ICE with invalid template argument

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2007-02-11 11:39 -------
Testing a patch.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |reichelt at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug c++/30534] [4.3 regression] ICE with invalid template argument

[patchapp at dberlin dot org]

------- Comment #3 from patchapp at dberlin dot org  2007-03-04 20:56 -------
Subject: Bug number PR c++/30534

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2007-03/msg00228.html


-- 


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

[Bug c++/30534] [4.3 regression] ICE with invalid template argument

[reichelt at gcc dot gnu dot org]

------- Comment #4 from reichelt at gcc dot gnu dot org  2007-03-08 07:26 -------
Subject: Bug 30534

Author: reichelt
Date: Thu Mar  8 07:26:43 2007
New Revision: 122685

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122685
Log:
        PR c++/30534
        * pt.c (any_template_arguments_need_structural_equality_p):
        Robustify.

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

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


-- 


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

[Bug c++/30534] [4.3 regression] ICE with invalid template argument

[reichelt at gcc dot gnu dot org]

------- Comment #5 from reichelt at gcc dot gnu dot org  2007-03-08 07:48 -------
Fixed on mainline.


-- 

reichelt at gcc dot gnu dot org changed:

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


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