1  /* PR middle-end/97189 - ICE on redeclaration of a function with VLA argument
       2     and attribute access
       3     Also verify the right arguments are underlined in the notes.
       4     { dg-do compile }
       5     { dg-options "-Wall -fdiagnostics-show-caret" } */
       6  
       7  #define RW(...) __attribute__ ((access (read_write, __VA_ARGS__)))
       8  
       9  RW (2, 3) void f1 (int n, int[n], int);
      10  /* { dg-warning "attribute 'access \\(read_write, 2, 3\\)' positional argument 2 conflicts with previous designation by argument 3" "warning" { target *-*-* } .-1 }
      11     { dg-begin-multiline-output "" }
      12   RW (2, 3) void f1 (int n, int[n], int);
      13                  ^~
      14     { dg-end-multiline-output "" }
      15     { dg-message "designating the bound of variable length array argument 2" "note" { target *-*-* } .-6 }
      16     { dg-begin-multiline-output "" }
      17   RW (2, 3) void f1 (int n, int[n], int);
      18                      ~~~~^  ~~~~~~
      19     { dg-end-multiline-output "" } */
      20  
      21  
      22  RW (2)    void f2 (int, int[*], int);
      23  /* { dg-message "previously declared as a variable length array 'int\\\[\\\*]'" "note" { target *-*-* } .-1 }
      24     { dg-begin-multiline-output "" }
      25   RW (2, 3) void f2 (int, int[], int);
      26                           ^~~~~
      27     { dg-end-multiline-output "" } */
      28  
      29  RW (2, 3) void f2 (int, int[], int);
      30  /* { dg-warning "argument 2 of type 'int\\\[]' declared as an ordinary array" "warning" { target *-*-* } .-1 }
      31     { dg-begin-multiline-output "" }
      32   RW (2)    void f2 (int, int[*], int);
      33                           ^~~~~~
      34     { dg-end-multiline-output "" } */