Lines Matching full:warning
28 clang_analyzer_eval(a0.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
29 clang_analyzer_eval(a0.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
30 clang_analyzer_eval(a0.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
31 clang_analyzer_eval(a0.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
32 clang_analyzer_eval(a0.s2 == 0); // expected-warning{{UNKNOWN}}
33 free(a0.s2); // no warning
42 clang_analyzer_eval(a1.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
43 clang_analyzer_eval(a1.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
44 clang_analyzer_eval(a1.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
45 clang_analyzer_eval(a1.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
46 clang_analyzer_eval(a1.s2 == 0); // expected-warning{{UNKNOWN}}
47 free(a1.s2); // no warning
56 clang_analyzer_eval(a2.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
57 clang_analyzer_eval(a2.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
58 clang_analyzer_eval(a2.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
59 clang_analyzer_eval(a2.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
60 clang_analyzer_eval(a2.s2 == 0); // expected-warning{{UNKNOWN}}
61 free(a2.s2); // no warning
71 clang_analyzer_eval(a3.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
72 clang_analyzer_eval(dest[0] == 'a'); // expected-warning{{UNKNOWN}}
73 clang_analyzer_eval(a3.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
74 clang_analyzer_eval(dest[1] == 'b'); // expected-warning{{UNKNOWN}}
75 clang_analyzer_eval(a3.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
76 clang_analyzer_eval(dest[2] == 'c'); // expected-warning{{UNKNOWN}}
77 clang_analyzer_eval(a3.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
78 clang_analyzer_eval(dest[3] == 'd'); // expected-warning{{UNKNOWN}}
79 clang_analyzer_eval(a3.s2 == 0); // expected-warning{{UNKNOWN}}
80 free(a3.s2); // no warning
96 clang_analyzer_eval(b0.a.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
97 clang_analyzer_eval(dest[0] == 'a'); // expected-warning{{UNKNOWN}}
98 clang_analyzer_eval(b0.a.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
99 clang_analyzer_eval(dest[1] == 'b'); // expected-warning{{UNKNOWN}}
100 clang_analyzer_eval(b0.a.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
101 clang_analyzer_eval(dest[2] == 'c'); // expected-warning{{UNKNOWN}}
102 clang_analyzer_eval(b0.a.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
103 clang_analyzer_eval(dest[3] == 'd'); // expected-warning{{UNKNOWN}}
104 clang_analyzer_eval(b0.s2 == 0); // expected-warning{{UNKNOWN}}
105 free(b0.a.s2); // no warning
106 free(b0.s2); // no warning
116 return 0; // expected-warning{{Potential leak of memory pointed to by 'a0.s2'}}
124 return 0; // expected-warning{{Potential leak of memory pointed to by 'a1.s2'}}
132 return 0; // expected-warning{{Potential leak of memory pointed to by 'a2.s2'}}
141 return 0; // expected-warning{{Potential leak of memory pointed to by 'a3.s2'}}
151 free(b0.a.s2); // expected-warning{{Potential leak of memory pointed to by 'b0.s2'}}
162 free(b0.s2); // expected-warning{{Potential leak of memory pointed to by 'b0.a.s2'}}
181 clang_analyzer_eval(x[0] == 1); // expected-warning{{UNKNOWN}}
182 clang_analyzer_eval(x[1] == 2); // expected-warning{{UNKNOWN}}
183 clang_analyzer_eval(c0.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
184 clang_analyzer_eval(c0.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
185 clang_analyzer_eval(c0.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
186 clang_analyzer_eval(c0.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
187 free(c0.s2); // no-warning
202 clang_analyzer_eval(d0.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
203 clang_analyzer_eval(d0.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
204 clang_analyzer_eval(d0.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
205 clang_analyzer_eval(d0.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
206 clang_analyzer_eval(d0.s2 == 0); // expected-warning{{UNKNOWN}}
207 free(d0.s2); // no warning
227 clang_analyzer_eval(E0.s1[0].a == 'a'); // expected-warning{{UNKNOWN}}
228 clang_analyzer_eval(E0.s1[0].b == 'b'); // expected-warning{{UNKNOWN}}
229 clang_analyzer_eval(E0.s1[1].a == 'c'); // expected-warning{{UNKNOWN}}
230 clang_analyzer_eval(E0.s1[1].b == 'd'); // expected-warning{{UNKNOWN}}
231 clang_analyzer_eval(E0.s2 == 0); // expected-warning{{UNKNOWN}}
232 free(E0.s2); // no warning
243 clang_analyzer_eval(a15.s1[0] == 'a'); // expected-warning{{UNKNOWN}}
244 clang_analyzer_eval(a15.s1[1] == 'b'); // expected-warning{{UNKNOWN}}
245 clang_analyzer_eval(a15.s1[2] == 'c'); // expected-warning{{UNKNOWN}}
246 clang_analyzer_eval(a15.s1[3] == 'd'); // expected-warning{{UNKNOWN}}
247 clang_analyzer_eval(a15.s2 == 0); // expected-warning{{UNKNOWN}}
248 free(a15.s2); // no warning
264 clang_analyzer_eval(*(int*)(&g0.s1[0]) == 'a'); // expected-warning{{UNKNOWN}}\
265 expected-warning{{Potential leak of memory pointed to by 'g0.s2'}}
266 clang_analyzer_eval(*(int*)(&g0.s1[1]) == 'b'); // expected-warning{{UNKNOWN}}
267 clang_analyzer_eval(*(int*)(&g0.s1[2]) == 'c'); // expected-warning{{UNKNOWN}}
268 clang_analyzer_eval(*(int*)(&g0.s1[3]) == 'd'); // expected-warning{{UNKNOWN}}
269 clang_analyzer_eval(g0.s2 == 0); // expected-warning{{UNKNOWN}}
270 free(g0.s2); // no warning
285 clang_analyzer_eval(h0.s1[0] == 'a'); // expected-warning{{UNKNOWN}}\
286 expected-warning{{Potential leak of memory pointed to by 'h0.s2'}}
287 clang_analyzer_eval(h0.s2 == 0); // expected-warning{{UNKNOWN}}
288 free(h0.s2); // no warning
307 clang_analyzer_eval(i18.s1[0] == 1); // expected-warning{{UNKNOWN}}\
308 expected-warning{{Potential leak of memory pointed to by 'i18.s2'}}
309 clang_analyzer_eval(i18.s1[1] == 2); // expected-warning{{UNKNOWN}}
310 clang_analyzer_eval(i18.s1[2] == 3); // expected-warning{{UNKNOWN}}
311 clang_analyzer_eval(i18.s1[3] == 4); // expected-warning{{UNKNOWN}}
312 clang_analyzer_eval(i18.i == 10); // expected-warning{{UNKNOWN}}
313 clang_analyzer_eval(i18.j == 11); // expected-warning{{UNKNOWN}}
324 clang_analyzer_eval(i181.s1[0] == 1); // expected-warning{{UNKNOWN}}\
325 expected-warning{{Potential leak of memory pointed to by 'i181.s2'}}
326 clang_analyzer_eval(i181.s1[1] == 2); // expected-warning{{UNKNOWN}}
327 clang_analyzer_eval(i181.s1[2] == 3); // expected-warning{{UNKNOWN}}
328 clang_analyzer_eval(i181.s1[3] == 4); // expected-warning{{UNKNOWN}}
329 clang_analyzer_eval(i181.i == 10); // expected-warning{{UNKNOWN}}
330 clang_analyzer_eval(i181.j == 11); // expected-warning{{UNKNOWN}}
353 clang_analyzer_eval(J0.s1[0].s1[0] == 1); // expected-warning{{UNKNOWN}}\
354 expected-warning{{Potential leak of memory pointed to by field 's2'}}\
355 expected-warning{{Potential leak of memory pointed to by 'J0.s2'}}
356 clang_analyzer_eval(J0.s1[0].s1[1] == 2); // expected-warning{{UNKNOWN}}
357 clang_analyzer_eval(J0.s1[1].s1[0] == 3); // expected-warning{{UNKNOWN}}
358 clang_analyzer_eval(J0.s1[1].s1[1] == 4); // expected-warning{{UNKNOWN}}
359 clang_analyzer_eval(J0.s1[2].s1[0] == 5); // expected-warning{{UNKNOWN}}
360 clang_analyzer_eval(J0.s1[2].s1[1] == 6); // expected-warning{{UNKNOWN}}
361 clang_analyzer_eval(J0.s1[i].s1[0] == 5); // expected-warning{{UNKNOWN}}
362 clang_analyzer_eval(J0.s1[i].s1[1] == 6); // expected-warning{{UNKNOWN}}
363 // FIXME: memory leak warning for J0.s2 should be emitted here instead of after memcpy call.
364 return 0; // no warning
383 clang_analyzer_eval(a20[0].s1[0] == 1); // expected-warning{{UNKNOWN}}
384 clang_analyzer_eval(a20[0].s1[1] == 1); // expected-warning{{UNKNOWN}}
385 clang_analyzer_eval(a20[0].s1[2] == 1); // expected-warning{{UNKNOWN}}
386 clang_analyzer_eval(a20[0].s1[3] == 1); // expected-warning{{UNKNOWN}}
387 clang_analyzer_eval(a20[0].s2 == 0); // expected-warning{{UNKNOWN}}
388 clang_analyzer_eval(a20[1].s1[0] == 1); // expected-warning{{UNKNOWN}}
389 clang_analyzer_eval(a20[1].s1[1] == 1); // expected-warning{{UNKNOWN}}
390 clang_analyzer_eval(a20[1].s1[2] == 1); // expected-warning{{UNKNOWN}}
391 clang_analyzer_eval(a20[1].s1[3] == 1); // expected-warning{{UNKNOWN}}
392 clang_analyzer_eval(a20[1].s2 == 0); // expected-warning{{UNKNOWN}}
393 clang_analyzer_eval(a20[i].s1[0] == 1); // expected-warning{{UNKNOWN}}
394 clang_analyzer_eval(a20[i].s1[1] == 1); // expected-warning{{UNKNOWN}}
395 clang_analyzer_eval(a20[i].s1[2] == 1); // expected-warning{{UNKNOWN}}
396 clang_analyzer_eval(a20[i].s1[3] == 1); // expected-warning{{UNKNOWN}}
397 clang_analyzer_eval(a20[i].s2 == 0); // expected-warning{{UNKNOWN}}\
398 expected-warning{{Potential leak of memory pointed to by 'a20'}}
423 clang_analyzer_eval(a21[0].s1[0] == 1); // expected-warning{{UNKNOWN}}
424 clang_analyzer_eval(a21[0].s1[1] == 1); // expected-warning{{UNKNOWN}}
425 clang_analyzer_eval(a21[0].s1[2] == 1); // expected-warning{{UNKNOWN}}
426 clang_analyzer_eval(a21[0].s1[3] == 1); // expected-warning{{UNKNOWN}}
427 clang_analyzer_eval(a21[0].s2 == 0); // expected-warning{{UNKNOWN}}
428 clang_analyzer_eval(a21[1].s1[0] == 1); // expected-warning{{UNKNOWN}}
429 clang_analyzer_eval(a21[1].s1[1] == 1); // expected-warning{{UNKNOWN}}
430 clang_analyzer_eval(a21[1].s1[2] == 1); // expected-warning{{UNKNOWN}}
431 clang_analyzer_eval(a21[1].s1[3] == 1); // expected-warning{{UNKNOWN}}
432 clang_analyzer_eval(a21[1].s2 == 0); // expected-warning{{UNKNOWN}}
433 clang_analyzer_eval(a21[i].s1[0] == 1); // expected-warning{{UNKNOWN}}
434 clang_analyzer_eval(a21[i].s1[1] == 1); // expected-warning{{UNKNOWN}}
435 clang_analyzer_eval(a21[i].s1[2] == 1); // expected-warning{{UNKNOWN}}
436 clang_analyzer_eval(a21[i].s1[3] == 1); // expected-warning{{UNKNOWN}}
437 clang_analyzer_eval(a21[i].s2 == 0); // expected-warning{{UNKNOWN}}\
438 expected-warning{{Potential leak of memory pointed to by 'a21'}}
460 clang_analyzer_eval(m24->s3[0] == 1); // expected-warning{{UNKNOWN}}
461 clang_analyzer_eval(m24->s3[1] == 1); // expected-warning{{UNKNOWN}}
462 clang_analyzer_eval(m24->s3[2] == 1); // expected-warning{{UNKNOWN}}
463 clang_analyzer_eval(m24->s3[3] == 1); // expected-warning{{UNKNOWN}}
464 clang_analyzer_eval(l24.s1[0] == 1); // expected-warning{{UNKNOWN}}
465 clang_analyzer_eval(l24.s1[1] == 1); // expected-warning{{UNKNOWN}}
466 warning{{UNKNOWN}}
467 clang_analyzer_eval(l24.s1[3] == 1); // expected-warning{{UNKNOWN}}\
468 expected-warning{{Potential leak of memory pointed to by field 's4'}}
489 clang_analyzer_eval(m->s3[0] == 1); // expected-warning{{UNKNOWN}}
490 clang_analyzer_eval(m->s3[1] == 1); // expected-warning{{UNKNOWN}}
491 clang_analyzer_eval(m->s3[2] == 1); // expected-warning{{UNKNOWN}}
492 clang_analyzer_eval(m->s3[3] == 1); // expected-warning{{UNKNOWN}}
493 clang_analyzer_eval(m->s3[i] == 1); // expected-warning{{UNKNOWN}}
494 clang_analyzer_eval(m->s3[j] == 1); // expected-warning{{UNKNOWN}}
495 clang_analyzer_eval(l->s1[0] == 1); // expected-warning{{UNKNOWN}}
496 clang_analyzer_eval(l->s1[1] == 1); // expected-warning{{UNKNOWN}}
497 clang_analyzer_eval(l->s1[2] == 1); // expected-warning{{UNKNOWN}}
498 clang_analyzer_eval(l->s1[3] == 1); // expected-warning{{UNKNOWN}}
499 clang_analyzer_eval(l->s1[i] == 1); // expected-warning{{FALSE}}
500 clang_analyzer_eval(l->s1[j] == 1); // expected-warning{{UNKNOWN}}
510 clang_analyzer_eval(a26.s1[0] == 1); // expected-warning{{UNKNOWN}}
511 clang_analyzer_eval(a26.s1[1] == 1); // expected-warning{{UNKNOWN}}
512 clang_analyzer_eval(a26.s1[2] == 1); // expected-warning{{UNKNOWN}}
513 clang_analyzer_eval(a26.s1[3] == 1); // expected-warning{{UNKNOWN}}\
514 expected-warning{{Potential leak of memory pointed to by 'a26.s2'}}
524 clang_analyzer_eval(a261.s1[0] == 1); // expected-warning{{UNKNOWN}}
525 clang_analyzer_eval(a261.s1[1] == 1); // expected-warning{{UNKNOWN}}
526 clang_analyzer_eval(a261.s1[2] == 1); // expected-warning{{UNKNOWN}}
527 clang_analyzer_eval(a261.s1[3] == 1); // expected-warning{{UNKNOWN}}\
528 expected-warning{{Potential leak of memory pointed to by 'a261.s2'}}
538 clang_analyzer_eval(a262.s1[0] == 1); // expected-warning{{UNKNOWN}}\
539 expected-warning{{Potential leak of memory pointed to by 'a262.s2'}}
540 clang_analyzer_eval(a262.s1[1] == 1); // expected-warning{{UNKNOWN}}
541 clang_analyzer_eval(a262.s1[2] == 1); // expected-warning{{UNKNOWN}}
542 clang_analyzer_eval(a262.s1[3] == 1); // expected-warning{{UNKNOWN}}
557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}}
558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}}
559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}}
560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}}
561 clang_analyzer_eval(x263.s2 == 0); // expected-warning{{UNKNOWN}}
562 return 0; // expected-warning{{Potential leak of memory pointed to by 'x263.s2'}}
573 clang_analyzer_eval(m27.s3[0] == 1); // expected-warning{{UNKNOWN}}
574 clang_analyzer_eval(m27.s3[1] == 1); // expected-warning{{UNKNOWN}}
575 clang_analyzer_eval(m27.s3[2] == 1); // expected-warning{{UNKNOWN}}
576 clang_analyzer_eval(m27.s3[3] == 1); // expected-warning{{UNKNOWN}}
577 clang_analyzer_eval(m27.s3[i] == 1); // expected-warning{{UNKNOWN}}\
578 expected-warning{{Potential leak of memory pointed to by 'm27.s4'}}
590 clang_analyzer_eval(m28[0].s3[0] == 1); // expected-warning{{UNKNOWN}}
591 clang_analyzer_eval(m28[0].s3[1] == 1); // expected-warning{{UNKNOWN}}
592 clang_analyzer_eval(m28[0].s3[2] == 1); // expected-warning{{UNKNOWN}}
593 clang_analyzer_eval(m28[0].s3[3] == 1); // expected-warning{{UNKNOWN}}
594 clang_analyzer_eval(m28[1].s3[0] == 1); // expected-warning{{UNKNOWN}}
595 clang_analyzer_eval(m28[1].s3[1] == 1); // expected-warning{{UNKNOWN}}
596 clang_analyzer_eval(m28[1].s3[2] == 1); // expected-warning{{UNKNOWN}}
597 clang_analyzer_eval(m28[1].s3[3] == 1); // expected-warning{{UNKNOWN}}
598 clang_analyzer_eval(m28[i].s3[0] == 1); // expected-warning{{UNKNOWN}}
599 clang_analyzer_eval(m28[i].s3[1] == 1); // expected-warning{{UNKNOWN}}
600 clang_analyzer_eval(m28[i].s3[2] == 1); // expected-warning{{UNKNOWN}}
601 clang_analyzer_eval(m28[i].s3[3] == 1); // expected-warning{{UNKNOWN}}
602 clang_analyzer_eval(m28[j].s3[k] == 1); // expected-warning{{UNKNOWN}}
603 clang_analyzer_eval(l28->s1[l] == 2); // expected-warning{{UNKNOWN}}
615 clang_analyzer_eval(m29[0].s3[0] == 1); // expected-warning{{UNKNOWN}}
616 clang_analyzer_eval(m29[0].s3[1] == 1); // expected-warning{{UNKNOWN}}
617 clang_analyzer_eval(m29[0].s3[2] == 1); // expected-warning{{UNKNOWN}}
618 clang_analyzer_eval(m29[0].s3[3] == 1); // expected-warning{{UNKNOWN}}
619 clang_analyzer_eval(m29[1].s3[0] == 1); // expected-warning{{UNKNOWN}}
620 clang_analyzer_eval(m29[1].s3[1] == 1); // expected-warning{{UNKNOWN}}
621 clang_analyzer_eval(m29[1].s3[2] == 1); // expected-warning{{UNKNOWN}}
622 clang_analyzer_eval(m29[1].s3[3] == 1); // expected-warning{{UNKNOWN}}
623 clang_analyzer_eval(m29[i].s3[0] == 1); // expected-warning{{UNKNOWN}}
624 clang_analyzer_eval(m29[i].s3[1] == 1); // expected-warning{{UNKNOWN}}
625 clang_analyzer_eval(m29[i].s3[2] == 1); // expected-warning{{UNKNOWN}}
626 clang_analyzer_eval(m29[i].s3[3] == 1); // expected-warning{{UNKNOWN}}
627 clang_analyzer_eval(m29[j].s3[k] == 1); // expected-warning{{TRUE}}\
628 expected-warning{{Potential leak of memory pointed to by field 's4'}}
629 clang_analyzer_eval(l29->s1[m] == 2); // expected-warning{{UNKNOWN}}
643 clang_analyzer_eval(u30.s1[0] == 1); // expected-warning{{UNKNOWN}}
644 clang_analyzer_eval(u30.s1[1] == 1); // expected-warning{{UNKNOWN}}
645 clang_analyzer_eval(u30.s1[2] == 1); // expected-warning{{UNKNOWN}}
646 clang_analyzer_eval(u30.s1[3] == 1); // expected-warning{{UNKNOWN}}
647 clang_analyzer_eval(u30.x == 1); // expected-warning{{UNKNOWN}}
662 clang_analyzer_eval(k31.u.s1[0] == 1); // expected-warning{{UNKNOWN}}\
663 expected-warning{{Potential leak of memory pointed to by 'k31.s2'}}
664 clang_analyzer_eval(k31.u.s1[1] == 1); // expected-warning{{UNKNOWN}}
665 clang_analyzer_eval(k31.u.s1[2] == 1); // expected-warning{{UNKNOWN}}
666 clang_analyzer_eval(k31.u.s1[3] == 1); // expected-warning{{UNKNOWN}}
667 clang_analyzer_eval(k31.u.x == 1); // expected-warning{{UNKNOWN}}
668 // FIXME: memory leak warning for k31.s2 should be emitted here.
682 clang_analyzer_eval(v32.s2[0] == 1); // expected-warning{{UNKNOWN}}
683 clang_analyzer_eval(v32.s2[1] == 1); // expected-warning{{UNKNOWN}}
684 clang_analyzer_eval(v32.s2[2] == 1); // expected-warning{{UNKNOWN}}
685 clang_analyzer_eval(v32.s2[3] == 1); // expected-warning{{UNKNOWN}}\
686 expected-warning{{Potential leak of memory pointed to by 'v32.s2'}}
703 memcpy(n33.s1, input, 4); // expected-warning{{incompatible integer to pointer conversion passing 'int' to parameter of type 'void *'}}
704 clang_analyzer_eval(n33.i == 2); // expected-warning{{TRUE}}
705 clang_analyzer_eval(n33.j == 3); // expected-warning{{TRUE}}
706 clang_analyzer_eval(n33.k == 4); // expected-warning{{TRUE}}
707 clang_analyzer_eval(((char*)(n33.s1))[0] == 1); // expected-warning{{UNKNOWN}}\
708 expected-warning{{cast to 'char *' from smaller integer type 'int'}}
709 clang_analyzer_eval(((char*)(n33.s1))[1] == 1); // expected-warning{{UNKNOWN}}\
710 expected-warning{{cast to 'char *' from smaller integer type 'int'}}
711 clang_analyzer_eval(((char*)(n33.s1))[2] == 1); // expected-warning{{UNKNOWN}}\
712 expected-warning{{cast to 'char *' from smaller integer type 'int'}}
713 clang_analyzer_eval(((char*)(n33.s1))[3] == 1); // expected-warning{{UNKNOWN}}\
714 expected-warning{{cast to 'char *' from smaller integer type 'int'}}
715 clang_analyzer_eval(n33.s2 == 0); //expected-warning{{UNKNOWN}}
716 return 0; // expected-warning{{Potential leak of memory pointed to by 'n33.s2'}}
729 clang_analyzer_eval(w34->s1[0] == 0); // expected-warning{{UNKNOWN}}
730 clang_analyzer_eval(w34->s1[1] == 0); // expected-warning{{UNKNOWN}}
731 clang_analyzer_eval(w34->s1[2] == 0); // expected-warning{{UNKNOWN}}
732 clang_analyzer_eval(w34->s1[3] == 0); // expected-warning{{UNKNOWN}}
733 clang_analyzer_eval(w34->s1[n] == 0); // expected-warning{{UNKNOWN}}
734 clang_analyzer_eval(w34->s2 == 3); // expected-warning{{TRUE}}
749 clang_analyzer_eval(y35.s1[0] == 0); // expected-warning{{UNKNOWN}}
750 clang_analyzer_eval(y35.s1[1] == 0); // expected-warning{{UNKNOWN}}
751 clang_analyzer_eval(y35.s1[2] == 0); // expected-warning{{UNKNOWN}}
752 clang_analyzer_eval(y35.s1[3] == 0); // expected-warning{{UNKNOWN}}
753 clang_analyzer_eval(y35.s1[i] == 0); // expected-warning{{UNKNOWN}}
754 clang_analyzer_eval(y35.s2 == 0); // expected-warning{{UNKNOWN}}
755 return 0; // expected-warning{{Potential leak of memory pointed to by 'y35.s2'}}
783 clang_analyzer_eval(z36->s1[0] == 1); // expected-warning{{UNKNOWN}}
784 clang_analyzer_eval(z36->s1[1] == 1); // expected-warning{{UNKNOWN}}
785 clang_analyzer_eval(z36->s1[2] == 1); // expected-warning{{UNKNOWN}}
786 clang_analyzer_eval(z36->s1[3] == 1); // expected-warning{{UNKNOWN}}
787 clang_analyzer_eval(z36->s2 == 11); // expected-warning{{TRUE}}
791 clang_analyzer_eval(z36->s1[0] == 0); // expected-warning{{TRUE}}
792 clang_analyzer_eval(z36->s1[1] == 1); // expected-warning{{TRUE}}
793 clang_analyzer_eval(z36->s1[2] == 2); // expected-warning{{TRUE}}
794 clang_analyzer_eval(z36->s1[3] == 3); // expected-warning{{TRUE}}
795 clang_analyzer_eval(z36->s2 == 10); // expected-warning{{TRUE}}
819 clang_analyzer_eval(z37->s1[0] == 1); // expected-warning{{UNKNOWN}}
820 clang_analyzer_eval(z37->s1[1] == 1); // expected-warning{{UNKNOWN}}
821 clang_analyzer_eval(z37->s1[2] == 1); // expected-warning{{UNKNOWN}}
822 clang_analyzer_eval(z37->s1[3] == 1); // expected-warning{{UNKNOWN}}
823 clang_analyzer_eval(z37->s2 == 11); // expected-warning{{TRUE}}
827 clang_analyzer_eval(z37->s1[0] == 11); // expected-warning{{TRUE}}
828 clang_analyzer_eval(z37->s1[1] == 1); // expected-warning{{UNKNOWN}}
829 clang_analyzer_eval(z37->s1[2] == 1); // expected-warning{{UNKNOWN}}
830 clang_analyzer_eval(z37->s1[3] == 1); // expected-warning{{UNKNOWN}}
831 clang_analyzer_eval(z37->s2 == 10); // expected-warning{{TRUE}}
855 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}}
856 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}}
857 clang_analyzer_eval(z38->s1[2] == 1); // expected-warning{{UNKNOWN}}
858 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}}
859 clang_analyzer_eval(z38->s2 == 11); // expected-warning{{TRUE}}
863 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}}
864 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}}
865 clang_analyzer_eval(z38->s1[2] == 11); // expected-warning{{TRUE}}
866 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}}
867 clang_analyzer_eval(z38->s2 == 10); // expected-warning{{UNKNOWN}}
897 clang_analyzer_eval(d39->s1[0] == 1); // expected-warning{{UNKNOWN}}
898 clang_analyzer_eval(d39->s1[1] == 1); // expected-warning{{UNKNOWN}}
899 clang_analyzer_eval(d39->s1[2] == 1); // expected-warning{{UNKNOWN}}
900 clang_analyzer_eval(d39->s1[3] == 1); // expected-warning{{UNKNOWN}}
901 clang_analyzer_eval(d39->s2 == 11); // expected-warning{{TRUE}}
905 clang_analyzer_eval(d39->s1[0] == 1); // expected-warning{{UNKNOWN}}
906 clang_analyzer_eval(d39->s1[1] == 1); // expected-warning{{UNKNOWN}}
907 clang_analyzer_eval(d39->s1[2] == 2); // expected-warning{{TRUE}}
908 warning{{TRUE}}
912 clang_analyzer_eval(d39->s2 == 10); // expected-warning{{TRUE}}
