[Bug tree-optimization/108684] [12/13 Regression] ICE: verify_ssa failed

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[13 Regression] ICE:        |[12/13 Regression] ICE:
                   |verify_ssa failed           |verify_ssa failed
   Target Milestone|13.0                        |12.3
      Known to fail|                            |12.1.0

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
New testcase which shows this is indepdent of VRP, fails in GCC 12.x also:
```
static int t;

int f (int a)
{
  int t1;
  asm (" " : "=r" (t1) : : "eax", "memory");
  t = t1;
  if (a)
    return 0;
  __builtin_unreachable();
}
```