From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 46CE7389364E; Fri, 21 Jun 2024 03:23:27 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 46CE7389364E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1718940207; bh=ffb3CnxEyau+LrLqqe/+5WrY/ysLkIgGTheNKHVmwvY=; h=From:To:Subject:Date:From; b=asUY8VJF4zXfAcdQKz28EnbjO3q6igYdY0F7che3QP8gTWOtDs5SRw/ztCgFGWaKB 4sig7K1beaCRiJ2NhJKcqD2280Dt886EbmaDhRhLxwelwldKPPFl//ZUm3VU9ugDyJ YeoflD2f9gZuKbLtFPyZIlh31370+UcgUHwrbQec= From: "iamanonymous.cs at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/115573] New: ICE: verify_flow_info failed with no_reorder attribute Date: Fri, 21 Jun 2024 03:23:26 +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: 15.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: iamanonymous.cs at gmail 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 bug_severity priority component assigned_to reporter 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 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D115573 Bug ID: 115573 Summary: ICE: verify_flow_info failed with no_reorder attribute Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: iamanonymous.cs at gmail dot com Target Milestone: --- ICE on trunk. Compiler Explorer: https://godbolt.org/z/8sbP3Ydh6 ***************************************************************************= **** OS and Platform: $ uname -a: Linux ubuntu 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux ***************************************************************************= **** gcc version: Using built-in specs. COLLECT_GCC=3D/root/gcc_set/trunk-48a320a/bin/gcc COLLECT_LTO_WRAPPER=3D/root/gcc_set/trunk-48a320a/libexec/gcc/x86_64-pc-lin= ux-gnu/15.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc/configure --prefix=3D/root/gcc_set/trunk-48a320a --with-gmp=3D/root/build_essential --with-mpfr=3D/root/build_essential --with-mpc=3D/root/build_essential --enable-languages=3Dc,c++ --disable-mul= tilib --with-sanitizer=3Daddress,undefined,thread,leak --enable-coverage --disable-bootstrap Thread model: posix Supported LTO compression algorithms: zlib gcc version 15.0.0 20240426 (experimental) (GCC)=20 ***************************************************************************= **** Program: $ cat mutant.c int a; __attribute__((no_reorder)) int b() { __label__ d, e; void f(int c) { goto *c ? &&d : &&e; } d: f(a); e: } ***************************************************************************= **** Command Lines: $ gcc -O2 mutant.c mutant.c: In function =E2=80=98f=E2=80=99: mutant.c:4:40: error: basic block 2 edge lists are corrupted 4 | void f(int c) { goto *c ? &&d : &&e; } | ^ during RTL pass: cprop mutant.c:4:40: internal compiler error: verify_flow_info failed 0x117ca2f verify_flow_info() ../../gcc/gcc/cfghooks.cc:287 0x116b814 checking_verify_flow_info() ../../gcc/gcc/cfghooks.h:214 0x11a913e commit_edge_insertions() ../../gcc/gcc/cfgrtl.cc:2155 0x45abf2f bypass_conditional_jumps ../../gcc/gcc/cprop.cc:1744 0x45ac80c one_cprop_pass ../../gcc/gcc/cprop.cc:1895 0x45acadd execute_rtl_cprop ../../gcc/gcc/cprop.cc:1940 0x45accf0 execute ../../gcc/gcc/cprop.cc:1980 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See for instructions.=