Lines Matching refs:vals
98 int vals[10]; in testSymbolicInvalidation() local
100 vals[0] = 42; in testSymbolicInvalidation()
101 clang_analyzer_eval(vals[0] == 42); // expected-warning{{TRUE}} in testSymbolicInvalidation()
103 vals[index] = randomInt(); in testSymbolicInvalidation()
104 clang_analyzer_eval(vals[0] == 42); // expected-warning{{UNKNOWN}} in testSymbolicInvalidation()
106 return vals[index]; // no-warning in testSymbolicInvalidation()
110 int vals[10]; in testConcreteInvalidation() local
112 vals[index] = 42; in testConcreteInvalidation()
113 clang_analyzer_eval(vals[index] == 42); // expected-warning{{TRUE}} in testConcreteInvalidation()
114 vals[0] = randomInt(); in testConcreteInvalidation()
115 clang_analyzer_eval(vals[index] == 42); // expected-warning{{UNKNOWN}} in testConcreteInvalidation()
117 return vals[0]; // no-warning in testConcreteInvalidation()
128 S vals[10]; in testSymbolicInvalidationStruct() local
130 vals[0].x = 42; in testSymbolicInvalidationStruct()
131 clang_analyzer_eval(vals[0].x == 42); // expected-warning{{TRUE}} in testSymbolicInvalidationStruct()
133 vals[index] = makeS(); in testSymbolicInvalidationStruct()
134 clang_analyzer_eval(vals[0].x == 42); // expected-warning{{UNKNOWN}} in testSymbolicInvalidationStruct()
136 return vals[index].x; // no-warning in testSymbolicInvalidationStruct()
140 S vals[10]; in testConcreteInvalidationStruct() local
142 vals[index].x = 42; in testConcreteInvalidationStruct()
143 clang_analyzer_eval(vals[index].x == 42); // expected-warning{{TRUE}} in testConcreteInvalidationStruct()
144 vals[0] = makeS(); in testConcreteInvalidationStruct()
145 clang_analyzer_eval(vals[index].x == 42); // expected-warning{{UNKNOWN}} in testConcreteInvalidationStruct()
147 return vals[0].x; // no-warning in testConcreteInvalidationStruct()
156 SS vals; in testSymbolicInvalidationDoubleStruct() local
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()
163 vals.a[index] = makeS(); 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()
167 return vals.b[index].x; // no-warning in testSymbolicInvalidationDoubleStruct()
171 SS vals; in testConcreteInvalidationDoubleStruct() local
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()
178 vals.a[0] = makeS(); 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()
182 return vals.b[0].x; // no-warning in testConcreteInvalidationDoubleStruct()
198 SS vals; in testNonOverlappingStructFieldsSymbolicBase() local
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()
210 return vals.a[index].z; // no-warning in testNonOverlappingStructFieldsSymbolicBase()
214 SS vals[4]; in testStructFieldChains() local
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()
235 return vals[index].a[0].z; // no-warning in testStructFieldChains()
239 SS vals[4]; in testStructFieldChainsNested() local
241 vals[index].a[0].x = 42; in testStructFieldChainsNested()
242 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}} in testStructFieldChainsNested()
244 vals[index].b[0] = makeS(); in testStructFieldChainsNested()
245 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}} in testStructFieldChainsNested()
247 vals[index].a[0] = makeS(); 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()
326 SS vals; in testMixSymbolicAndConcrete() local
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()
343 return vals.a[0].x; // no-warning in testMixSymbolicAndConcrete()
347 SS vals[4]; in testFieldChainIsNotEnough() local
349 vals[index].a[0].x = 42; in testFieldChainIsNotEnough()
350 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}} in testFieldChainIsNotEnough()
352 vals[index].a[1] = makeS(); in testFieldChainIsNotEnough()
354 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{UNKNOWN}} in testFieldChainIsNotEnough()