From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 3AA9B3858C62; Sat, 25 Nov 2023 05:43:58 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3AA9B3858C62 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1700891038; bh=+6pp5nleBdWnf2FDFZINLrLs+gYsI3jb/QDceOh7ccs=; h=From:To:Subject:Date:From; b=c9TlgE5JvYOjooXwmlzQqAXSEtQ2VqApaz+miDZc71miLQP/cAkdF5Cj6i9N2G7F9 9hLmVbNMyYNRaj4cd9h0f+B208F4IRp7tjEn3zlmPuiGKPrj3K3S8+Bg1T+KF/9x3x GMjOdOjix9gR9Xhg9W67oPMNIESjfhW/PZHTdtGs= From: "iamanonymous.cs at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/112709] New: ICE verify_flow_info failed during GIMPLE pass: asan0 Date: Sat, 25 Nov 2023 05:43:57 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 14.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=3D112709 Bug ID: 112709 Summary: ICE verify_flow_info failed during GIMPLE pass: asan0 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: iamanonymous.cs at gmail dot com Target Milestone: --- ***************************************************************************= **** 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: $ gcc -v Using built-in specs. COLLECT_GCC=3D/root/gcc_set/202311021000/bin/gcc COLLECT_LTO_WRAPPER=3D/root/gcc_set/202311021000/libexec/gcc/x86_64-pc-linu= x-gnu/14.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc/configure --prefix=3D/root/gcc_set/202311021000 --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 Thread model: posix Supported LTO compression algorithms: zlib gcc version 14.0.0 20231102 (experimental) (GCC) git version: d508a94167c186b2baacc679896e2809554c0b99 ***************************************************************************= **** Program: $ cat mutant.c struct S { char c[1024]; }; void func(void); struct S s(void) __attribute__((returns_twice)); struct S *p; void func1(void) { func(); *p =3D s(); } ***************************************************************************= **** Command Lines: $ gcc -fsanitize=3Daddress -c mutant.c mutant.c: In function =E2=80=98func1=E2=80=99: mutant.c:6:6: error: returns_twice call is not first in basic block 4 6 | void func1(void) | ^~~~~ *p.0_1(ab) =3D s (); during GIMPLE pass: asan0 mutant.c:6:6: internal compiler error: verify_flow_info failed 0xad0a0e verify_flow_info() ../../gcc/gcc/cfghooks.cc:287 0xed36d7 execute_function_todo ../../gcc/gcc/passes.cc:2100 0xed3c0e execute_todo ../../gcc/gcc/passes.cc:2142 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.=