From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id DE8C03858CDB; Tue, 9 Jan 2024 03:19:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DE8C03858CDB DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1704770346; bh=qDYr4pts+1ctKxC5ednENnOsfBl8gNnmhUrEsnyPl+w=; h=From:To:Subject:Date:From; b=qnIvtqGofgEIwLdZOIDt6zYwW6Etpkxwj0AyLxOcd/8j59Rq1YBKZYFNzfI7Bxxw8 q0MuK2Ezxlqgc13fmGAvgCgTGRNtWIIkkXi8+FJQliPJvLPdKhmJBCYV5/gEey6JzR fBjY9Z1VDuPwOSb/Ib+KGaAm6MmmODu2f0lA5AGI= From: "iamanonymous.cs at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/113285] New: ICE: verify_flow_info failed Date: Tue, 09 Jan 2024 03:19:05 +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=3D113285 Bug ID: 113285 Summary: ICE: verify_flow_info failed 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: --- Compiler Explorer: https://godbolt.org/z/8Ebhao48a ***************************************************************************= **** 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/202311291030/bin/gcc COLLECT_LTO_WRAPPER=3D/root/gcc_set/202311291030/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/202311291030 --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 20231129 (experimental) (GCC)=20 git version: 99fa0bfd63d97825c4221dcd3123940f1d0e6291 ***************************************************************************= **** Program: $ cat mutant.c void f(void) { void p(void) { __label__ l1; void q(void) { goto l1; } l1:; } p(); } ***************************************************************************= **** Command Lines: $ gcc mutant.c mutant.c: In function =E2=80=98p=E2=80=99: mutant.c:3:8: error: label =E2=80=98({anonymous})=E2=80=99 has incorrect co= ntext in bb 4 3 | void p(void) | ^ during GIMPLE pass: cfg mutant.c:3:8: internal compiler error: verify_flow_info failed 0xae444e verify_flow_info() ../../gcc/gcc/cfghooks.cc:287 0x1066aac checking_verify_flow_info() ../../gcc/gcc/cfghooks.h:214 0x1066aac cleanup_tree_cfg_noloop ../../gcc/gcc/tree-cfgcleanup.cc:1154 0x1066aac cleanup_tree_cfg(unsigned int) ../../gcc/gcc/tree-cfgcleanup.cc:1205 0x105e6f4 execute_build_cfg ../../gcc/gcc/tree-cfg.cc:378 0x105e6f4 execute ../../gcc/gcc/tree-cfg.cc:412 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.=