1 #include "analyzer-decls.h" 2 3 struct coord 4 { 5 int x; 6 int y; 7 }; 8 test_1(void)9void 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