From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 30416 invoked by alias); 17 Feb 2014 21:57:58 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 30119 invoked by uid 48); 17 Feb 2014 21:57:54 -0000 From: "reichelt at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/60254] New: [4.7/4.8/4.9 Regression] [c++11] ICE with non-const expression in static_assert Date: Mon, 17 Feb 2014 21:57:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 4.9.0 X-Bugzilla-Keywords: error-recovery, ice-on-invalid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: reichelt at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-02/txt/msg01750.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60254 Bug ID: 60254 Summary: [4.7/4.8/4.9 Regression] [c++11] ICE with non-const expression in static_assert Product: gcc Version: 4.9.0 Status: UNCONFIRMED Keywords: error-recovery, ice-on-invalid-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: reichelt at gcc dot gnu.org The following invalid code snippet triggers an ICE since GCC 4.6.1: ==================================== template bool foo(T) { int i; static_assert(foo(i), "Error"); } ==================================== bug.cc: In function 'bool foo(T)': bug.cc:4:3: error: non-constant condition for static assertion static_assert(foo(i), "Error"); ^ bug.cc:4:3: internal compiler error: unexpected expression 'foo' of kind overload 0x73e01f cxx_eval_constant_expression ../../gcc/gcc/cp/semantics.c:9787 0x73c801 cxx_eval_call_expression ../../gcc/gcc/cp/semantics.c:8361 0x73df70 cxx_eval_constant_expression ../../gcc/gcc/cp/semantics.c:9484 0x741065 cxx_eval_outermost_constant_expr ../../gcc/gcc/cp/semantics.c:9807 0x749b25 cxx_constant_value ../../gcc/gcc/cp/semantics.c:9892 0x749b25 finish_static_assert(tree_node*, tree_node*, unsigned int, bool) ../../gcc/gcc/cp/semantics.c:6874 0x6b68e0 cp_parser_static_assert ../../gcc/gcc/cp/parser.c:11822 0x6acdd9 cp_parser_block_declaration ../../gcc/gcc/cp/parser.c:11082 0x6add21 cp_parser_declaration_statement ../../gcc/gcc/cp/parser.c:10733 0x6ae36b cp_parser_statement ../../gcc/gcc/cp/parser.c:9467 0x6af159 cp_parser_statement_seq_opt ../../gcc/gcc/cp/parser.c:9745 0x6af2c6 cp_parser_compound_statement ../../gcc/gcc/cp/parser.c:9699 0x6c349b cp_parser_function_body ../../gcc/gcc/cp/parser.c:18641 0x6c349b cp_parser_ctor_initializer_opt_and_function_body ../../gcc/gcc/cp/parser.c:18677 0x6c77e2 cp_parser_function_definition_after_declarator ../../gcc/gcc/cp/parser.c:22792 0x6c8681 cp_parser_function_definition_from_specifiers_and_declarator ../../gcc/gcc/cp/parser.c:22704 0x6c8681 cp_parser_init_declarator ../../gcc/gcc/cp/parser.c:16585 0x6c8a1a cp_parser_single_declaration ../../gcc/gcc/cp/parser.c:23113 0x6c8d04 cp_parser_template_declaration_after_export ../../gcc/gcc/cp/parser.c:22915 0x6d40a9 cp_parser_declaration ../../gcc/gcc/cp/parser.c:10947 Please submit a full bug report, [etc.] A slightly different testcase crashes only on trunk: ==================================== struct A { template bool foo(T) { static_assert(foo(0), "Error"); } }; ==================================== bug.cc: In member function 'bool A::foo(T)': bug.cc:5:5: error: non-constant condition for static assertion static_assert(foo(0), "Error"); ^ bug.cc:5:5: internal compiler error: in cxx_eval_constant_expression, at cp/semantics.c:9679 0x73df50 cxx_eval_constant_expression ../../gcc/gcc/cp/semantics.c:9679 0x73c801 cxx_eval_call_expression ../../gcc/gcc/cp/semantics.c:8361 0x73df70 cxx_eval_constant_expression ../../gcc/gcc/cp/semantics.c:9484 0x741065 cxx_eval_outermost_constant_expr ../../gcc/gcc/cp/semantics.c:9807 0x749b25 cxx_constant_value ../../gcc/gcc/cp/semantics.c:9892 0x749b25 finish_static_assert(tree_node*, tree_node*, unsigned int, bool) ../../gcc/gcc/cp/semantics.c:6874 0x6b68e0 cp_parser_static_assert ../../gcc/gcc/cp/parser.c:11822 0x6acdd9 cp_parser_block_declaration ../../gcc/gcc/cp/parser.c:11082 0x6add21 cp_parser_declaration_statement ../../gcc/gcc/cp/parser.c:10733 0x6ae36b cp_parser_statement ../../gcc/gcc/cp/parser.c:9467 0x6af159 cp_parser_statement_seq_opt ../../gcc/gcc/cp/parser.c:9745 0x6af2c6 cp_parser_compound_statement ../../gcc/gcc/cp/parser.c:9699 0x6c349b cp_parser_function_body ../../gcc/gcc/cp/parser.c:18641 0x6c349b cp_parser_ctor_initializer_opt_and_function_body ../../gcc/gcc/cp/parser.c:18677 0x6c77e2 cp_parser_function_definition_after_declarator ../../gcc/gcc/cp/parser.c:22792 0x6cfae0 cp_parser_late_parsing_for_member ../../gcc/gcc/cp/parser.c:23464 0x6aa05d cp_parser_class_specifier_1 ../../gcc/gcc/cp/parser.c:19413 0x6aa05d cp_parser_class_specifier ../../gcc/gcc/cp/parser.c:19437 0x6aa05d cp_parser_type_specifier ../../gcc/gcc/cp/parser.c:14302 0x6c2b40 cp_parser_decl_specifier_seq ../../gcc/gcc/cp/parser.c:11547 Please submit a full bug report, [etc.]