[Bug tree-optimization/78819] [7 Regression] Wrong code with VRP caused by register assertions along default switch labels

[mpolacek at gcc dot gnu.org]

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Run-time testcase:

__attribute__((noinline, noclone)) void
foo (int argc)
{
  if (argc <= 0 || argc > 3)
    return;

  switch (argc)
    {
    case 1:
    case 3:
      if (argc != 3)
        __builtin_abort ();
      break;
    case 2:
      asm ("");
      break;
    default:
      __builtin_abort ();
    }
}

int
main (void)
{
  foo (3);
}