1  /* { dg-do run } */
       2  
       3  #include <assert.h>
       4  
       5  __attribute__((noinline)) void foo(int index, int len) {
       6    volatile char str[len] __attribute__((aligned(32)));
       7    assert(!((long)str & 31L));
       8    str[index] = '1';
       9  }
      10  
      11  int main(int argc, char **argv) {
      12    foo(4, 5);
      13    foo(39, 40);
      14    return 0;
      15  }