[Bug c++/108684] New: [13 Regression] ICE: verify_ssa failed

["gscfq@t-online.de" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 108684
           Summary: [13 Regression] ICE: verify_ssa failed
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started between 20221030 and 20221106 :
(gcc configured with --enable-checking=yes)


$ cat z1.cc
int f (int a)
{
  asm (" " : "=r" (a) : : "eax", "memory");
  if (a)
    return 0;
}


$ gcc-13-20230205 -c z1.cc -O2
z1.cc: In function 'int f(int)':
z1.cc:6:1: warning: control reaches end of non-void function [-Wreturn-type]
    6 | }
      | ^
z1.cc:1:5: error: virtual use of statement not up to date
    1 | int f (int a)
      |     ^
# VUSE <_2>
return 0;
during GIMPLE pass: vrp
z1.cc:1:5: internal compiler error: verify_ssa failed
0x14e901b verify_ssa(bool, bool)
        ../../gcc/tree-ssa.cc:1211
0x1134857 execute_function_todo
        ../../gcc/passes.cc:2098
0x11351a2 execute_todo
        ../../gcc/passes.cc:2145