|
111
|
1 /* PR middle-end/36902 Array bound warning with dead code after optimization */
|
|
|
2 /* { dg-do compile } */
|
|
|
3 /* { dg-options "-O2 -Warray-bounds -Wall -Wextra" } */
|
|
|
4 typedef unsigned char __u8;
|
|
|
5 typedef unsigned short __u16;
|
|
|
6
|
|
|
7 static inline unsigned char *
|
|
|
8 foo(unsigned char * to, const unsigned char * from, int n)
|
|
|
9 {
|
|
|
10 switch ( n )
|
|
|
11 {
|
|
|
12 case 3:
|
|
|
13 *to = *from;
|
|
|
14 break;
|
|
|
15 case 5:
|
|
|
16 to[4] = from [4];
|
|
|
17 break;
|
|
|
18 }
|
|
|
19 return to;
|
|
|
20 }
|
|
|
21
|
|
|
22 struct {
|
|
|
23 int size_of_select;
|
|
|
24 unsigned char pcr_select[4];
|
|
|
25 } sel;
|
|
|
26
|
|
|
27 int bar(void)
|
|
|
28 {
|
|
|
29 static unsigned char buf[64];
|
|
|
30
|
|
|
31 sel.size_of_select = 3;
|
|
|
32 foo(buf, sel.pcr_select, sel.size_of_select);
|
|
|
33
|
|
|
34 return 1;
|
|
|
35 }
|
|
|
36
|
|
|
37
|
|
|
38 static inline unsigned char *
|
|
|
39 foo2(unsigned char * to, const unsigned char * from, int n)
|
|
|
40 {
|
|
|
41 switch ( n )
|
|
|
42 {
|
|
|
43 case 3:
|
|
|
44 *to = *from;
|
|
|
45 break;
|
|
|
46 case 5:
|
|
|
47 to[4] = from [4]; /* { dg-warning "array subscript is above array bounds" "" { xfail *-*-* } } */
|
|
|
48 break;
|
|
|
49 }
|
|
|
50 return to;
|
|
|
51 }
|
|
|
52
|
|
|
53 int baz(void)
|
|
|
54 {
|
|
|
55 static unsigned char buf[64];
|
|
|
56
|
|
|
57 sel.size_of_select = 5;
|
|
|
58 foo2(buf, sel.pcr_select, sel.size_of_select);
|
|
|
59
|
|
|
60 return 1;
|
|
|
61 }
|
