[Bug c++/22405] New: ICE in when instantiating a template function, for illegal code

[Bug c++/22405] New: ICE in when instantiating a template function, for illegal code

[martin at mpa-garching dot mpg dot de]

Current g++ produces an ICE when compiling the following code snippet:

template <typename T> void foo(T &arg) {
  arg+=1;
  }

template <typename T> void foo(T &arg) {
  arg+=2;
  }

template void foo(float &arg);


~/tmp>g++ -v bug.cc
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /scratch/gcc/configure --quiet
--prefix=/afs/mpa/data/martin/ugcc --enable-languages=c++,f95
--enable-mapped-location --with-gmp=/afs/mpa/data/martin/mygmp
Thread model: posix
gcc version 4.1.0 20050711 (experimental)
 /afs/mpa/data/martin/ugcc/libexec/gcc/i686-pc-linux-gnu/4.1.0/cc1plus -quiet -v
-D_GNU_SOURCE bug.cc -quiet -dumpbase bug.cc -mtune=pentiumpro -auxbase bug
-version -o /tmp/cctt6fLt.s
ignoring nonexistent directory
"/afs/mpa/data/martin/ugcc/lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /afs/mpa/data/martin/ugcc/lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../include/c++/4.1.0
 /afs/mpa/data/martin/ugcc/lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../include/c++/4.1.0/i686-pc-linux-gnu
 /afs/mpa/data/martin/ugcc/lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../include/c++/4.1.0/backward
 /usr/local/include
 /afs/mpa/data/martin/ugcc/include
 /afs/mpa/data/martin/ugcc/lib/gcc/i686-pc-linux-gnu/4.1.0/include
 /usr/include
End of search list.
GNU C++ version 4.1.0 20050711 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.1.0 20050711 (experimental).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 4d7d2981a00322530f4db8cbc706d5cf
bug.cc:5:38: error: redefinition of 'template<class T> void foo(T&)'
bug.cc:1:38: error: 'template<class T> void foo(T&)' previously declared here
bug.cc:9:29: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE in when instantiating a template function, for
                    illegal code
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: martin at mpa-garching dot mpg dot de
                CC: gcc-bugs at gcc dot gnu dot org,martin at mpa-garching
                    dot mpg dot de
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c++/22405] ICE in when instantiating a template function, for illegal code

[martin at mpa-garching dot mpg dot de]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
      Known to fail|                            |4.1.0
      Known to work|                            |4.0.1


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

[Bug c++/22405] [4.1 Regression] ICE in when instantiating a template function, for illegal code

[pinskia at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1144 bytes --]


------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 14:28 -------
I don't get any ICE with a build last night:
GNU C++ version 4.1.0 20050711 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.1.0 20050711 (experimental).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: c31b6346e19edf60575edbc32c6610bc
t.cc:5: error: redefinition of ‘template<class T> void foo(T&)’
t.cc:1: error: ‘template<class T> void foo(T&)’ previously declared here
earth:~>

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
           Keywords|                            |error-recovery
            Summary|ICE in when instantiating a |[4.1 Regression] ICE in when
                   |template function, for      |instantiating a template
                   |illegal code                |function, for illegal code
   Target Milestone|---                         |4.1.0


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

[Bug c++/22405] [4.1 Regression] ICE in when instantiating a template function, for illegal code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 15:57 -------
Confirmed, I missed part of the testcase when testing.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to work|4.0.1                       |4.0.1 4.0.0 3.4.0
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-11 15:57:55
               date|                            |


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

[Bug c++/22405] [4.1 Regression] ICE in when instantiating a template function, for illegal code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 15:58 -------
Here is the backtrace:
#0  most_specialized_instantiation (instantiations=0xb7d84570) at /home/peshtigo/pinskia/src/gnu/
gcc/src/gcc/cp/pt.c:10723
#1  0x080a071b in determine_specialization (template_id=0xb7ce5168, decl=0xb7d82a80, 
targs_out=0xbff9dc08, need_member_template=0, 
    template_count=0) at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/cp/pt.c:10789
#2  0x080aae5c in check_explicit_specialization (declarator=0xb7ce5168, decl=Variable "decl" is not 
available.
)
    at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/cp/pt.c:2010
#3  0x0806a6d3 in grokfndecl (ctype=0x0, type=Variable "type" is not available.
) at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/cp/decl.c:5734
#4  0x08078576 in grokdeclarator (declarator=0x876f554, declspecs=0xbff9dd9c, 
decl_context=NORMAL, initialized=0, attrlist=0x0)
    at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/cp/decl.c:8127


-- 


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

[Bug c++/22405] [4.0.1/4.1 Regression] ICE in when instantiating a template function, for illegal code

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-25 13:40 -------
The problem now also appears on the 4.0 branch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored
      Known to fail|4.1.0                       |4.0.1 4.1.0
      Known to work|4.0.1 4.0.0 3.4.0           |4.0.0 3.4.0
            Summary|[4.1 Regression] ICE in when|[4.0.1/4.1 Regression] ICE
                   |instantiating a template    |in when instantiating a
                   |function, for illegal code  |template function, for
                   |                            |illegal code


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

