Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/pr51721.c @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* PR tree-optimization/51721 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -Warray-bounds" } */
4
5 static int a[10], b[10], c[10], d[10];
6
7 unsigned int
8 f (unsigned int v)
9 {
10 return v == 17 ? 11 : v;
11 }
12
13 unsigned int
14 g (unsigned int v)
15 {
16 return v == 17 ? 17 : v;
17 }
18
19 void
20 t (unsigned int s)
21 {
22 if (s >> 1 == 0)
23 {
24 a[f (s)] = 0; /* { dg-bogus "array subscript is above array bounds" } */
25 a[f (s)] = 0; /* { dg-bogus "array subscript is above array bounds" } */
26 b[f (s)] = 0; /* { dg-bogus "array subscript is above array bounds" } */
27 c[g (s)] = 0; /* { dg-bogus "array subscript is above array bounds" } */
28 c[g (s)] = 0; /* { dg-bogus "array subscript is above array bounds" } */
29 d[f (s)] = 0; /* { dg-bogus "array subscript is above array bounds" } */
30 }
31 }