Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/Warray-bounds-36.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 tree-optimization/84053] missing -Warray-bounds accessing
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 a local array across inlined function boundaries
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" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 static int deref (const int *p, int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 return p[i]; // { dg-warning "array subscript \\\[3, \[0-9\]+] is outside array bounds of .int\\\[2\\\]." "ilp32" { xfail ilp32 } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 // There should also be an inlining context here. PR 86650 tracks
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 // its absence.
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 static int deref_3_plus (const int *p, int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 if (i < 3)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 i = 3;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 return deref (p, i);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 int deref_a (int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 int a[] = { 2, 3 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 return deref_3_plus (a, i);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 }