1  /* PR sanitizer/82517.  */
       2  
       3  static int *pp;
       4  
       5  void
       6  baz ()
       7  {
       8    return;
       9  }
      10  
      11  void
      12  bar (int *p)
      13  {
      14    *p = 1;
      15  }
      16  
      17  void
      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
      37  main (int argc, char **argv)
      38  {
      39    foo (4);
      40    foo (3);
      41  
      42    return 0;
      43  }