[Bug c++/13710] New: ICE

[Bug c++/13710] New: ICE

[anders at kaseorg dot com]

g++ 3.3.2 crashes on this code:
  template<int n> class X {template<class Y> typeof(Y::y) foo();};
  X<0> x;
It also crashes if typeof(Y::y) is a parameter type instead of a return type. It
compiles fine if X isn't a template. I'm not sure whether this is related to bug
11756.

gcc version 3.3.2 20031022 (Red Hat Linux 3.3.2-1)

-- 
           Summary: ICE
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: anders at kaseorg dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i386-redhat-linux
  GCC host triplet: i386-redhat-linux
GCC target triplet: i386-redhat-linux


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

[Bug c++/13710] [3.3/3.4 regression] ICE with typeof

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-16 18:24 -------
Confirmed a regression from 3.2.3 (note 2.95.3 also ICEs).

Here is the backtrace:
#0  strip_array_types (type=0x0) at /home/gates/pinskia/src/gnu/gcc/src/gcc/c-common.c:3631
#1  0x080fa431 in cp_type_quals (type=0x0) at /home/gates/pinskia/src/gnu/gcc/src/gcc/cp/
typeck.c:6208
#2  0x08099b52 in tsubst (t=0x40128654, args=0x4011dcd0, complain=tf_error, 
in_decl=0x400553a8) at /home/gates/pinskia/src/gnu/gcc/src/gcc/cp/pt.c:7113
#3  0x0809f688 in tsubst_function_type (t=0x4012872c, args=0x4011dcd0, complain=tf_error, 
in_decl=0x40128798) at /home/gates/pinskia/src/gnu/gcc/src/gcc/cp/pt.c:6408
#4  0x08099e81 in tsubst (t=0x4012872c, args=0x4011dcd0, complain=tf_error, 
in_decl=0x40128798) at /home/gates/pinskia/src/gnu/gcc/src/gcc/cp/pt.c:6906
#5  0x0809b4de in tsubst (t=0x40128798, args=0x4011dcd0, complain=tf_error, in_decl=0x1) at 
/home/gates/pinskia/src/gnu/gcc/src/gcc/cp/pt.c:6057
#6  0x0809adf5 in tsubst (t=0x401288dc, args=0x4011dcd0, complain=tf_error, in_decl=0x0) at 
/home/gates/pinskia/src/gnu/gcc/src/gcc/cp/pt.c:5912
#7  0x080ad123 in instantiate_class_template (type=0x40128948) at /home/gates/pinskia/src/
gnu/gcc/src/gcc/cp/pt.c:5407
#8  0x080f853e in complete_type (type=0x40128948) at /home/gates/pinskia/src/gnu/gcc/src/
gcc/cp/typeck.c:135
#9  0x0806689f in start_decl_1 (decl=0x40128af8) at /home/gates/pinskia/src/gnu/gcc/src/gcc/
cp/decl.c:3879
#10 0x08074261 in start_decl (declarator=0x0, declspecs=0x40128af8, initialized=0, 
attributes=0x0, prefix_attributes=0x0)    at /home/gates/pinskia/src/gnu/gcc/src/gcc/cp/decl.c:
3830
#11 0x080f1a35 in cp_parser_init_declarator (parser=0x40127800, decl_specifiers=0x4011dd48, 
prefix_attributes=0x0, function_definition_allowed_p=true, member_p=false,     
declares_class_or_enum=0, function_definition_p=0xbffec387) at /home/gates/pinskia/src/gnu/
gcc/src/gcc/cp/parser.c:9882
#12 0x080ecaa2 in cp_parser_simple_declaration (parser=0x40127800, 
function_definition_allowed_p=true) at /home/gates/pinskia/src/gnu/gcc/src/gcc/cp/parser.c:
6426
#13 0x080ecbf8 in cp_parser_block_declaration (parser=0x40127800, statement_p=false) at /
home/gates/pinskia/src/gnu/gcc/src/gcc/cp/parser.c:6342
#14 0x080f256f in cp_parser_declaration (parser=0x40127800) at /home/gates/pinskia/src/gnu/
gcc/src/gcc/cp/parser.c:6262
#15 0x080f281f in cp_parser_declaration_seq_opt (parser=0x40127800) at /home/gates/pinskia/
src/gnu/gcc/src/gcc/cp/parser.c:6171
#16 0x080f29eb in c_parse_file () at /home/gates/pinskia/src/gnu/gcc/src/gcc/cp/parser.c:2307
#17 0x0817f03e in c_common_parse_file (set_yydebug=0) at /home/gates/pinskia/src/gnu/gcc/
src/gcc/c-opts.c:1216
#18 0x083a914d in toplev_main (argc=0, argv=0x85b1cf9) at /home/gates/pinskia/src/gnu/gcc/
src/gcc/toplev.c:1800
#19 0x081828fe in main (argc=0, argv=0x0) at /home/gates/pinskia/src/gnu/gcc/src/gcc/
main.c:35

>From Phil's regression hunter
: Search converges between 2003-06-27-trunk (#326) and 2003-06-28-trunk (#327).
: Search converges between 2003-06-27-3.3 (#151) and 2003-06-28-3.3 (#152).
So what ever went in on that day went in both the mainline and the branch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-16 18:24:45
               date|                            |
            Summary|ICE                         |[3.3/3.4 regression] ICE
                   |                            |with typeof
   Target Milestone|---                         |3.3.3


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

[Bug c++/13710] [3.3/3.4 regression] ICE with typeof

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-16 18:51 -------
I think it is caused by this patch:
http://gcc.gnu.org/ml/gcc-patches/2003-06/msg03085.html
Mark could you look into this when you get some time.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel at gcc dot gnu dot
                   |                            |org


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

[Bug c++/13710] [3.3 regression] ICE with typeof

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-01-19 00:52 -------
Fixed in GCC 3.4.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.3/3.4/3.5 regression] ICE|[3.3 regression] ICE with
                   |with typeof                 |typeof


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

[Bug c++/13710] [3.3 regression] ICE with typeof

[dhazeghi at yahoo dot com]

------- Additional Comments From dhazeghi at yahoo dot com  2004-01-21 03:23 -------
Patch fixing this is at <http://gcc.gnu.org/ml/gcc-patches/2004-01/msg01847.html>. It appears 
to apply cleanly to 3.3 branch...

-- 


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

[Bug c++/13710] [3.3 regression] ICE with typeof

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-01-21 03:54 -------
(In reply to comment #4)
> Patch fixing this is at
<http://gcc.gnu.org/ml/gcc-patches/2004-01/msg01847.html>. It appears 
> to apply cleanly to 3.3 branch...

Yes, but the result is not clean :-(  The testcase does not pass.  The failure
has to do with some access checking which are causing the compiler to "bail out"
(same as ICEing in checking mode).
I don't have time to investigate it now. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gdr at gcc dot gnu dot org


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

[Bug c++/13710] [3.3 regression] ICE with typeof

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-02-15 12:39 -------
Adjust milestone

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.3                       |3.3.4


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

[Bug c++/13710] [3.3 regression] ICE with typeof

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-04-27 06:35 -------
Fixed in 3.4.0 and 3.5.0.
I have no more time to invest in this problem.
Won't fix in 3.3.x

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|3.3.4                       |3.4.0


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