1  /* Verify that -Warray-bounds suppression via #pragma GCC diagnostic
       2     works at any call site in an inlining stack
       3     { dg-do compile }
       4     { dg-options "-O2 -Wall" } */
       5  
       6  int a[4];
       7  
       8  void f1 (int *p, int i)
       9  {
      10  #pragma GCC diagnostic push
      11  #if IGNORE == '1'
      12  #  pragma GCC diagnostic ignored "-Warray-bounds"
      13  #endif
      14    p[i + 1] = 0;
      15  #pragma GCC diagnostic pop
      16  }
      17  
      18  void f2 (int *p, int i)
      19  {
      20  #pragma GCC diagnostic push
      21  #if IGNORE == '2'
      22  #  pragma GCC diagnostic ignored "-Warray-bounds"
      23  #endif
      24    f1 (p + 1, i + 1);
      25  #pragma GCC diagnostic pop
      26  }
      27  
      28  void f3 (int *p, int i)
      29  {
      30  #pragma GCC diagnostic push
      31  #if IGNORE == '3'
      32  #  pragma GCC diagnostic ignored "-Warray-bounds"
      33  #endif
      34    f2 (p + 1, i + 1);
      35  #pragma GCC diagnostic pop
      36  }
      37  
      38  void f4 (void)
      39  {
      40  #pragma GCC diagnostic push
      41  #if IGNORE == '4'
      42  #  pragma GCC diagnostic ignored "-Warray-bounds"
      43  #endif
      44    f3 (a, 1);
      45  #pragma GCC diagnostic pop
      46  }