145
|
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\]+." } */
|