|
111
|
1 // { dg-do run }
|
|
|
2 // { dg-additional-options "-fdump-tree-asan0" }
|
|
|
3 /* { dg-skip-if "" { *-*-* } { "*" } { "-O0" } } */
|
|
|
4
|
|
|
5 int main(int argc, char **argv)
|
|
|
6 {
|
|
|
7 int a = 123;
|
|
|
8 int b = 123;
|
|
|
9 int c = 123;
|
|
|
10 int d = 123;
|
|
|
11 int e = 123;
|
|
|
12 int f = 123;
|
|
|
13
|
|
|
14 if (argc == 0)
|
|
|
15 {
|
|
|
16 int *ptr;
|
|
|
17 int *ptr2;
|
|
|
18 int *ptr3;
|
|
|
19 int *ptr4;
|
|
|
20 int *ptr5;
|
|
|
21 int *ptr6;
|
|
|
22 label:
|
|
|
23 {
|
|
|
24 ptr = &a;
|
|
|
25 *ptr = 1;
|
|
|
26 ptr2 = &b;
|
|
|
27 *ptr2 = 1;
|
|
|
28 ptr3 = &c;
|
|
|
29 *ptr3 = 1;
|
|
|
30 ptr4 = &d;
|
|
|
31 *ptr4 = 1;
|
|
|
32 ptr5 = &e;
|
|
|
33 *ptr5 = 1;
|
|
|
34 ptr6 = &f;
|
|
|
35 *ptr6 = 1;
|
|
|
36 return 0;
|
|
|
37 }
|
|
|
38 }
|
|
|
39 else
|
|
|
40 goto label;
|
|
|
41
|
|
|
42 return 0;
|
|
|
43 }
|
|
|
44
|
|
|
45 /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &a, 4\\);" 2 "asan0" } } */
|
|
|
46 /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &c, 4\\);" 2 "asan0" } } */
|
|
|
47 /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &e, 4\\);" 2 "asan0" } } */
|
