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)