Lines Matching refs:vals
98 int vals[10];
100 vals[0] = 42;
101 clang_analyzer_eval(vals[0] == 42); // expected-warning{{TRUE}}
103 vals[index] = randomInt();
104 clang_analyzer_eval(vals[0] == 42); // expected-warning{{UNKNOWN}}
106 return vals[index]; // no-warning
110 int vals[10];
112 vals[index] = 42;
113 clang_analyzer_eval(vals[index] == 42); // expected-warning{{TRUE}}
114 vals[0] = randomInt();
115 clang_analyzer_eval(vals[index] == 42); // expected-warning{{UNKNOWN}}
117 return vals[0]; // no-warning
128 S vals[10];
130 vals[0].x = 42;
131 clang_analyzer_eval(vals[0].x == 42); // expected-warning{{TRUE}}
133 vals[index] = makeS();
134 clang_analyzer_eval(vals[0].x == 42); // expected-warning{{UNKNOWN}}
136 return vals[index].x; // no-warning
140 S vals[10];
142 vals[index].x = 42;
143 clang_analyzer_eval(vals[index].x == 42); // expected-warning{{TRUE}}
144 vals[0] = makeS();
145 clang_analyzer_eval(vals[index].x == 42); // expected-warning{{UNKNOWN}}
147 return vals[0].x; // no-warning
156 SS vals;
158 vals.a[0].x = 42;
159 vals.b[0].x = 42;
160 clang_analyzer_eval(vals.a[0].x == 42); // expected-warning{{TRUE}}
161 clang_analyzer_eval(vals.b[0].x == 42); // expected-warning{{TRUE}}
163 vals.a[index] = makeS();
164 clang_analyzer_eval(vals.a[0].x == 42); // expected-warning{{UNKNOWN}}
165 clang_analyzer_eval(vals.b[0].x == 42); // expected-warning{{TRUE}}
167 return vals.b[index].x; // no-warning
171 SS vals;
173 vals.a[index].x = 42;
174 vals.b[index].x = 42;
175 clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{TRUE}}
176 clang_analyzer_eval(vals.b[index].x == 42); // expected-warning{{TRUE}}
178 vals.a[0] = makeS();
179 clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}
180 clang_analyzer_eval(vals.b[index].x == 42); // expected-warning{{TRUE}}
182 return vals.b[0].x; // no-warning
198 SS vals;
200 vals.a[index].x = 42;
201 vals.a[index].y = 42;
202 clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{TRUE}}
203 clang_analyzer_eval(vals.a[index].y == 42); // expected-warning{{TRUE}}
205 vals.a[anotherIndex].x = 42;
206 clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}
207 clang_analyzer_eval(vals.a[index].y == 42); // expected-warning{{TRUE}}
210 return vals.a[index].z; // no-warning
214 SS vals[4];
216 vals[index].a[0].x = 42;
217 vals[anotherIndex].a[1].y = 42;
218 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}
219 clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}}
222 vals[anotherIndex].b[1].x = 42;
223 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}
224 clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}}
225 clang_analyzer_eval(vals[anotherIndex].b[1].x == 42); // expected-warning{{TRUE}}
228 vals[index].a[anotherIndex].x = 42;
229 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{UNKNOWN}}
230 clang_analyzer_eval(vals[anotherIndex].a[0].x == 42); // expected-warning{{UNKNOWN}}
231 clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}}
232 clang_analyzer_eval(vals[anotherIndex].b[1].x == 42); // expected-warning{{TRUE}}
235 return vals[index].a[0].z; // no-warning
239 SS vals[4];
241 vals[index].a[0].x = 42;
242 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}
244 vals[index].b[0] = makeS();
245 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}
247 vals[index].a[0] = makeS();
248 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{UNKNOWN}}
250 vals[index].a[0].x = 42;
251 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}
326 SS vals;
328 vals.a[index].x = 42;
329 vals.a[0].y = 42;
332 clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}
334 clang_analyzer_eval(vals.a[0].y == 42); // expected-warning{{TRUE}}
336 vals.a[anotherIndex].y = 42;
339 clang_analyzer_eval(vals.a[index].x == 42); // expected-warning{{UNKNOWN}}
341 clang_analyzer_eval(vals.a[0].y == 42); // expected-warning{{UNKNOWN}}
343 return vals.a[0].x; // no-warning
347 SS vals[4];
349 vals[index].a[0].x = 42;
350 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{TRUE}}
352 vals[index].a[1] = makeS();
354 clang_analyzer_eval(vals[index].a[0].x == 42); // expected-warning{{UNKNOWN}}
