140     IntWrapper arr[2];  in testArrayInvalidation()  local
145     clang_analyzer_eval(arr[0].x == 0); // expected-warning{{UNKNOWN}}  in testArrayInvalidation()
146     clang_analyzer_eval(arr[1].x == 0); // expected-warning{{UNKNOWN}}  in testArrayInvalidation()
148     arr[0].x = &i;  in testArrayInvalidation()
149     arr[1].x = &j;  in testArrayInvalidation()
150     clang_analyzer_eval(*arr[0].x == 42); // expected-warning{{TRUE}}  in testArrayInvalidation()
151     clang_analyzer_eval(*arr[1].x == 42); // expected-warning{{TRUE}}  in testArrayInvalidation()
312       IntWrapper arr[2][2];  in testArrayInvalidation()  local
317       clang_analyzer_eval(arr[0][0].x == 0); // expected-warning{{UNKNOWN}}  in testArrayInvalidation()
318       clang_analyzer_eval(arr[1][1].x == 0); // expected-warning{{UNKNOWN}}  in testArrayInvalidation()
320       arr[0][0].x = &i;  in testArrayInvalidation()
321       arr[1][1].x = &j;  in testArrayInvalidation()
322       clang_analyzer_eval(*arr[0][0].x == 42); // expected-warning{{TRUE}}  in testArrayInvalidation()
323       clang_analyzer_eval(*arr[1][1].x == 42); // expected-warning{{TRUE}}  in testArrayInvalidation()