[Bug c++/11791] New: [3.4 regression] ICE in pop_binding

[Bug c++/11791] New: [3.4 regression] ICE in pop_binding

[benko at sztaki dot hu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: [3.4 regression] ICE in pop_binding
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: benko at sztaki dot hu
                CC: gcc-bugs at gcc dot gnu dot org

crete:~/c/proba$ cat pop_binding.cc 
template <class T> struct base {
  typedef enum {a} inner_t;
};

template <class T> struct der0: base<int> {
  typedef base<int>::inner_t inner_t;
};

template <class T> struct der1: base<int> {};
crete:~/c/proba$ g++-cvs pop_binding.cc 
pop_binding.cc:9: internal compiler error: in pop_binding, at cp/decl.c:1139
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
zsh: exit 1     g++-cvs pop_binding.cc
crete:~/c/proba$ g++-cvs -v
Reading specs from /gml/shared/gcc-cvs/lib/gcc/i686-pc-linux-gnu/3.4/specs
Configured with: ../gcc/configure --prefix=/gml/shared/gcc-cvs
--enable-languages=c++
Thread model: posix
gcc version 3.4 20030804 (experimental)
crete:~/c/proba$

[Bug c++/11791] [3.4 regression] ICE in pop_binding

[benko at sztaki dot hu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From benko at sztaki dot hu  2003-08-04 17:06 -------
Workaround: use

enum inner_t {a};

instead of

typedef enum {a} inner_t;

[Bug c++/11791] [3.4 regression] ICE in pop_binding

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
           Priority|P2                          |P1
   Last reconfirmed|0000-00-00 00:00:00         |2003-08-04 18:25:10
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-08-04 18:25 -------
I can confirm this on the mainline (20030730 and 20030804).

[Bug c++/11791] [3.4 regression] ICE in pop_binding

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From pinskia at physics dot uc dot edu  2003-08-04 20:28 -------
Likely broke by the patch which fixed PR 7983.

[Bug c++/11791] [3.4 regression] ICE in pop_binding

[lerdsuwa at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


lerdsuwa at gcc dot gnu dot org changed:

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

[Bug c++/11791] [3.4 regression] ICE in pop_binding

[lerdsuwa at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


lerdsuwa at gcc dot gnu dot org changed:

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


------- Additional Comments From lerdsuwa at gcc dot gnu dot org  2003-08-08 16:27 -------
Regression caused by Nathan's PR c++/9447 patch.
Probably some change in push_class_level_binding broke it.

[Bug c++/11791] [3.4 regression] ICE in pop_binding

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-10 20:44 -------
Fixed in 20030810 by:
2003-08-10  Nathan Sidwell

        * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): non-NULL
        NODE is always a TREE_VEC of non-zero size.
        (NUM_TMPL_ARGS): NODE is always a TREE_VEC.
        * decl2.c (arg_assoc): Template args will be a vec.
        * error.c (dump_decl) <TEMPLATE_ID_EXPR case>: Call
        dump_template_argument_list.
        (dump_template_parms): Args will be a vec.
        * parser.c (cp_parser_template_argument_list): Produce a
        vector, not a list.
        * pt.c (coerce_template_parms): Args are always vectors.
        (mangle_class_name_for_template): Likewise.
        (lookup_template_function): Likewise.
        (lookup_template_class): Likewise.
        (tsubst_template_args): Likewise.
        (tsubst_baselink): Use tsubst_template_args.
        (tsubst_qualified_id): Likewise.
        (tsubst_copy) <TEMPLATE_ID_EXPR case>: Likewise.
        (tsubst_copy_and_build) <TEMPLATE_ID_EXPR case>: Likewise.
        (any_dependent_template_args_p):  Args are always vectors.
        * tree.c (cp_tree_equal): Add TEMPLATE_ID_EXPR case.

        PR c++/11670
        * call.c (convert_like_real): Add rvalue binding error message.
        * error.c (dump_expr) <NOP_EXPR case>: Detect when the no expr is
        really a cast.

        PR c++/10530
        * pt.c (dependent_type_p_r): A dependent template-id is a class
        type with dependent template arguments, or a bound template
        template parameter.
        (type_dependent_expression_p): A template function decl cannot
        have a dependent context.

Will submit a testcase soon.