[Bug rtl-optimization/104989] New: ICE in rtl_verify_bb_insns, at cfgrtl.cc:2797 (error: flow control insn inside a basic block)

["asolokha at gmx dot com" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104989

            Bug ID: 104989
           Summary: ICE in rtl_verify_bb_insns, at cfgrtl.cc:2797 (error:
                    flow control insn inside a basic block)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

g++ 12.0.1 20220313 snapshot (g:7e28750395889d16a9cba49cd5935ced7dc00ce8) ICEs
when compiling gcc/testsuite/g++.dg/other/pr84964.C w/ -fnon-call-exceptions:

% g++-12.0.1 -fchecking -fnon-call-exceptions -w
gcc/testsuite/g++.dg/other/pr84964.C
gcc/testsuite/g++.dg/other/pr84964.C: In function 'void c(...)':
gcc/testsuite/g++.dg/other/pr84964.C:6:16: sorry, unimplemented: passing too
large argument on stack
    6 | void c(...) { c(a()); }
      |               ~^~~~~
gcc/testsuite/g++.dg/other/pr84964.C:6:23: error: in basic block 2:
    6 | void c(...) { c(a()); }
      |                       ^
gcc/testsuite/g++.dg/other/pr84964.C:6:23: error: flow control insn inside a
basic block
(call_insn 9 8 14 2 (call (mem:QI (symbol_ref:DI ("_Z1cz") [flags 0x3]
<function_decl 0x7f451f1a4400 c>) [0 c S1 A8])
        (const_int 2305843009213693952 [0x2000000000000000]))
"gcc/testsuite/g++.dg/other/pr84964.C":6:16 -1
     (expr_list:REG_ARGS_SIZE (const_int 0 [0])
        (expr_list:REG_NORETURN (const_int 0 [0])
            (nil)))
    (expr_list (use (reg:QI 0 ax))
        (nil)))
during RTL pass: expand
gcc/testsuite/g++.dg/other/pr84964.C:6:23: internal compiler error: in
rtl_verify_bb_insns, at cfgrtl.cc:2797
0x800d85 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/rtl-error.cc:108
0xcd5ff3 rtl_verify_bb_insns
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfgrtl.cc:2797
0xcde38a rtl_verify_flow_info_1
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfgrtl.cc:2883
0xcde38a rtl_verify_flow_info
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfgrtl.cc:3126
0xcc456a verify_flow_info()
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfghooks.cc:282
0x1ee7578 checking_verify_flow_info
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfghooks.h:214
0x1ee7578 try_optimize_cfg
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfgcleanup.cc:2980
0x1ee7578 cleanup_cfg(int)
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfgcleanup.cc:3143
0xcc1f1f execute
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220313/work/gcc-12-20220313/gcc/cfgexpand.cc:6971