/* PR tree-optimization/84079 - missing -Warray-bounds taking the address
   of past-the-end element of a multidimensional array
   { dg-do compile }
   { dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */

void sink (int, ...);

#define T(type, dims, inxs)			\
  do {						\
    type a dims;				\
    sink (__LINE__, &a inxs);			\
  } while (0)


void test_char_1_1 (int i0, int i1, int i2)
{
#undef DIMS
#define DIMS [1][1]

  T (char, DIMS, [0]);
  T (char, DIMS, [1]);
  T (char, DIMS, [2]);            // { dg-warning "subscript 2 is above array bounds of 'char\\\[1]\\\[1]'" }

  T (char, DIMS, [0][0]);
  T (char, DIMS, [0][1]);
  T (char, DIMS, [0][2]);         // { dg-warning "subscript 2 is above array bounds of 'char\\\[1]'" }

  T (char, DIMS, [1][0]);         // { dg-warning "subscript 1 is above array bounds of 'char\\\[1]\\\[1]'" }
  T (char, DIMS, [1][1]);         // { dg-warning "subscript 1 is above array bounds of 'char\\\[1]\\\[1]'" }
  T (char, DIMS, [1][2]);         // { dg-warning "subscript 2 is above array bounds of 'char\\\[1]'" }

  // Exercise ranges.
  if (i0 < 0) i0 = 0;
  if (i1 < 1) i1 = 1;
  if (i2 < 2) i2 = 2;

  T (char, DIMS, [i0]);
  T (char, DIMS, [i1]);
  T (char, DIMS, [i2]);           // { dg-warning "subscript 2 is above array bounds of 'char\\\[1]\\\[1]" }

  T (char, DIMS, [i0][i0]);
  T (char, DIMS, [i0][i1]);
  T (char, DIMS, [i1][i0]);       // { dg-warning "subscript 1 is above array bounds of 'char\\\[1]\\\[1]'" }
  T (char, DIMS, [i1][i1]);       // { dg-warning "subscript 1 is above array bounds of 'char\\\[1]\\\[1]'" }
  T (char, DIMS, [i1][i2]);       // { dg-warning "subscript 2 is above array bounds of 'char\\\[1]'" }
}


void test_int_3_5 (int i0, int i1, int i2, int i3, int i4, int i5, int i6)
{
#undef DIMS
#define DIMS [3][5]

  T (int, DIMS, [0]);
  T (int, DIMS, [3]);
  T (int, DIMS, [4]);             // { dg-warning "subscript 4 is above array bounds of 'int\\\[3]\\\[5]'" }

  T (int, DIMS, [0][0]);
  T (int, DIMS, [0][5]);
  T (int, DIMS, [0][6]);          // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  T (int, DIMS, [1][0]);
  T (int, DIMS, [1][5]);
  T (int, DIMS, [1][6]);          // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  T (int, DIMS, [3][0]);          // { dg-warning "subscript 3 is above array bounds of 'int\\\[3]\\\[5]'" }
  T (int, DIMS, [3][5]);          // { dg-warning "subscript 3 is above array bounds of 'int\\\[3]\\\[5]'" }
  T (int, DIMS, [3][6]);          // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  // Exercise ranges.
  if (i0 < 0) i0 = 0;
  if (i1 < 1) i1 = 1;
  if (i2 < 2) i2 = 2;
  if (i3 < 3) i3 = 3;
  if (i4 < 4) i4 = 4;
  if (i5 < 5) i5 = 5;
  if (i6 < 6) i6 = 6;

  T (int, DIMS, [i0]);
  T (int, DIMS, [i3]);
  T (int, DIMS, [i4]);            // { dg-warning "subscript 4 is above array bounds of 'int\\\[3]\\\[5]" }

  T (int, DIMS, [i0][i0]);
  T (int, DIMS, [i0][i5]);
  T (int, DIMS, [i0][i6]);        // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  T (int, DIMS, [i1][i0]);
  T (int, DIMS, [i1][i5]);
  T (int, DIMS, [i1][i6]);        // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  T (int, DIMS, [i3][i0]);        // { dg-warning "subscript 3 is above array bounds of 'int\\\[3]\\\[5]'" }
  T (int, DIMS, [i3][i5]);        // { dg-warning "subscript 3 is above array bounds of 'int\\\[3]\\\[5]'" }
  T (int, DIMS, [i3][i6]);        // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }
}


void test_int_2_3_4_5 (void)
{
#undef DIMS
#define DIMS [2][3][4][5]

  T (int, DIMS, [0]);
  T (int, DIMS, [2]);
  T (int, DIMS, [3]);             // { dg-warning "subscript 3 is above array bounds of 'int\\\[2]\\\[3]\\\[4]\\\[5]'" }

  T (int, DIMS, [0][0]);
  T (int, DIMS, [0][3]);
  T (int, DIMS, [0][4]);          // { dg-warning "subscript 4 is above array bounds of 'int\\\[3]\\\[4]\\\[5]'" }
  T (int, DIMS, [0][9]);          // { dg-warning "subscript 9 is above array bounds of 'int\\\[3]\\\[4]\\\[5]'" }

  T (int, DIMS, [0][0][0]);
  T (int, DIMS, [0][0][4]);
  T (int, DIMS, [0][0][5]);       // { dg-warning "subscript 5 is above array bounds of 'int\\\[4]\\\[5]'" }

  T (int, DIMS, [0][0][0][0]);
  T (int, DIMS, [0][0][0][5]);
  T (int, DIMS, [0][0][0][6]);    // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  T (int, DIMS, [0][0][1][0]);
  T (int, DIMS, [0][0][1][5]);
  T (int, DIMS, [0][0][1][6]);    // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  T (int, DIMS, [0][0][3][0]);
  T (int, DIMS, [0][0][3][5]);
  T (int, DIMS, [0][0][3][6]);    // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }

  T (int, DIMS, [0][0][1][0]);
  T (int, DIMS, [0][0][1][5]);
  T (int, DIMS, [0][0][1][6]);    // { dg-warning "subscript 6 is above array bounds of 'int\\\[5]'" }
}