// { dg-do run }
// { dg-additional-options "-fdump-tree-gimple" }

int
main (int argc, char **argv)
{
  int *ptr = 0;

  for (unsigned i = 0; i < 2; i++)
    {
      switch (argc)
	{
	case 11111:;
	  int a;
	  ptr = &a;
	  break;
	  {
	    default:
	      ptr = &a;
	      *ptr = 12345;
	    case 222222:
	    my_label:
	      ptr = &a;
	      break;
	  }
	}
    }

  if (argc == 333333)
    goto my_label;

  return 0;
}

/* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &a, \[0-9\]\\);" 4 "gimple" } }  */
/* { dg-final { scan-tree-dump-times "ASAN_MARK \\(POISON, &a, \[0-9\]\\);" 1 "gimple" } }  */