1  /* Verify that combinations of array type qualifiers render correctly.
       2     { dg-do compile }
       3     { dg-options "-Warray-parameter" } */
       4  
       5  void fatm (int[_Atomic 1]);       // { dg-message "previously declared as 'int\\\[_Atomic 1]" }
       6  void fatm (int[_Atomic 2]);       // { dg-warning "argument 1 of type 'int\\\[_Atomic 2]' with mismatched bound" }
       7  
       8  
       9  void fcst (int[const 2]);         // { dg-message "previously declared as 'int\\\[const 2]" }
      10  void fcst (int[const 3]);         // { dg-warning "argument 1 of type 'int\\\[const 3]' with mismatched bound" }
      11  
      12  
      13  void frst (int[restrict 3]);      // { dg-message "previously declared as 'int\\\[restrict 3]" }
      14  void frst (int[restrict 4]);      // { dg-warning "argument 1 of type 'int\\\[restrict 4]' with mismatched bound" }
      15  
      16  void fvol (int[volatile 4]);      // { dg-message "previously declared as 'int\\\[volatile 4]" }
      17  void fvol (int[volatile 5]);      // { dg-warning "argument 1 of type 'int\\\[volatile 5]' with mismatched bound" }
      18  
      19  
      20  void fcr (int[const restrict 1]);   // { dg-message "previously declared as 'int\\\[\(const restrict|restrict const\) 1]" }
      21  void fcr (int[restrict volatile 2]); // { dg-warning "argument 1 of type 'int\\\[\(restrict volatile|volatile restrict\) 2]' with mismatched bound" }
      22  void fcr (int[const restrict volatile 3]);  // { dg-warning "argument 1 of type 'int\\\[const volatile restrict 3]' with mismatched bound" }
      23  
      24  
      25  extern int n;
      26  
      27  void fcx_n (int [const 1][n]);      // { dg-message "previously declared as 'int\\\[const 1]\\\[n]'" "note" }
      28  void fcx_n (int [restrict 2][n]);   // { dg-warning "argument 1 of type 'int\\\[restrict 2]\\\[n]' with mismatched bound" }
      29  
      30  
      31  extern int n1, n2;
      32  
      33  /* The mismatch in the array bound should be diagnosed but the mismatch
      34     in the VLA should not be without -Wvla-parameter.  */
      35  void fc3_n1 (int [const 3][n1]);   // { dg-message "previously declared as 'int\\\[const 3]\\\[n1]'" "note" }
      36  void fc3_n1 (int [const 5][n2]);   // { dg-warning "argument 1 of type 'int\\\[const 5]\\\[n2]' with mismatched bound" }