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    int *ptr2 = 0;
       9    int *ptr3 = 0;
      10  
      11    for (unsigned i = 0; i < 2; i++)
      12      {
      13        switch (argc)
      14  	{
      15  	case 1111:;
      16  	  int a, b, c;
      17  	default:
      18  	  ptr = &a;
      19  	  ptr2 = &b;
      20  	  ptr3 = &c;
      21  	  break;
      22  	}
      23      }
      24  
      25    return 0;
      26  }
      27  
      28  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &a, \[0-9\]\\);" 2 "gimple" } }  */
      29  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &b, \[0-9\]\\);" 2 "gimple" } }  */
      30  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &c, \[0-9\]\\);" 2 "gimple" } }  */
      31  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(POISON, &a, \[0-9\]\\);" 1 "gimple" } }  */
      32  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(POISON, &b, \[0-9\]\\);" 1 "gimple" } }  */
      33  /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(POISON, &c, \[0-9\]\\);" 1 "gimple" } }  */