gcc/testsuite/gcc.dg/Warray-parameter-3.c

   1 /* PR c/50584 - No warning for passing small array to C99 static array
   2    declarator
   3    { dg-do compile }
   4    { dg-options "-Wall -Warray-parameter=1" } */
   5
   6 /* Verify that at level 1 mismatches in the bounds of ordinary array
   7    parameters don't trigger -Warray-parameter.  */
   8 void fax (int[]);
   9 void fax (int[0]);
  10 void fax (int[1]);
  11 void fax (int[2]);
  12 void fax (int[3]);
  13
  14 /* Same as above but starting with an array with a specified bound.  */
  15 void gax (int[3]);
  16 void gax (int[2]);
  17 void gax (int[1]);
  18 void gax (int[0]);
  19 void gax (int[]);
  20
  21 /* Same for multidimensional arrays.  */
  22 void fax_y (int[][3]);
  23 void fax_y (int[0][3]);
  24 void fax_y (int[1][3]);
  25 void fax_y (int[2][3]);
  26 void fax_y (int[3][3]);
  27
  28 /* Same as above but starting with an array with a specified bound.  */
  29 void gax_y (int[3][5]);
  30 void gax_y (int[2][5]);
  31 void gax_y (int[1][5]);
  32 void gax_y (int[0][5]);
  33 void gax_y (int[][5]);
  34
  35 /* Exercise VLAs with a mismatch in the bound for an ordinary array.  */
  36 void fvlax_y (int n, int[][n]);
  37 void fvlax_y (int n, int[0][n]);
  38 void fvlax_y (int n, int[1][n]);
  39 void fvlax_y (int n, int[2][n]);
  40 void fvlax_y (int n, int[3][n]);
  41
  42 void fvlaxn_y (int n, int[][n]);
  43 void fvlaxn_y (int n, int[0][n]);
  44 void fvlaxn_y (int n, int[1][n]);
  45 void fvlaxn_y (int n, int[2][n]);
  46 void fvlaxn_y (int n, int[3][n]);
  47
  48 void fvlaxx_y (int[][*]);
  49 void fvlaxx_y (int[0][*]);
  50 void fvlaxx_y (int[1][*]);
  51 void fvlaxx_y (int[2][*]);
  52 void fvlaxx_y (int[3][*]);
  53
  54 /* Verify that mismatches in the bounds of array parameters declared
  55    static do trigger -Warray-parameter.  */
  56 void fas1 (int[static 1]);    // { dg-message "previously declared as 'int\\\[static 1]'" }
  57 void fas1 (int[static 2]);    // { dg-warning "\\\[-Warray-parameter=" }
  58
  59
  60 /* Also verify that -Warray-bounds doesn't trigger for ordinary array
  61    parameters...  */
  62 #pragma GCC optimize ("2")
  63
  64 __attribute__ ((noipa)) void
  65 gca3 (char a[3])
  66 {
  67   a[0] = 0; a[1] = 1; a[2] = 2; a[3] = 3;
  68 }
  69
  70 __attribute__ ((noipa)) void
  71 gia3 (int a[3])
  72 {
  73   a[0] = 0; a[1] = 1; a[2] = 2; a[3] = 3;
  74 }
  75
  76 /* ...but does for static arrays.  */
  77 __attribute__ ((noipa)) void
  78 gcas3 (char a[static 3])
  79 {
  80   a[0] = 0; a[1] = 1; a[2] = 2; // { dg-warning "\\\[-Wstringop-overflow" "pr102706" { target { vect_slp_v4qi_store_unalign } } }
  81   a[3] = 3;                   // { dg-warning "\\\[-Warray-bounds" }
  82 }
  83
  84 __attribute__ ((noipa)) void
  85 gias3 (int a[static 3])
  86 {
  87   a[0] = 0; a[1] = 1; a[2] = 2;
  88   a[3] = 3;                   // { dg-warning "\\\[-Warray-bounds" }
  89 }