1  // { dg-do run }
       2  // { dg-additional-options "-fdump-tree-gimple" }
       3  
       4  int
       5  main (int argc, char **argv)
       6  {
       7    int *ptr = 0;
       8  
       9    for (unsigned i = 0; i < 2; i++)
      10      {
      11        switch (argc)
      12  	{
      13  	case 11111:;
      14  	  int a;
      15  	  ptr = &a;
      16  	  break;
      17  	  {
      18  	    default:
      19  	      ptr = &a;
      20  	      *ptr = 12345;
      21  	    case 222222:
      22  	    my_label:
      23  	      ptr = &a;
      24  	      break;
      25  	  }
      26  	}
      27      }
      28  
      29    if (argc == 333333)
      30      goto my_label;
      31  
      32    return 0;
      33  }
      34  
      35  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &a, \[0-9\]\\);" 4 "gimple" } }  */
      36  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(POISON, &a, \[0-9\]\\);" 1 "gimple" } }  */