1  /* { dg-do run } */
       2  /* { dg-options "-Os -march=z13"  } */
       3  
       4  #include <assert.h>
       5  #include <stdint.h>
       6  
       7  __attribute__((noinline))
       8  void bar () {}
       9  
      10  __attribute__((noinline))
      11  __attribute__((optimize("O2")))
      12  void baf () {}
      13  
      14  int main ()
      15  {
      16    bar ();
      17    baf ();
      18  
      19    void *g = &baf;
      20  
      21    assert ( ((uintptr_t)g % 16) == 0);
      22  }