gcc/testsuite/gcc.dg/asan/use-after-scope-switch-2.c

   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" } }  */