clang/test/Sema/array-parameter.c

   1 // RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fsyntax-only -Warray-parameter -verify %s
   2 void f0(int a[]);
   3 void f0(int *a); // no warning
   4
   5 void f1(int a[]);  // expected-note {{previously declared as 'int[]' here}}
   6 void f1(int a[2]); // expected-warning {{argument 'a' of type 'int[2]' with mismatched bound}}
   7
   8 void f2(int a[3]); // expected-note {{previously declared as 'int[3]' here}}
   9 void f2(int a[2]); // expected-warning {{argument 'a' of type 'int[2]' with mismatched bound}}
  10
  11 void f3(int a[const 2]);
  12 void f3(int a[2]); // no warning
  13
  14 void f4(int a[static 2]);
  15 void f4(int a[2]); // no warning
  16
  17 void f5(int a[restrict 2]);
  18 void f5(int a[2]); // no warning
  19
  20 void f6(int a[volatile 2]);
  21 void f6(int a[2]); // no warning
  22
  23 void f7(int a[*]);
  24 void f7(int a[]); // no warning
  25
  26 void f8(int n, int a[*]); // expected-note {{previously declared as 'int[*]' here}}
  27 void f8(int n, int a[n]); // expected-warning {{argument 'a' of type 'int[n]' with mismatched bound}}
  28
  29 void f9(int *a);
  30 void f9(int a[2]);
  31 void f9(int a[]); // expected-warning {{argument 'a' of type 'int[]' with mismatched bound}}
  32                   // expected-note@-2 {{previously declared as 'int[2]' here}}
  33 void f9(int a[2]) // expected-warning {{argument 'a' of type 'int[2]' with mismatched bound}}
  34                   // expected-note@-3 {{previously declared as 'int[]' here}}
  35 {}