19   return 42;  in string_literal_init()
100   vals[0] = 42;  in testSymbolicInvalidation()
101   clang_analyzer_eval(vals[0] == 42); // expected-warning{{TRUE}}  in testSymbolicInvalidation()
104   clang_analyzer_eval(vals[0] == 42); // expected-warning{{UNKNOWN}}  in testSymbolicInvalidation()
112   vals[index] = 42;  in testConcreteInvalidation()
113   clang_analyzer_eval(vals[index] == 42); // expected-warning{{TRUE}}  in testConcreteInvalidation()
115   clang_analyzer_eval(vals[index] == 42); // expected-warning{{UNKNOWN}}  in testConcreteInvalidation()
130   vals[0].x = 42;  in testSymbolicInvalidationStruct()
131   clang_analyzer_eval(vals[0].x == 42); // expected-warning{{TRUE}}  in testSymbolicInvalidationStruct()
134   clang_analyzer_eval(vals[0].x == 42); // expected-warning{{UNKNOWN}}  in testSymbolicInvalidationStruct()
142   vals[index].x = 42;  in testConcreteInvalidationStruct()
143   clang_analyzer_eval(vals[index].x == 42); // expected-warning{{TRUE}}  in testConcreteInvalidationStruct()
145   clang_analyzer_eval(vals[index].x == 42); // expected-warning{{UNKNOWN}}  in testConcreteInvalidationStruct()
158   vals.a[0].x = 42;  in testSymbolicInvalidationDoubleStruct()
159   vals.b[0].x = 42;  in testSymbolicInvalidationDoubleStruct()
160   clang_analyzer_eval(vals.a[0].x == 42); // expected-warning{{TRUE}}  in testSymbolicInvalidationDoubleStruct()
161   clang_analyzer_eval(vals.b[0].x == 42); // expected-warning{{TRUE}}  in testSymbolicInvalidationDoubleStruct()
164   clang_analyzer_eval(vals.a[0].x == 42); // expected-warning{{UNKNOWN}}  in testSymbolicInvalidationDoubleStruct()
165   clang_analyzer_eval(vals.b[0].x == 42); // expected-warning{{TRUE}}  in testSymbolicInvalidationDoubleStruct()
173   vals.a[index].x = 42;  in testConcreteInvalidationDoubleStruct()
174   vals.b[index].x = 42;  in testConcreteInvalidationDoubleStruct()
175   clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{TRUE}}  in testConcreteInvalidationDoubleStruct()
176   clang_analyzer_eval(vals.b[index].x == 42); // expected-warning{{TRUE}}  in testConcreteInvalidationDoubleStruct()
179   clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}  in testConcreteInvalidationDoubleStruct()
180   clang_analyzer_eval(vals.b[index].x == 42); // expected-warning{{TRUE}}  in testConcreteInvalidationDoubleStruct()
200   vals.a[index].x = 42;  in testNonOverlappingStructFieldsSymbolicBase()
201   vals.a[index].y = 42;  in testNonOverlappingStructFieldsSymbolicBase()
202   clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{TRUE}}  in testNonOverlappingStructFieldsSymbolicBase()
203   clang_analyzer_eval(vals.a[index].y == 42); // expected-warning{{TRUE}}  in testNonOverlappingStructFieldsSymbolicBase()
205   vals.a[anotherIndex].x = 42;  in testNonOverlappingStructFieldsSymbolicBase()
206   clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}  in testNonOverlappingStructFieldsSymbolicBase()
207   clang_analyzer_eval(vals.a[index].y == 42); // expected-warning{{TRUE}}  in testNonOverlappingStructFieldsSymbolicBase()
216   vals[index].a[0].x = 42;  in testStructFieldChains()
217   vals[anotherIndex].a[1].y = 42;  in testStructFieldChains()
218   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}  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()
223   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}  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()
229   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{UNKNOWN}}  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()
241   vals[index].a[0].x = 42;  in testStructFieldChainsNested()
242   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}  in testStructFieldChainsNested()
245   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}  in testStructFieldChainsNested()
248   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{UNKNOWN}}  in testStructFieldChainsNested()
250   vals[index].a[0].x = 42;  in testStructFieldChainsNested()
251   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}  in testStructFieldChainsNested()
328   vals.a[index].x = 42;  in testMixSymbolicAndConcrete()
329   vals.a[0].y = 42;  in testMixSymbolicAndConcrete()
332   clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}  in testMixSymbolicAndConcrete()
334   clang_analyzer_eval(vals.a[0].y == 42); // expected-warning{{TRUE}}  in testMixSymbolicAndConcrete()
336   vals.a[anotherIndex].y = 42;  in testMixSymbolicAndConcrete()
339   clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}  in testMixSymbolicAndConcrete()
341   clang_analyzer_eval(vals.a[0].y == 42); // expected-warning{{UNKNOWN}}  in testMixSymbolicAndConcrete()
349   vals[index].a[0].x = 42;  in testFieldChainIsNotEnough()
350   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}  in testFieldChainIsNotEnough()
354   clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{UNKNOWN}}  in testFieldChainIsNotEnough()