1 #include "analyzer-decls.h"
2 
3 struct coord
4 {
5   int x;
6   int y;
7 };
8 
test_1(void)9 void test_1 (void)
10 {
11   struct coord arr[16];
12 
13   arr[2].y = 4;
14   arr[3].x = 5;
15   arr[3].y = 6;
16   arr[4].x = 7;
17   arr[6].y = 8;
18   arr[8].x = 9;
19 
20   arr[7] = arr[3];
21 
22   __analyzer_eval (arr[7].x == 5); /* { dg-warning "TRUE" } */
23   __analyzer_eval (arr[7].y == 6); /* { dg-warning "TRUE" } */
24 
25   /* Make sure we don't touch the neighbors.  */
26   __analyzer_eval (arr[6].y == 8); /* { dg-warning "TRUE" } */
27   __analyzer_eval (arr[8].x == 9); /* { dg-warning "TRUE" } */
28 }
29