https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84960
Bug ID: 84960
Summary: internal compiler error: verify_flow_info failed
Product: gcc
Version: 8.0.1
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: vegard.nossum at oracle dot com
CC: webrown.cpp at gmail dot com
Target Milestone: ---
Input:
int a;
float b;
void c() {
long d;
e:
if ((b - (a %= 0) < 1) * -1)
;
else {
decltype(d) f(a);
__builtin_unreachable();
__builtin_prefetch(&&e);
}
goto *a;
}
Output:
$ cc1plus -O2 -fno-strict-overflow
void c()
<stdin>:6:15: warning: division by zero [-Wdiv-by-zero]
Analyzing compilation unit
Performing interprocedural optimizations
<*free_lang_data> <visibility> <build_ssa_passes> <opt_local_passes>
<targetclone> <free-fnsummary> <whole-program> <profile_estimate> <icf>
<devirt> <cp> <fnsummary> <inline> <pure-const> <free-fnsummary> <static-var>
<single-use> <comdats>Assembling functions:
<materialize-all-clones> <simdclone> void c()
<stdin>: In function 'void c()':
<stdin>:3:6: error: ENTRY_BLOCK has IL associated with it
during GIMPLE pass: isolate-paths
<stdin>:3:6: internal compiler error: verify_flow_info failed
0x185ac87 verify_flow_info()
/home/vegard/git/gcc/gcc/cfghooks.c:265
0x331048c checking_verify_flow_info
/home/vegard/git/gcc/gcc/cfghooks.h:198
0x331048c cleanup_tree_cfg_noloop
/home/vegard/git/gcc/gcc/tree-cfgcleanup.c:920
0x331048c cleanup_tree_cfg()
/home/vegard/git/gcc/gcc/tree-cfgcleanup.c:971
0x2b66e84 execute_function_todo
/home/vegard/git/gcc/gcc/passes.c:1947
0x2b700f6 do_per_function
/home/vegard/git/gcc/gcc/passes.c:1659
0x2b700f6 execute_todo
/home/vegard/git/gcc/gcc/passes.c:2048
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Version:
GNU C++14 (GCC) version 8.0.1 20180306 (experimental) (x86_64-pc-linux-gnu)
