aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/asan/use-after-scope-switch-1.c
blob: d4d753936bb4899e78d6fbf87d98e8707e49e09d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
// { 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)
	{
	int a;
      default:
	ptr = &a;
	*ptr = 12345;
	break;
      }
    }

  return 0;
}

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