[Bug target/84828] New: ICE in verify_flow_info at gcc/cfghooks.c:265

[marxin at gcc dot gnu.org]

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

            Bug ID: 84828
           Summary: ICE in verify_flow_info at gcc/cfghooks.c:265
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: jakub at gcc dot gnu.org
  Target Milestone: ---

It's probably an invalid code, but:

$ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/pr84683.C -Og
-mno-sse2
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/pr84683.C: In function
‘void foo(float, double)’:
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/pr84683.C:10:35: error:
output constraint 0 must specify a single register
       asm volatile ("" : "+f" (c)); // { dg-error "must specify a single
register" }
                                   ^
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/pr84683.C:13:1: error:
insn 42 basic block pointer is 4, should be 3
 }
 ^
during RTL pass: stack
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/pr84683.C:13:1: internal
compiler error: verify_flow_info failed
0x96d6d4 verify_flow_info()
        ../../gcc/cfghooks.c:265
0x98864e checking_verify_flow_info
        ../../gcc/cfghooks.h:198
0x98864e commit_edge_insertions()
        ../../gcc/cfgrtl.c:2085
0xd4c3a4 convert_regs
        ../../gcc/reg-stack.c:3254
0xd4c3a4 reg_to_stack
        ../../gcc/reg-stack.c:3358
0xd4c3a4 rest_of_handle_stack_regs
        ../../gcc/reg-stack.c:3413
0xd4c3a4 execute
        ../../gcc/reg-stack.c:3444

ICEs for all releases I have.