[Bug c++/22405] [4.0.1/4.1 Regression] ICE in when instantiating a template function, for illegal code

[reichelt at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.0                       |4.0.2


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

[Bug c++/22405] [4.0.1/4.1 Regression] ICE in when instantiating a template function, for illegal code

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.2                       |4.0.3


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

[Bug c++/22405] [4.0.1/4.1 Regression] ICE in when instantiating a template function, for illegal code

[mmitchel at gcc dot gnu dot org]

------- Comment #7 from mmitchel at gcc dot gnu dot org  2005-10-13 08:40 -------
Fixed in 4.0.3.


-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug c++/22405] [4.0.1/4.1 Regression] ICE in when instantiating a template function, for illegal code

[cvs-commit at gcc dot gnu dot org]

------- Comment #6 from cvs-commit at gcc dot gnu dot org  2005-10-13 08:38 -------
Subject: Bug 22405

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     mmitchel@gcc.gnu.org    2005-10-13 08:38:41

Modified files:
        gcc/cp         : call.c decl.c pt.c semantics.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/parse: friend5.C 
        gcc/testsuite/g++.dg/template: crash38.C crash39.C crash40.C 
                                       crash41.C friend38.C 

Log message:
        PR c++/22464
        * semantics.c (finish_id_expression): Issue errors about uses of
        local variables in containing functions even in templates.
        PR c++/22180
        * call.c (build_new_method_call): Correct pretty-printing of
        destructor names.
        * pt.c (tsubst_qualified_id): Recognize invalid uses of "~T" as an
        identifier.
        PR c++/23694
        * decl.c (start_method): Return error_mark_node for errors.
        PR c++/23307
        * pt.c (push_template_decl_real): Complain about attempts to
        declare template variables.
        PR c++/22352
        * pt.c (tsubst_template_parms): Set processing_template_decl while
        processing the parameters.
        (tsubst_decl): Set processing_template_decl when substituting into
        a TEMPLATE_DECL.
        PR c++/22405
        * pt.c (most_specialized_instantiation): Robustify.
        PR c++/22464
        * g++.dg/template/crash/41.C: New test.
        PR c++/22180
        * g++.dg/template/crash40.C: New test.
        PR c++/23694
        * g++.dg/parse/friend5.C: New test.

        PR c++/23307
        * g++.dg/template/crash38.C: New test.

        PR c++/22352
        * g++.dg/template/friend38.C: New test.

        PR c++/22405
        * g++.dg/template/crash39.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&r1=1.557&r2=1.558
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1432&r2=1.1433
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.1045&r2=1.1046
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.491&r2=1.492
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4928&r2=1.4929
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/parse/friend5.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash38.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash39.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash40.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash41.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/friend38.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6186&r2=1.6187


-- 


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

[Bug c++/22405] [4.0.1/4.1 Regression] ICE in when instantiating a template function, for illegal code

[cvs-commit at gcc dot gnu dot org]

------- Comment #5 from cvs-commit at gcc dot gnu dot org  2005-10-13 08:36 -------
Subject: Bug 22405

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     mmitchel@gcc.gnu.org    2005-10-13 08:36:38

Modified files:
        gcc/cp         : call.c decl.c pt.c semantics.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/parse: friend5.C 
        gcc/testsuite/g++.dg/template: crash38.C crash39.C crash40.C 
                                       crash41.C friend38.C 

Log message:
        PR c++/22464
        * semantics.c (finish_id_expression): Issue errors about uses of
        local variables in containing functions even in templates.
        PR c++/22180
        * call.c (build_new_method_call): Correct pretty-printing of
        destructor names.
        * pt.c (tsubst_qualified_id): Recognize invalid uses of "~T" as an
        identifier.
        PR c++/23694
        * decl.c (start_method): Return error_mark_node for errors.
        PR c++/23307
        * pt.c (push_template_decl_real): Complain about attempts to
        declare template variables.
        PR c++/22352
        * pt.c (tsubst_template_parms): Set processing_template_decl while
        processing the parameters.
        (tsubst_decl): Set processing_template_decl when substituting into
        a TEMPLATE_DECL.
        PR c++/22405
        * pt.c (most_specialized_instantiation): Robustify.
        PR c++/22464
        * g++.dg/template/crash/41.C: New test.
        PR c++/22180
        * g++.dg/template/crash40.C: New test.
        PR c++/23694
        * g++.dg/parse/friend5.C: New test.

        PR c++/23307
        * g++.dg/template/crash38.C: New test.

        PR c++/22352
        * g++.dg/template/friend38.C: New test.

        PR c++/22405
        * g++.dg/template/crash39.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.531.2.11&r2=1.531.2.12
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1371.2.25&r2=1.1371.2.26
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.978.2.31&r2=1.978.2.32
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.463.2.11&r2=1.463.2.12
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.129&r2=1.4648.2.130
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/parse/friend5.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash38.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash39.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash40.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash41.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/friend38.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.451&r2=1.5084.2.452


-- 


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

[Bug c++/22405] [4.0.1/4.1 Regression] ICE in when instantiating a template function, for illegal code

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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