197 int testNonOverlappingStructFieldsSymbolicBase(int index, int anotherIndex) {  in testNonOverlappingStructFieldsSymbolicBase()  argument
205   vals.a[anotherIndex].x = 42;  in testNonOverlappingStructFieldsSymbolicBase()
213 int testStructFieldChains(int index, int anotherIndex) {  in testStructFieldChains()  argument
217   vals[anotherIndex].a[1].y = 42;  in testStructFieldChains()
219   clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}}  in testStructFieldChains()
222   vals[anotherIndex].b[1].x = 42;  in testStructFieldChains()
224   clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}}  in testStructFieldChains()
225   clang_analyzer_eval(vals[anotherIndex].b[1].x == 42); // expected-warning{{TRUE}}  in testStructFieldChains()
228   vals[index].a[anotherIndex].x = 42;  in testStructFieldChains()
230   clang_analyzer_eval(vals[anotherIndex].a[0].x == 42); // expected-warning{{UNKNOWN}}  in testStructFieldChains()
231   clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}}  in testStructFieldChains()
232   clang_analyzer_eval(vals[anotherIndex].b[1].x == 42); // expected-warning{{TRUE}}  in testStructFieldChains()
238 int testStructFieldChainsNested(int index, int anotherIndex) {  in testStructFieldChainsNested()  argument
325 int testMixSymbolicAndConcrete(int index, int anotherIndex) {  in testMixSymbolicAndConcrete()  argument
336   vals.a[anotherIndex].y = 42;  in testMixSymbolicAndConcrete()