1 /* PR sanitizer/82517.  */
2 
3 static int *pp;
4 
5 void
baz()6 baz ()
7 {
8   return;
9 }
10 
11 void
bar(int * p)12 bar (int *p)
13 {
14   *p = 1;
15 }
16 
17 void
foo(int a)18 foo (int a)
19 {
20   if (a == 2)
21     {
22     lab:
23       baz ();
24       return;
25     }
26   if (a > 1)
27     {
28       int x __attribute__ ((aligned (256)));
29       pp = &x;
30       bar (&x);
31       if (!x)
32 	goto lab;
33     }
34 }
35 
36 int
main(int argc,char ** argv)37 main (int argc, char **argv)
38 {
39   foo (4);
40   foo (3);
41 
42   return 0;
43 }
44