https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113466
Bug ID: 113466
Summary: ICE: verify_flow_info failed: returns_twice call is
not first in basic block 7 with a __returns_twice__
function with _BitInt() argument
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
CC: jakub at gcc dot gnu.org
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Created attachment 57127
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57127&action=edit
reduced testcase
Compiler output:
$ x86_64-pc-linux-gnu-gcc testcase.c
testcase.c: In function 'foo':
testcase.c:4:1: error: returns_twice call is not first in basic block 7
4 | foo(int x)
| ^~~
bar (_8);
during GIMPLE pass: bitintlower0
testcase.c:4:1: internal compiler error: verify_flow_info failed
0xf8edde verify_flow_info()
/repo/gcc-trunk/gcc/cfghooks.cc:287
0x156029c checking_verify_flow_info()
/repo/gcc-trunk/gcc/cfghooks.h:214
0x156029c cleanup_tree_cfg_noloop
/repo/gcc-trunk/gcc/tree-cfgcleanup.cc:1154
0x156029c cleanup_tree_cfg(unsigned int)
/repo/gcc-trunk/gcc/tree-cfgcleanup.cc:1205
0x13c8a3c execute_function_todo
/repo/gcc-trunk/gcc/passes.cc:2057
0x13c8eee execute_todo
/repo/gcc-trunk/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 <https://gcc.gnu.org/bugs/> for instructions.
$ x86_64-pc-linux-gnu-gcc testcase.c
testcase.c: In function 'foo':
testcase.c:4:1: error: returns_twice call is not first in basic block 7
4 | foo(int x)
| ^~~
bar (_8);
during GIMPLE pass: bitintlower0
testcase.c:4:1: internal compiler error: verify_flow_info failed
0xf8edde verify_flow_info()
/repo/gcc-trunk/gcc/cfghooks.cc:287
0x156029c checking_verify_flow_info()
/repo/gcc-trunk/gcc/cfghooks.h:214
0x156029c cleanup_tree_cfg_noloop
/repo/gcc-trunk/gcc/tree-cfgcleanup.cc:1154
0x156029c cleanup_tree_cfg(unsigned int)
/repo/gcc-trunk/gcc/tree-cfgcleanup.cc:1205
0x13c8a3c execute_function_todo
/repo/gcc-trunk/gcc/passes.cc:2057
0x13c8eee execute_todo
/repo/gcc-trunk/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 <https://gcc.gnu.org/bugs/> for instructions.
