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

int *ptr;

struct a
{
  int c;
};

int main(int argc, char **argv)
{
  struct a e;
  e.c = 2;
  int x = 0;

  for (;;)
    switch (e.c)    
      case 3:
	{
	  int resxxx;
	case 2:
	  ptr = &resxxx;
	  *ptr = 123;

	  if (x)
	    return 0;
	  else
	    x = 1;
	}

  return 1;
}

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