From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 06D773858407; Tue, 23 Nov 2021 10:03:28 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 06D773858407 From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug ipa/103378] New: [12 Regression] ICE: verify_cgraph_node failed (error: semantic interposition mismatch) Date: Tue, 23 Nov 2021 10:03:27 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ipa X-Bugzilla-Version: 12.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: asolokha at gmx dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: 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 cc target_milestone Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 23 Nov 2021 10:03:28 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D103378 Bug ID: 103378 Summary: [12 Regression] ICE: verify_cgraph_node failed (error: semantic interposition mismatch) Product: gcc Version: 12.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: ipa Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com CC: marxin at gcc dot gnu.org Target Milestone: --- gcc-12.0.0-alpha20211121 snapshot (g:da17c304e22ba256eba0b03710aa329115163b= 08) ICEs when compiling the following testcase, extracted from gcc/testsuite/c-c++-common/attr-opt-1.c, w/ -Ofast: __attribute__ ((optimize ("no-associative-math"))) double fn3 (double h, double l) { return h + l; } double fn3 (double, double) __attribute__ ((optimize ("O2,no-associative-math"))); % gcc-12.0.0 -Ofast -w -c rtonutgr.c rtonutgr.c:7:1: error: semantic interposition mismatch 7 | double fn3 (double, double) __attribute__ ((optimize ("O2,no-associative-math"))); | ^~~~~~ fn3/0 (fn3) @0x7f290eed1220 Type: function definition analyzed Visibility: externally_visible public References: Referring: Availability: available Function flags: body Called by: Calls: during IPA pass: visibility rtonutgr.c:7:1: internal compiler error: verify_cgraph_node failed 0x9fc620 cgraph_node::verify_node() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211121/work/gcc-12-20211121/gc= c/cgraph.c:3873 0x9eb854 symtab_node::verify() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211121/work/gcc-12-20211121/gc= c/symtab.c:1358 0x9eca37 symtab_node::verify_symtab_nodes() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211121/work/gcc-12-20211121/gc= c/symtab.c:1386 0xca49a4 symtab_node::checking_verify_symtab_nodes() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211121/work/gcc-12-20211121/gc= c/cgraph.h:682 0xca49a4 symbol_table::remove_unreachable_nodes(_IO_FILE*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211121/work/gcc-12-20211121/gc= c/ipa.c:679 0xdb9289 execute_todo =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211121/work/gcc-12-20211121/gc= c/passes.c:2110=