1 // { dg-do run }
2 // { dg-additional-options "-fdump-tree-asan0" }
3 /* { dg-skip-if "" { *-*-* } { "*" } { "-O0" } } */
4 
main(int argc,char ** argv)5 int main(int argc, char **argv)
6 {
7   int a = 123;
8 
9   if (argc == 0)
10   {
11     int *ptr;
12     /* The label is not used in &label or goto label.  Thus '&a' should be
13        marked just once.  */
14     label:
15       {
16 	ptr = &a;
17         *ptr = 1;
18 	return 0;
19       }
20   }
21 
22   return 0;
23 }
24 
25 /* { dg-final { scan-tree-dump-times "ASAN_MARK \\(UNPOISON, &a, 4\\);" 1 "asan0" } }  */
26