1  /* PR c++/87996 - "size of array is negative" error when SIZE_MAX/2 < sizeof(array) <= SIZE_MAX
       2     { dg-do compile }
       3     { dg-options "-ftrack-macro-expansion=0" }  */
       4  
       5  #define INT16_MAX __INT16_MAX__
       6  #define UINT16_MAX ((INT16_MAX << 1) + 1)
       7  
       8  #define DIFF_MAX __PTRDIFF_MAX__
       9  #define SIZE_MAX __SIZE_MAX__
      10  
      11  typedef __INT16_TYPE__ int16_t;
      12  typedef __INT32_TYPE__ int32_t;
      13  typedef __SIZE_TYPE__  size_t;
      14  
      15  /* Verify errors for types.  */
      16  
      17  typedef char i8a1_d_m1_t[DIFF_MAX - 1];
      18  /* The following should also be diagnosed because the difference between
      19     &i8a1_dx[0] and &i8a1_dx[sizeof i8a1_dx] cannot be represented.
      20  typedef char i8a1_d_t[DIFF_MAX];
      21  */
      22  
      23  typedef char i8a1_d_p1_t[(size_t)DIFF_MAX + 1];    /* { dg-error "size .\[0-9\]+. of array .i8a1_d_p1_t. exceeds maximum object size .\[0-9\]+.|is too large" } */
      24  
      25  typedef char i8a1_s_t[SIZE_MAX];                   /* { dg-error "size .\[0-9\]+. of array .i8a1_s_t. exceeds maximum object size .\[0-9\]+.|is too large" } */
      26  
      27  typedef int16_t i16a_s_d2_t[SIZE_MAX / 2];         /* { dg-error "size .\[0-9\]+. of array .i16a_s_d2_t. exceeds maximum object size .\[0-9\]+." } */
      28  typedef int16_t i16a_s_d3_t[SIZE_MAX / 3];         /* { dg-error "size .\[0-9\]+. of array .i16a_s_d3_t. exceeds maximum object size .\[0-9\]+." } */
      29  typedef int16_t i16a_s_d4_m1_t[SIZE_MAX / 4 - 1];
      30  typedef int16_t i16a_s_d4_p1_t[SIZE_MAX / 4 + 1];  /* { dg-error "size .\[0-9\]+. of array .i16a_s_d4_p1_t. exceeds maximum object size .\[0-9\]+." } */
      31  
      32  /* The internal computation overflows the message doesn't show the object
      33     size (but GCC should compute the result and print it anyway).  */
      34  typedef int32_t i32a_s_d2_t[SIZE_MAX / 2];         /* { dg-error "size of array .i32a_s_d2_t. exceeds maximum object size .\[0-9\]+." } */
      35  typedef int32_t i32a_s_d3_t[SIZE_MAX / 3];         /* { dg-error "size of array .i32a_s_d3_t. exceeds maximum object size .\[0-9\]+." } */
      36  typedef int32_t i32a_s_d4_t[SIZE_MAX / 4];         /* { dg-error "size .\[0-9\]+. of array .i32a_s_d4_t. exceeds maximum object size .\[0-9\]+." } */
      37  
      38  
      39  /* Verify errors for objects.  */
      40  
      41  char i8a1_d_m1[DIFF_MAX - 1];
      42  /* The following should also be diagnosed because the difference between
      43     &i8a1_dx[0] and &i8a1_dx[sizeof i8a1_dx] cannot be represented.
      44  char i8a1_d[DIFF_MAX];
      45  */
      46  
      47  char i8a_d_p1[(size_t)DIFF_MAX + 1];    /* { dg-error "size .\[0-9\]+. of array .i8a_d_p1. exceeds maximum object size .\[0-9\]+.|is too large" } */
      48  
      49  char i8a_s[SIZE_MAX];                   /* { dg-error "size .\[0-9\]+. of array .i8a_s. exceeds maximum object size .\[0-9\]+.|is too large" } */
      50  
      51  int16_t i16a_s_d2[SIZE_MAX / 2];         /* { dg-error "size .\[0-9\]+. of array .i16a_s_d2. exceeds maximum object size .\[0-9\]+." } */
      52  int16_t i16a_s_d3[SIZE_MAX / 3];         /* { dg-error "size .\[0-9\]+. of array .i16a_s_d3. exceeds maximum object size .\[0-9\]+." } */
      53  int16_t i16a_sz_d4_m1[SIZE_MAX / 4 - 1];
      54  int16_t i16a_sz_d4_p1[SIZE_MAX / 4 + 1];  /* { dg-error "size .\[0-9\]+. of array .i16a_sz_d4_p1. exceeds maximum object size .\[0-9\]+." } */
      55  
      56  /* The internal computation overflows the message doesn't show the object
      57     size (but GCC should compute the result and print it anyway).  */
      58  int32_t i32a_s_d2[SIZE_MAX / 2];         /* { dg-error "size of array .i32a_s_d2. exceeds maximum object size .\[0-9\]+." } */
      59  int32_t i32a_s_d3[SIZE_MAX / 3];         /* { dg-error "size of array .i32a_s_d3. exceeds maximum object size .\[0-9\]+." } */
      60  int32_t i32a_s_d4[SIZE_MAX / 4];         /* { dg-error "size .\[0-9\]+. of array .i32a_s_d4. exceeds maximum object size .\[0-9\]+." } */