Lines Matching full:s1
1 // Given code 'struct aa { char s1[4]; char * s2;} a; memcpy(a.s1, ...);',
2 …t the CStringChecker only invalidates the destination buffer array a.s1 (instead of a.s1 and a.s2).
4 // If a.s1 region has a symbolic offset, the whole region of 'a' is invalidated.
18 char s1[4]; member
27 memcpy(a0.s1, input, 4); in f0()
28 clang_analyzer_eval(a0.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f0()
29 clang_analyzer_eval(a0.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f0()
30 clang_analyzer_eval(a0.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f0()
31 clang_analyzer_eval(a0.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f0()
41 memcpy(a1.s1, input, 4); in f1()
42 clang_analyzer_eval(a1.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f1()
43 clang_analyzer_eval(a1.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f1()
44 clang_analyzer_eval(a1.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f1()
45 clang_analyzer_eval(a1.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f1()
55 memcpy(a2.s1, input, 4); in f2()
56 clang_analyzer_eval(a2.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f2()
57 clang_analyzer_eval(a2.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f2()
58 clang_analyzer_eval(a2.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f2()
59 clang_analyzer_eval(a2.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f2()
69 int * dest = (int*)a3.s1; in f3()
71 clang_analyzer_eval(a3.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f3()
73 clang_analyzer_eval(a3.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f3()
75 clang_analyzer_eval(a3.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f3()
77 clang_analyzer_eval(a3.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f3()
94 char * dest = (char*)(b0.a.s1); in f4()
96 clang_analyzer_eval(b0.a.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f4()
98 clang_analyzer_eval(b0.a.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f4()
100 clang_analyzer_eval(b0.a.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f4()
102 clang_analyzer_eval(b0.a.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f4()
115 memcpy(a0.s1, input, 4); in f5()
123 memcpy(a1.s1, input, 4); in f6()
131 memcpy(a2.s1, input, 4); in f7()
139 int * dest = (int*)a3.s1; in f8()
149 char * dest = (char*)(b0.a.s1); in f9()
160 char * dest = (char*)(b0.a.s1); in f10()
168 char * s1; member
178 c0.s1 = &x[0]; in f11()
180 memcpy(c0.s1, input, 4); in f11()
183 clang_analyzer_eval(c0.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f11()
184 clang_analyzer_eval(c0.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f11()
185 clang_analyzer_eval(c0.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f11()
186 clang_analyzer_eval(c0.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f11()
191 // Test inverting field position between s1 and s2.
194 char s1[4]; member
201 memcpy(d0.s1, input, 4); in f12()
202 clang_analyzer_eval(d0.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f12()
203 clang_analyzer_eval(d0.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f12()
204 clang_analyzer_eval(d0.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f12()
205 clang_analyzer_eval(d0.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f12()
218 struct ee s1[2]; member
226 memcpy(E0.s1, input, 4); in f13()
227 clang_analyzer_eval(E0.s1[0].a == 'a'); // expected-warning{{UNKNOWN}} in f13()
228 clang_analyzer_eval(E0.s1[0].b == 'b'); // expected-warning{{UNKNOWN}} in f13()
229 clang_analyzer_eval(E0.s1[1].a == 'c'); // expected-warning{{UNKNOWN}} in f13()
230 clang_analyzer_eval(E0.s1[1].b == 'd'); // expected-warning{{UNKNOWN}} in f13()
242 memcpy(a15.s1, input, 4); in f15()
243 clang_analyzer_eval(a15.s1[0] == 'a'); // expected-warning{{UNKNOWN}} in f15()
244 clang_analyzer_eval(a15.s1[1] == 'b'); // expected-warning{{UNKNOWN}} in f15()
245 clang_analyzer_eval(a15.s1[2] == 'c'); // expected-warning{{UNKNOWN}} in f15()
246 clang_analyzer_eval(a15.s1[3] == 'd'); // expected-warning{{UNKNOWN}} in f15()
255 struct empty s1[4]; member
263 memcpy(g0.s1, input, 4); in f16()
264 clang_analyzer_eval(*(int*)(&g0.s1[0]) == 'a'); // expected-warning{{UNKNOWN}}\ in f16()
266 clang_analyzer_eval(*(int*)(&g0.s1[1]) == 'b'); // expected-warning{{UNKNOWN}} in f16()
267 clang_analyzer_eval(*(int*)(&g0.s1[2]) == 'c'); // expected-warning{{UNKNOWN}} in f16()
268 clang_analyzer_eval(*(int*)(&g0.s1[3]) == 'd'); // expected-warning{{UNKNOWN}} in f16()
276 char s1[0]; member
284 memcpy(h0.s1, input, 4); in f17()
285 clang_analyzer_eval(h0.s1[0] == 'a'); // expected-warning{{UNKNOWN}}\ in f17()
294 char s1[4]; member
306 …memcpy(i18.s1, input, 100); // expected-warning {{'memcpy' will always overflow; destination buffe… in f18()
307 clang_analyzer_eval(i18.s1[0] == 1); // expected-warning{{UNKNOWN}}\ in f18()
309 clang_analyzer_eval(i18.s1[1] == 2); // expected-warning{{UNKNOWN}} in f18()
310 clang_analyzer_eval(i18.s1[2] == 3); // expected-warning{{UNKNOWN}} in f18()
311 clang_analyzer_eval(i18.s1[3] == 4); // expected-warning{{UNKNOWN}} in f18()
323 memcpy(i181.s1, input, 5); // invalidate the whole region of i181 in f181()
324 clang_analyzer_eval(i181.s1[0] == 1); // expected-warning{{UNKNOWN}}\ in f181()
326 clang_analyzer_eval(i181.s1[1] == 2); // expected-warning{{UNKNOWN}} in f181()
327 clang_analyzer_eval(i181.s1[2] == 3); // expected-warning{{UNKNOWN}} in f181()
328 clang_analyzer_eval(i181.s1[3] == 4); // expected-warning{{UNKNOWN}} in f181()
336 char s1[2]; member
341 struct jj s1[3]; member
348 J0.s1[0].s2 = strdup("hello"); in f19()
349 J0.s1[1].s2 = strdup("hi"); in f19()
350 J0.s1[2].s2 = strdup("world"); in f19()
352 memcpy(J0.s1[i].s1, input, 2); in f19()
353 clang_analyzer_eval(J0.s1[0].s1[0] == 1); // expected-warning{{UNKNOWN}}\ in f19()
358 clang_analyzer_eval(J0.s1[0].s1[1] == 2); // expected-warning{{UNKNOWN}} in f19()
359 clang_analyzer_eval(J0.s1[1].s1[0] == 3); // expected-warning{{UNKNOWN}} in f19()
360 clang_analyzer_eval(J0.s1[1].s1[1] == 4); // expected-warning{{UNKNOWN}} in f19()
361 clang_analyzer_eval(J0.s1[2].s1[0] == 5); // expected-warning{{UNKNOWN}} in f19()
362 clang_analyzer_eval(J0.s1[2].s1[1] == 6); // expected-warning{{UNKNOWN}} in f19()
363 clang_analyzer_eval(J0.s1[i].s1[0] == 5); // expected-warning{{UNKNOWN}} in f19()
364 clang_analyzer_eval(J0.s1[i].s1[1] == 6); // expected-warning{{UNKNOWN}} in f19()
372 a20[0].s1[0] = 1; in f20()
373 a20[0].s1[1] = 2; in f20()
374 a20[0].s1[2] = 3; in f20()
375 a20[0].s1[3] = 4; in f20()
377 a20[1].s1[0] = 5; in f20()
378 a20[1].s1[1] = 6; in f20()
379 a20[1].s1[2] = 7; in f20()
380 a20[1].s1[3] = 8; in f20()
384 memcpy(a20[0].s1, input, 4); in f20()
385 clang_analyzer_eval(a20[0].s1[0] == 1); // expected-warning{{UNKNOWN}} in f20()
386 clang_analyzer_eval(a20[0].s1[1] == 1); // expected-warning{{UNKNOWN}} in f20()
387 clang_analyzer_eval(a20[0].s1[2] == 1); // expected-warning{{UNKNOWN}} in f20()
388 clang_analyzer_eval(a20[0].s1[3] == 1); // expected-warning{{UNKNOWN}} in f20()
390 clang_analyzer_eval(a20[1].s1[0] == 1); // expected-warning{{UNKNOWN}} in f20()
391 clang_analyzer_eval(a20[1].s1[1] == 1); // expected-warning{{UNKNOWN}} in f20()
392 clang_analyzer_eval(a20[1].s1[2] == 1); // expected-warning{{UNKNOWN}} in f20()
393 clang_analyzer_eval(a20[1].s1[3] == 1); // expected-warning{{UNKNOWN}} in f20()
395 clang_analyzer_eval(a20[i].s1[0] == 1); // expected-warning{{UNKNOWN}} in f20()
396 clang_analyzer_eval(a20[i].s1[1] == 1); // expected-warning{{UNKNOWN}} in f20()
397 clang_analyzer_eval(a20[i].s1[2] == 1); // expected-warning{{UNKNOWN}} in f20()
398 clang_analyzer_eval(a20[i].s1[3] == 1); // expected-warning{{UNKNOWN}} in f20()
408 a21[0].s1[0] = 1; in f21()
409 a21[0].s1[1] = 2; in f21()
410 a21[0].s1[2] = 3; in f21()
411 a21[0].s1[3] = 4; in f21()
413 a21[1].s1[0] = 5; in f21()
414 a21[1].s1[1] = 6; in f21()
415 a21[1].s1[2] = 7; in f21()
416 a21[1].s1[3] = 8; in f21()
419 a21[i].s1[0] = 1; in f21()
420 a21[i].s1[1] = 2; in f21()
421 a21[i].s1[2] = 3; in f21()
422 a21[i].s1[3] = 4; in f21()
424 memcpy(a21[i].s1, input, 4); in f21()
425 clang_analyzer_eval(a21[0].s1[0] == 1); // expected-warning{{UNKNOWN}} in f21()
426 clang_analyzer_eval(a21[0].s1[1] == 1); // expected-warning{{UNKNOWN}} in f21()
427 clang_analyzer_eval(a21[0].s1[2] == 1); // expected-warning{{UNKNOWN}} in f21()
428 clang_analyzer_eval(a21[0].s1[3] == 1); // expected-warning{{UNKNOWN}} in f21()
430 clang_analyzer_eval(a21[1].s1[0] == 1); // expected-warning{{UNKNOWN}} in f21()
431 clang_analyzer_eval(a21[1].s1[1] == 1); // expected-warning{{UNKNOWN}} in f21()
432 clang_analyzer_eval(a21[1].s1[2] == 1); // expected-warning{{UNKNOWN}} in f21()
433 clang_analyzer_eval(a21[1].s1[3] == 1); // expected-warning{{UNKNOWN}} in f21()
435 clang_analyzer_eval(a21[i].s1[0] == 1); // expected-warning{{UNKNOWN}} in f21()
436 clang_analyzer_eval(a21[i].s1[1] == 1); // expected-warning{{UNKNOWN}} in f21()
437 clang_analyzer_eval(a21[i].s1[2] == 1); // expected-warning{{UNKNOWN}} in f21()
438 clang_analyzer_eval(a21[i].s1[3] == 1); // expected-warning{{UNKNOWN}} in f21()
447 char s1[4]; member
466 clang_analyzer_eval(l24.s1[0] == 1); // expected-warning{{UNKNOWN}} in f24()
467 clang_analyzer_eval(l24.s1[1] == 1); // expected-warning{{UNKNOWN}} in f24()
468 clang_analyzer_eval(l24.s1[2] == 1); // expected-warning{{UNKNOWN}} in f24()
469 clang_analyzer_eval(l24.s1[3] == 1); // expected-warning{{UNKNOWN}}\ in f24()
484 l->s1[0] = 6; in f25()
485 l->s1[1] = 7; in f25()
486 l->s1[2] = 8; in f25()
487 l->s1[3] = 9; in f25()
488 l->s1[i] = 10; // invalidates l->s1 in f25()
490 memcpy(m->s3, input, 4); // does not invalidate l->s1[i] in f25()
497 clang_analyzer_eval(l->s1[0] == 1); // expected-warning{{UNKNOWN}} in f25()
498 clang_analyzer_eval(l->s1[1] == 1); // expected-warning{{UNKNOWN}} in f25()
499 clang_analyzer_eval(l->s1[2] == 1); // expected-warning{{UNKNOWN}} in f25()
500 clang_analyzer_eval(l->s1[3] == 1); // expected-warning{{UNKNOWN}} in f25()
501 clang_analyzer_eval(l->s1[i] == 1); // expected-warning{{FALSE}} in f25()
502 clang_analyzer_eval(l->s1[j] == 1); // expected-warning{{UNKNOWN}} in f25()
511 memcpy(a26.s1, input, i); // i assumed in bound in f26()
512 clang_analyzer_eval(a26.s1[0] == 1); // expected-warning{{UNKNOWN}} in f26()
513 clang_analyzer_eval(a26.s1[1] == 1); // expected-warning{{UNKNOWN}} in f26()
514 clang_analyzer_eval(a26.s1[2] == 1); // expected-warning{{UNKNOWN}} in f26()
515 clang_analyzer_eval(a26.s1[3] == 1); // expected-warning{{UNKNOWN}}\ in f26()
525 memcpy(a261.s1, input, sizeof(a261.s1)); in f261()
526 clang_analyzer_eval(a261.s1[0] == 1); // expected-warning{{UNKNOWN}} in f261()
527 clang_analyzer_eval(a261.s1[1] == 1); // expected-warning{{UNKNOWN}} in f261()
528 clang_analyzer_eval(a261.s1[2] == 1); // expected-warning{{UNKNOWN}} in f261()
529 clang_analyzer_eval(a261.s1[3] == 1); // expected-warning{{UNKNOWN}}\ in f261()
539 …memcpy(a262.s1, input, -1); // expected-warning{{'memcpy' will always overflow; destination buffer… in f262()
540 clang_analyzer_eval(a262.s1[0] == 1); // expected-warning{{UNKNOWN}}\ in f262()
542 clang_analyzer_eval(a262.s1[1] == 1); // expected-warning{{UNKNOWN}} in f262()
543 clang_analyzer_eval(a262.s1[2] == 1); // expected-warning{{UNKNOWN}} in f262()
544 clang_analyzer_eval(a262.s1[3] == 1); // expected-warning{{UNKNOWN}} in f262()
550 char s1[4]; member
558 memcpy(x263.s1, input, *(len + n)); in f263()
559 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}}\ in f263()
561 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263()
562 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263()
563 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263()
575 memcpy(((struct ll*)(&m27))->s1, input, 4); in f27()
590 l28->s1[l] = 2; in f28()
592 memcpy(l28->s1, input, 4); in f28()
606 clang_analyzer_eval(l28->s1[l] == 2); // expected-warning{{UNKNOWN}} in f28()
615 l29->s1[m] = 2; in f29()
617 memcpy(l29->s1, input, 4); in f29()
631 clang_analyzer_eval(l29->s1[m] == 2); // expected-warning{{UNKNOWN}} in f29()
640 char s1[4]; member
644 union uu u30 = { .s1 = {1, 2, 3, 4}}; in f30()
646 memcpy(u30.s1, input, 4); in f30()
647 clang_analyzer_eval(u30.s1[0] == 1); // expected-warning{{UNKNOWN}} in f30()
648 clang_analyzer_eval(u30.s1[1] == 1); // expected-warning{{UNKNOWN}} in f30()
649 clang_analyzer_eval(u30.s1[2] == 1); // expected-warning{{UNKNOWN}} in f30()
650 clang_analyzer_eval(u30.s1[3] == 1); // expected-warning{{UNKNOWN}} in f30()
665 memcpy(k31.u.s1, input, 4); in f31()
666 clang_analyzer_eval(k31.u.s1[0] == 1); // expected-warning{{UNKNOWN}}\ in f31()
668 clang_analyzer_eval(k31.u.s1[1] == 1); // expected-warning{{UNKNOWN}} in f31()
669 clang_analyzer_eval(k31.u.s1[2] == 1); // expected-warning{{UNKNOWN}} in f31()
670 clang_analyzer_eval(k31.u.s1[3] == 1); // expected-warning{{UNKNOWN}} in f31()
695 int s1; member
707 …memcpy(n33.s1, input, 4); // expected-warning{{incompatible integer to pointer conversion passing … in f33()
711 clang_analyzer_eval(((char*)(n33.s1))[0] == 1); // expected-warning{{UNKNOWN}}\ in f33()
713 clang_analyzer_eval(((char*)(n33.s1))[1] == 1); // expected-warning{{UNKNOWN}}\ in f33()
715 clang_analyzer_eval(((char*)(n33.s1))[2] == 1); // expected-warning{{UNKNOWN}}\ in f33()
717 clang_analyzer_eval(((char*)(n33.s1))[3] == 1); // expected-warning{{UNKNOWN}}\ in f33()
725 int s1[4]; member
732 memcpy(w34->s1 + n, input , 4); in f34()
733 clang_analyzer_eval(w34->s1[0] == 0); // expected-warning{{UNKNOWN}} in f34()
734 clang_analyzer_eval(w34->s1[1] == 0); // expected-warning{{UNKNOWN}} in f34()
735 clang_analyzer_eval(w34->s1[2] == 0); // expected-warning{{UNKNOWN}} in f34()
736 clang_analyzer_eval(w34->s1[3] == 0); // expected-warning{{UNKNOWN}} in f34()
737 clang_analyzer_eval(w34->s1[n] == 0); // expected-warning{{UNKNOWN}} in f34()
744 char s1[4]; member
752 memcpy(&(y35.s1[i]), input, n); in f35()
753 clang_analyzer_eval(y35.s1[0] == 0); // expected-warning{{UNKNOWN}} in f35()
754 clang_analyzer_eval(y35.s1[1] == 0); // expected-warning{{UNKNOWN}} in f35()
755 clang_analyzer_eval(y35.s1[2] == 0); // expected-warning{{UNKNOWN}} in f35()
756 clang_analyzer_eval(y35.s1[3] == 0); // expected-warning{{UNKNOWN}} in f35()
757 clang_analyzer_eval(y35.s1[i] == 0); // expected-warning{{UNKNOWN}} in f35()
764 char s1[4]; member
771 z36->s1[0] = 0; in f36()
772 z36->s1[1] = 1; in f36()
773 z36->s1[2] = 2; in f36()
774 z36->s1[3] = 3; in f36()
779 z36->s1[0] = 4; in f36()
780 z36->s1[1] = 5; in f36()
781 z36->s1[2] = 6; in f36()
782 z36->s1[3] = 7; in f36()
785 memcpy(z36->s1, input, 4); in f36()
787 clang_analyzer_eval(z36->s1[0] == 1); // expected-warning{{UNKNOWN}} in f36()
788 clang_analyzer_eval(z36->s1[1] == 1); // expected-warning{{UNKNOWN}} in f36()
789 clang_analyzer_eval(z36->s1[2] == 1); // expected-warning{{UNKNOWN}} in f36()
790 clang_analyzer_eval(z36->s1[3] == 1); // expected-warning{{UNKNOWN}} in f36()
795 clang_analyzer_eval(z36->s1[0] == 0); // expected-warning{{TRUE}} in f36()
796 clang_analyzer_eval(z36->s1[1] == 1); // expected-warning{{TRUE}} in f36()
797 clang_analyzer_eval(z36->s1[2] == 2); // expected-warning{{TRUE}} in f36()
798 clang_analyzer_eval(z36->s1[3] == 3); // expected-warning{{TRUE}} in f36()
807 z37->s1[0] = 0; in f37()
808 z37->s1[1] = 1; in f37()
809 z37->s1[2] = 2; in f37()
810 z37->s1[3] = 3; in f37()
815 z37->s1[0] = 4; in f37()
816 z37->s1[1] = 5; in f37()
817 z37->s1[2] = 6; in f37()
818 z37->s1[3] = 7; in f37()
821 memcpy(z37->s1, input, 4); in f37()
823 clang_analyzer_eval(z37->s1[0] == 1); // expected-warning{{UNKNOWN}} in f37()
824 clang_analyzer_eval(z37->s1[1] == 1); // expected-warning{{UNKNOWN}} in f37()
825 clang_analyzer_eval(z37->s1[2] == 1); // expected-warning{{UNKNOWN}} in f37()
826 clang_analyzer_eval(z37->s1[3] == 1); // expected-warning{{UNKNOWN}} in f37()
831 clang_analyzer_eval(z37->s1[0] == 11); // expected-warning{{TRUE}} in f37()
832 clang_analyzer_eval(z37->s1[1] == 1); // expected-warning{{UNKNOWN}} in f37()
833 clang_analyzer_eval(z37->s1[2] == 1); // expected-warning{{UNKNOWN}} in f37()
834 clang_analyzer_eval(z37->s1[3] == 1); // expected-warning{{UNKNOWN}} in f37()
843 z38->s1[0] = 0; in f38()
844 z38->s1[1] = 1; in f38()
845 z38->s1[2] = 2; in f38()
846 z38->s1[3] = 3; in f38()
851 z38->s1[0] = 4; in f38()
852 z38->s1[1] = 5; in f38()
853 z38->s1[2] = 6; in f38()
854 z38->s1[3] = 7; in f38()
857 memcpy(z38->s1, input, 4); in f38()
859 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}} in f38()
860 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}} in f38()
861 clang_analyzer_eval(z38->s1[2] == 1); // expected-warning{{UNKNOWN}} in f38()
862 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}} in f38()
867 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}} in f38()
868 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}} in f38()
869 clang_analyzer_eval(z38->s1[2] == 11); // expected-warning{{TRUE}} in f38()
870 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}} in f38()
879 char s1[4]; member
885 d39->s1[0] = 0; in f39()
886 d39->s1[1] = 1; in f39()
887 d39->s1[2] = 2; in f39()
888 d39->s1[3] = 3; in f39()
893 d39->s1[0] = 4; in f39()
894 d39->s1[1] = 5; in f39()
895 d39->s1[2] = 6; in f39()
896 d39->s1[3] = 7; in f39()
899 memcpy(d39->s1, input, 4); in f39()
901 clang_analyzer_eval(d39->s1[0] == 1); // expected-warning{{UNKNOWN}} in f39()
902 clang_analyzer_eval(d39->s1[1] == 1); // expected-warning{{UNKNOWN}} in f39()
903 clang_analyzer_eval(d39->s1[2] == 1); // expected-warning{{UNKNOWN}} in f39()
904 clang_analyzer_eval(d39->s1[3] == 1); // expected-warning{{UNKNOWN}} in f39()
909 clang_analyzer_eval(d39->s1[0] == 1); // expected-warning{{UNKNOWN}} in f39()
910 clang_analyzer_eval(d39->s1[1] == 1); // expected-warning{{UNKNOWN}} in f39()
911 clang_analyzer_eval(d39->s1[2] == 2); // expected-warning{{TRUE}} in f39()
912 clang_analyzer_eval(d39->s1[3] == 3); // expected-warning{{TRUE}} in f39()