[Bug c++/55337] New: [4.8 Regression] ICE tree check: expected sizeof_expr, have alignof_expr in cp_tree_equal, at cp/tree.c:2608

[Bug c++/55337] New: [4.8 Regression] ICE tree check: expected sizeof_expr, have alignof_expr in cp_tree_equal, at cp/tree.c:2608

[markus at trippelsdorf dot de]

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

             Bug #: 55337
           Summary: [4.8 Regression] ICE tree check: expected sizeof_expr,
                    have alignof_expr in cp_tree_equal, at cp/tree.c:2608
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: markus@trippelsdorf.de


markus@x4 tmp % cat test.ii
template<int> struct A;
template<typename Type> struct B
{
  static A<__alignof__(Type)> b;
};
template<typename Type> A<__alignof__(Type)> B<Type>::b;

markus@x4 tmp % c++ -c test.ii
test.ii:6:44: internal compiler error: tree check: expected sizeof_expr, have
alignof_expr in cp_tree_equal, at cp/tree.c:2613
 template<typename Type> A<__alignof__(Type)> B<Type>::b;
                                            ^
0xc3d0da tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        /home/markus/gcc/gcc/tree.c:8954
0x674dde tree_check
        /home/markus/gcc/gcc/tree.h:3686
0x674dde cp_tree_equal(tree_node*, tree_node*)
        /home/markus/gcc/gcc/cp/tree.c:2613
0x521b54 template_args_equal
        /home/markus/gcc/gcc/cp/pt.c:6797
0x52211d comp_template_args_with_info
        /home/markus/gcc/gcc/cp/pt.c:6824
0x522204 comp_template_args
        /home/markus/gcc/gcc/cp/pt.c:6842
0x522204 eq_specializations
        /home/markus/gcc/gcc/cp/pt.c:1471
0xf77c7c htab_find_with_hash
        /home/markus/gcc/libiberty/hashtab.c:606
0x55aa38 lookup_template_class_1
        /home/markus/gcc/gcc/cp/pt.c:7252
0x55aa38 lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
        /home/markus/gcc/gcc/cp/pt.c:7522
0x64d212 finish_template_type(tree_node*, tree_node*, int)
        /home/markus/gcc/gcc/cp/semantics.c:2794
0x5e6c28 cp_parser_template_id
        /home/markus/gcc/gcc/cp/parser.c:12705
0x5e6ff6 cp_parser_class_name
        /home/markus/gcc/gcc/cp/parser.c:18089
0x5dc0db cp_parser_qualifying_entity
        /home/markus/gcc/gcc/cp/parser.c:5264
0x5dc0db cp_parser_nested_name_specifier_opt
        /home/markus/gcc/gcc/cp/parser.c:4995
0x5e7a07 cp_parser_constructor_declarator_p
        /home/markus/gcc/gcc/cp/parser.c:21391
0x5e7a07 cp_parser_decl_specifier_seq
        /home/markus/gcc/gcc/cp/parser.c:10878
0x5eb907 cp_parser_single_declaration
        /home/markus/gcc/gcc/cp/parser.c:21876
0x5ee786 cp_parser_template_declaration_after_export
        /home/markus/gcc/gcc/cp/parser.c:21761
0x5f6899 cp_parser_declaration
        /home/markus/gcc/gcc/cp/parser.c:10302
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/55337] [4.8 Regression] ICE tree check: expected sizeof_expr, have alignof_expr in cp_tree_equal, at cp/tree.c:2608

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-11-15
                 CC|                            |jakub at gcc dot gnu.org
   Target Milestone|---                         |4.8.0
     Ever Confirmed|0                           |1

[Bug c++/55337] [4.8 Regression] ICE tree check: expected sizeof_expr, have alignof_expr in cp_tree_equal, at cp/tree.c:2608

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-15 10:04:19 UTC ---
Created attachment 28696
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28696
gcc48-pr55337.patch

Untested fix.

[Bug c++/55337] [4.8 Regression] ICE tree check: expected sizeof_expr, have alignof_expr in cp_tree_equal, at cp/tree.c:2608

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-16 14:33:48 UTC ---
Author: jakub
Date: Fri Nov 16 14:33:44 2012
New Revision: 193558

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193558
Log:
    PR c++/55337
    * tree.c (cp_tree_equal) <case ALIGNOF_EXPR>: Use SIZEOF_EXPR_TYPE_P
    only on SIZEOF_EXPR.

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

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

[Bug c++/55337] [4.8 Regression] ICE tree check: expected sizeof_expr, have alignof_expr in cp_tree_equal, at cp/tree.c:2608

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-16 14:36:14 UTC ---
Fixed.