Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/Warray-bounds-53.c @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* PR middle-end/92341 - missing -Warray-bounds indexing past the end
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 of a compound literal
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 { dg-do compile }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 { dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 #include "range.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 #define INT_MAX __INT_MAX__
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 #define INT_MIN (-__INT_MAX__ - 1)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 void sink (int, ...);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 #define T(...) sink (__LINE__, (__VA_ARGS__))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 void direct_idx_cst (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 T ((int[]){ }[-1]); // { dg-warning "array subscript -1 is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 T ((int[]){ }[0]); // { dg-warning "array subscript 0 is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 T ((int[]){ }[1]); // { dg-warning "array subscript 1 is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 T ((int[]){ 1 }[-1]); // { dg-warning "array subscript -1 is below array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 T ((int[]){ 1 }[0]);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 T ((int[]){ 1 }[1]); // { dg-warning "array subscript 1 is above array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 T ((int[]){ 1 }[INT_MIN]); // { dg-warning "array subscript -\[0-9\]+ is below array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 T ((int[]){ 1 }[INT_MAX]); // { dg-warning "array subscript \[0-9\]+ is above array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 T ((int[]){ 1 }[SIZE_MAX]); // { dg-warning "array subscript \[0-9\]+ is above array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 void direct_idx_var (int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 T ((char[]){ }[i]); // { dg-warning "array subscript i is outside array bounds of 'char\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 T ((int[]){ }[i]); // { dg-warning "array subscript i is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 void direct_idx_range (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 ptrdiff_t i = SR (-2, -1);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 T ((int[]){ 1 }[i]); // { dg-warning "array subscript \[ \n\r]+ is outside array bounds of 'int\\\[0]'" "pr?????" { xfail *-*-* } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 #undef T
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 #define T(idx, ...) do { \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 int *p = (__VA_ARGS__); \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 sink (p[idx]); \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 } while (0)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 void ptr_idx_cst (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 T (-1, (int[]){ }); // { dg-warning "array subscript -1 is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 T ( 0, (int[]){ }); // { dg-warning "array subscript 0 is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 T (+1, (int[]){ }); // { dg-warning "array subscript 1 is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 T (-1, (int[]){ 1 }); // { dg-warning "array subscript -1 is outside array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 T ( 0, (int[]){ 1 });
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 T (+1, (int[]){ 1 }); // { dg-warning "array subscript 1 is outside array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 T (INT_MIN, (int[]){ 1 }); // { dg-warning "array subscript -\[0-9\]+ is outside array bounds of 'int\\\[1]'" "pr92381" { xfail ilp32 } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 T (INT_MAX, (int[]){ 1 }); // { dg-warning "array subscript \[0-9\]+ is outside array bounds of 'int\\\[1]'" "pr92381" { xfail ilp32 } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 // { dg-warning "array subscript -\[0-9\]+ is outside array bounds of 'int\\\[1]'" "" { target ilp32 } .-1 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 T (SIZE_MAX, (int[]){ 1 }); // { dg-warning "array subscript -?\[0-9\]+ is outside array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 void ptr_idx_var (int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 T (i, (int[]){ }); // { dg-warning "array subscript \[^\n\r\]+ is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 T (i, (int[]){ 1 });
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 T (i, (int[]){ i, 1 });
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 void ptr_idx_range (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 ptrdiff_t i = SR (-2, -1);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 T (i, (int[]){ }); // { dg-warning "array subscript \\\[-2, -1] is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 T (i, (int[]){ 1 }); // { dg-warning "array subscript \\\[-2, -1] is outside array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 T (i, (int[]){ i }); // { dg-warning "array subscript \\\[-2, -1] is outside array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 i = SR (0, 1);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 T (i, (int[]){ }); // { dg-warning "array subscript \\\[0, 1] is outside array bounds of 'int\\\[0]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 T (i, (int[]){ 1 });
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 i = SR (1, 2);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 T (i, (int[]){ 1 }); // { dg-warning "array subscript \\\[1, 2] is outside array bounds of 'int\\\[1]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 i = SR (2, 3);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 T (i, (int[]){ 1, 2, 3 });
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 i = SR (3, 4);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 T (i, (int[]){ 2, 3, 4 }); // { dg-warning "array subscript \\\[3, 4] is outside array bounds of 'int\\\[3]'" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 }