1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-inline -Wall" } */
       3  
       4  extern void process (char);
       5  
       6  void process_array4 (char a[4], int n)
       7  {
       8    for (int i = 0; i < n; i++)
       9      process (a[i]);
      10  }
      11  
      12  void process_array3 (char a[3], int n)
      13  {
      14    for (int i = 0; i < n; i++)
      15      process (a[i]);
      16  }