[Bug c++/14033] New: tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[Bug c++/14033] New: tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[hans dot buchmann at fhso dot ch]

compiling the code

---------------------------------------------------
# 1 "<built-in>"
# 1 "<command line>"
# 1 "//home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc"
class Tag;

class Block
{
 public:
  Block& select_(Tag tag);
};


Block& Block::select_(Tag tag)
{
 return *this;
}

class Tag
{
 public:
          Tag();
 virtual ~Tag();
 Tag& operator|(Tag);
};

class Parser
{
 Parser();
};


Parser::Parser()
{
 Block b;
 b.select_(
             Tag()
     |Tag()
           );
}

---------------------------------------------------

with


---------------------------------------------------
/home/buchmann/cvs/eo3s/htc/bin/g++ \
        -O3\
	-c -o util/lang/parse-experiments-bug.o\
	//home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc

---------------------------------------------------

produces the output:

//home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc: In member function
`Block& Block::select_(Tag)':
//home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc:11: error: `tag' has
incomplete type
//home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc:1: error: forward
declaration of `struct Tag'
In file included from //home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc:32:
//home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc: In constructor
`Parser::Parser()':
//home/buchmann/cvs/eo3s/src/generic/util/lang/bug.cc:11: internal compiler
error: tree check: expected class 't', have 'x' (error_mark) in
initialize_inlined_parameters, at tree-inline.c:829
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Compiler version g++ -v

Reading specs from
/home/buchmann/cvs/host/gcc-3.4/bin/../lib/gcc/i686-pc-linux-gnu/3.4.0/specs
Configured with: /home/buchmann/cvs/dist/gcc-3.4-20040114/configure -v
--prefix=/home/buchmann/cvs/host/gcc-3.4/ --enable-languages=c,c++ --with-newlib
Thread model: posix
gcc version 3.4.0 20040114 (experimental)

Best regards 

Hans Buchmann

-- 
           Summary: tree check: expected class 't', have 'x' (error_mark) in
                    initialize_inlined_parameters, at tree-inline.c:829
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hans dot buchmann at fhso dot ch
                CC: gcc-bugs at gcc dot gnu dot org
 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=14033

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-05 21:57 -------
Confirmed, a regression.  -finline-functions -finline is only needed to get the error.
Also 3.4.0 is worse as it is just ICEing with an error message.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |error-recovery, ice-on-
                   |                            |invalid-code
      Known to fail|                            |3.3.1 3.4.0 3.2.3 3.0.4
                   |                            |3.2.2 3.5.0
      Known to work|                            |2.95.3
   Last reconfirmed|0000-00-00 00:00:00         |2004-02-05 21:57:49
               date|                            |
            Summary|tree check: expected class  |[3.3/3.4/3.5 Regression]
                   |'t', have 'x' (error_mark)  |tree check: expected class
                   |in                          |'t', have 'x' (error_mark)
                   |initialize_inlined_parameter|in
                   |s, at tree-inline.c:829     |initialize_inlined_parameter
                   |                            |s, at tree-inline.c:829
   Target Milestone|---                         |3.4.0


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

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-06 17:44 -------
Shorter:

----------------------------
struct A;
void foo(A a) {}
struct A {};

void bar(void)
{
 foo(A());
}
----------------------------


-- 


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

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-06 18:21 -------
Mine.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |giovannibajo at libero dot
                   |dot org                     |it
             Status|NEW                         |ASSIGNED


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

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-06 19:29 -------
Patch here, waiting for review:
http://gcc.gnu.org/ml/gcc-patches/2004-02/msg00586.html


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-07 02:08 -------
Subject: Bug 14033

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	giovannibajo@gcc.gnu.org	2004-02-07 02:08:37

Modified files:
	gcc/cp         : ChangeLog decl.c 

Log message:
	PR c++/14033
	* decl.c (require_complete_types_for_parms): Do not insert
	error_mark_node in the parameter list.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3944&r2=1.3945
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1181&r2=1.1182



-- 


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

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-07 02:11 -------
Subject: Bug 14033

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	giovannibajo@gcc.gnu.org	2004-02-07 02:11:11

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/other: crash-2.C 

Log message:
	PR c++/14033
	* g++.dg/other/crash-2.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3475&r2=1.3476
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/crash-2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-07 09:43 -------
Subject: Bug 14033

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	giovannibajo@gcc.gnu.org	2004-02-07 09:43:06

Modified files:
	gcc/cp         : ChangeLog decl.c 

Log message:
	PR c++/14033
	* decl.c (require_complete_types_for_parms): Do not insert
	error_mark_node in the parameter list.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3892.2.42&r2=1.3892.2.43
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.1174.2.6&r2=1.1174.2.7



-- 


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

[Bug c++/14033] [3.3/3.4/3.5 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-07 09:44 -------
Subject: Bug 14033

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	giovannibajo@gcc.gnu.org	2004-02-07 09:44:05

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/other: crash-2.C 

Log message:
	PR c++/14033
	* g++.dg/other/crash-2.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.57&r2=1.3389.2.58
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/crash-2.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/14033] [3.3 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-07 09:45 -------
Fixed in 3.4.0 and 3.5.0. The patch has been already tested for the 3.3 branch 
and will be committed as soon as the branch is open again (will be in 3.3.4).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.3/3.4/3.5 Regression]    |[3.3 Regression] tree check:
                   |tree check: expected class  |expected class 't', have 'x'
                   |'t', have 'x' (error_mark)  |(error_mark) in
                   |in                          |initialize_inlined_parameter
                   |initialize_inlined_parameter|s, at tree-inline.c:829
                   |s, at tree-inline.c:829     |
   Target Milestone|3.4.0                       |3.3.4


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

[Bug c++/14033] [3.3 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-22 16:42 -------
Subject: Bug 14033

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	gdr@gcc.gnu.org	2004-02-22 16:42:33

Modified files:
	gcc/cp         : ChangeLog decl.c 
Added files:
	gcc/testsuite/g++.dg/other: crash-2.C 

Log message:
	Backport from mainline
	2003-02-06  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
	PR c++/14033
	* decl.c (require_complete_types_for_parms): Do not insert
	error_mark_node in the parameter list.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.3076.2.250&r2=1.3076.2.251
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.965.2.74&r2=1.965.2.75
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/crash-2.C.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=NONE&r2=1.1.8.1



-- 


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

[Bug c++/14033] [3.3 Regression] tree check: expected class 't', have 'x' (error_mark) in initialize_inlined_parameters, at tree-inline.c:829

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-02-22 16:43 -------
Patch applied to gcc-3_3-branch.

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


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