Lines Matching refs:s1
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()
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); 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()
356 clang_analyzer_eval(J0.s1[0].s1[1] == 2); // expected-warning{{UNKNOWN}} in f19()
357 clang_analyzer_eval(J0.s1[1].s1[0] == 3); // expected-warning{{UNKNOWN}} in f19()
358 clang_analyzer_eval(J0.s1[1].s1[1] == 4); // expected-warning{{UNKNOWN}} in f19()
359 clang_analyzer_eval(J0.s1[2].s1[0] == 5); // expected-warning{{UNKNOWN}} in f19()
360 clang_analyzer_eval(J0.s1[2].s1[1] == 6); // expected-warning{{UNKNOWN}} in f19()
361 clang_analyzer_eval(J0.s1[i].s1[0] == 5); // expected-warning{{UNKNOWN}} in f19()
362 clang_analyzer_eval(J0.s1[i].s1[1] == 6); // expected-warning{{UNKNOWN}} in f19()
370 a20[0].s1[0] = 1; in f20()
371 a20[0].s1[1] = 2; in f20()
372 a20[0].s1[2] = 3; in f20()
373 a20[0].s1[3] = 4; in f20()
375 a20[1].s1[0] = 5; in f20()
376 a20[1].s1[1] = 6; in f20()
377 a20[1].s1[2] = 7; in f20()
378 a20[1].s1[3] = 8; in f20()
382 memcpy(a20[0].s1, input, 4); in f20()
383 clang_analyzer_eval(a20[0].s1[0] == 1); // expected-warning{{UNKNOWN}} in f20()
384 clang_analyzer_eval(a20[0].s1[1] == 1); // expected-warning{{UNKNOWN}} in f20()
385 clang_analyzer_eval(a20[0].s1[2] == 1); // expected-warning{{UNKNOWN}} in f20()
386 clang_analyzer_eval(a20[0].s1[3] == 1); // expected-warning{{UNKNOWN}} in f20()
388 clang_analyzer_eval(a20[1].s1[0] == 1); // expected-warning{{UNKNOWN}} in f20()
389 clang_analyzer_eval(a20[1].s1[1] == 1); // expected-warning{{UNKNOWN}} in f20()
390 clang_analyzer_eval(a20[1].s1[2] == 1); // expected-warning{{UNKNOWN}} in f20()
391 clang_analyzer_eval(a20[1].s1[3] == 1); // expected-warning{{UNKNOWN}} in f20()
393 clang_analyzer_eval(a20[i].s1[0] == 1); // expected-warning{{UNKNOWN}} in f20()
394 clang_analyzer_eval(a20[i].s1[1] == 1); // expected-warning{{UNKNOWN}} in f20()
395 clang_analyzer_eval(a20[i].s1[2] == 1); // expected-warning{{UNKNOWN}} in f20()
396 clang_analyzer_eval(a20[i].s1[3] == 1); // expected-warning{{UNKNOWN}} in f20()
406 a21[0].s1[0] = 1; in f21()
407 a21[0].s1[1] = 2; in f21()
408 a21[0].s1[2] = 3; in f21()
409 a21[0].s1[3] = 4; in f21()
411 a21[1].s1[0] = 5; in f21()
412 a21[1].s1[1] = 6; in f21()
413 a21[1].s1[2] = 7; in f21()
414 a21[1].s1[3] = 8; in f21()
417 a21[i].s1[0] = 1; in f21()
418 a21[i].s1[1] = 2; in f21()
419 a21[i].s1[2] = 3; in f21()
420 a21[i].s1[3] = 4; in f21()
422 memcpy(a21[i].s1, input, 4); in f21()
423 clang_analyzer_eval(a21[0].s1[0] == 1); // expected-warning{{UNKNOWN}} in f21()
424 clang_analyzer_eval(a21[0].s1[1] == 1); // expected-warning{{UNKNOWN}} in f21()
425 clang_analyzer_eval(a21[0].s1[2] == 1); // expected-warning{{UNKNOWN}} in f21()
426 clang_analyzer_eval(a21[0].s1[3] == 1); // expected-warning{{UNKNOWN}} in f21()
428 clang_analyzer_eval(a21[1].s1[0] == 1); // expected-warning{{UNKNOWN}} in f21()
429 clang_analyzer_eval(a21[1].s1[1] == 1); // expected-warning{{UNKNOWN}} in f21()
430 clang_analyzer_eval(a21[1].s1[2] == 1); // expected-warning{{UNKNOWN}} in f21()
431 clang_analyzer_eval(a21[1].s1[3] == 1); // expected-warning{{UNKNOWN}} in f21()
433 clang_analyzer_eval(a21[i].s1[0] == 1); // expected-warning{{UNKNOWN}} in f21()
434 clang_analyzer_eval(a21[i].s1[1] == 1); // expected-warning{{UNKNOWN}} in f21()
435 clang_analyzer_eval(a21[i].s1[2] == 1); // expected-warning{{UNKNOWN}} in f21()
436 clang_analyzer_eval(a21[i].s1[3] == 1); // expected-warning{{UNKNOWN}} in f21()
445 char s1[4]; member
464 clang_analyzer_eval(l24.s1[0] == 1); // expected-warning{{UNKNOWN}} in f24()
465 clang_analyzer_eval(l24.s1[1] == 1); // expected-warning{{UNKNOWN}} in f24()
466 clang_analyzer_eval(l24.s1[2] == 1); // expected-warning{{UNKNOWN}} in f24()
467 clang_analyzer_eval(l24.s1[3] == 1); // expected-warning{{UNKNOWN}}\ in f24()
482 l->s1[0] = 6; in f25()
483 l->s1[1] = 7; in f25()
484 l->s1[2] = 8; in f25()
485 l->s1[3] = 9; in f25()
486 l->s1[i] = 10; // invalidates l->s1 in f25()
495 clang_analyzer_eval(l->s1[0] == 1); // expected-warning{{UNKNOWN}} in f25()
496 clang_analyzer_eval(l->s1[1] == 1); // expected-warning{{UNKNOWN}} in f25()
497 clang_analyzer_eval(l->s1[2] == 1); // expected-warning{{UNKNOWN}} in f25()
498 clang_analyzer_eval(l->s1[3] == 1); // expected-warning{{UNKNOWN}} in f25()
499 clang_analyzer_eval(l->s1[i] == 1); // expected-warning{{FALSE}} in f25()
500 clang_analyzer_eval(l->s1[j] == 1); // expected-warning{{UNKNOWN}} in f25()
509 memcpy(a26.s1, input, i); // i assumed in bound in f26()
510 clang_analyzer_eval(a26.s1[0] == 1); // expected-warning{{UNKNOWN}} in f26()
511 clang_analyzer_eval(a26.s1[1] == 1); // expected-warning{{UNKNOWN}} in f26()
512 clang_analyzer_eval(a26.s1[2] == 1); // expected-warning{{UNKNOWN}} in f26()
513 clang_analyzer_eval(a26.s1[3] == 1); // expected-warning{{UNKNOWN}}\ in f26()
523 memcpy(a261.s1, input, sizeof(a261.s1)); in f261()
524 clang_analyzer_eval(a261.s1[0] == 1); // expected-warning{{UNKNOWN}} in f261()
525 clang_analyzer_eval(a261.s1[1] == 1); // expected-warning{{UNKNOWN}} in f261()
526 clang_analyzer_eval(a261.s1[2] == 1); // expected-warning{{UNKNOWN}} in f261()
527 clang_analyzer_eval(a261.s1[3] == 1); // expected-warning{{UNKNOWN}}\ in f261()
537 memcpy(a262.s1, input, -1); in f262()
538 clang_analyzer_eval(a262.s1[0] == 1); // expected-warning{{UNKNOWN}}\ in f262()
540 clang_analyzer_eval(a262.s1[1] == 1); // expected-warning{{UNKNOWN}} in f262()
541 clang_analyzer_eval(a262.s1[2] == 1); // expected-warning{{UNKNOWN}} in f262()
542 clang_analyzer_eval(a262.s1[3] == 1); // expected-warning{{UNKNOWN}} in f262()
548 char s1[4]; member
556 memcpy(x263.s1, input, *(len + n)); in f263()
557 clang_analyzer_eval(x263.s1[0] == 0); // expected-warning{{UNKNOWN}} in f263()
558 clang_analyzer_eval(x263.s1[1] == 0); // expected-warning{{UNKNOWN}} in f263()
559 clang_analyzer_eval(x263.s1[2] == 0); // expected-warning{{UNKNOWN}} in f263()
560 clang_analyzer_eval(x263.s1[3] == 0); // expected-warning{{UNKNOWN}} in f263()
572 memcpy(((struct ll*)(&m27))->s1, input, 4); in f27()
587 l28->s1[l] = 2; in f28()
589 memcpy(l28->s1, input, 4); in f28()
603 clang_analyzer_eval(l28->s1[l] == 2); // expected-warning{{UNKNOWN}} in f28()
612 l29->s1[m] = 2; in f29()
614 memcpy(l29->s1, input, 4); in f29()
629 clang_analyzer_eval(l29->s1[m] == 2); // expected-warning{{UNKNOWN}} in f29()
636 char s1[4]; member
640 union uu u30 = { .s1 = {1, 2, 3, 4}}; in f30()
642 memcpy(u30.s1, input, 4); in f30()
643 clang_analyzer_eval(u30.s1[0] == 1); // expected-warning{{UNKNOWN}} in f30()
644 clang_analyzer_eval(u30.s1[1] == 1); // expected-warning{{UNKNOWN}} in f30()
645 clang_analyzer_eval(u30.s1[2] == 1); // expected-warning{{UNKNOWN}} in f30()
646 clang_analyzer_eval(u30.s1[3] == 1); // expected-warning{{UNKNOWN}} in f30()
661 memcpy(k31.u.s1, input, 4); in f31()
662 clang_analyzer_eval(k31.u.s1[0] == 1); // expected-warning{{UNKNOWN}}\ in f31()
664 clang_analyzer_eval(k31.u.s1[1] == 1); // expected-warning{{UNKNOWN}} in f31()
665 clang_analyzer_eval(k31.u.s1[2] == 1); // expected-warning{{UNKNOWN}} in f31()
666 clang_analyzer_eval(k31.u.s1[3] == 1); // expected-warning{{UNKNOWN}} in f31()
691 int s1; member
703 …memcpy(n33.s1, input, 4); // expected-warning{{incompatible integer to pointer conversion passing … in f33()
707 clang_analyzer_eval(((char*)(n33.s1))[0] == 1); // expected-warning{{UNKNOWN}}\ in f33()
709 clang_analyzer_eval(((char*)(n33.s1))[1] == 1); // expected-warning{{UNKNOWN}}\ in f33()
711 clang_analyzer_eval(((char*)(n33.s1))[2] == 1); // expected-warning{{UNKNOWN}}\ in f33()
713 clang_analyzer_eval(((char*)(n33.s1))[3] == 1); // expected-warning{{UNKNOWN}}\ in f33()
721 int s1[4]; member
728 memcpy(w34->s1 + n, input , 4); in f34()
729 clang_analyzer_eval(w34->s1[0] == 0); // expected-warning{{UNKNOWN}} in f34()
730 clang_analyzer_eval(w34->s1[1] == 0); // expected-warning{{UNKNOWN}} in f34()
731 clang_analyzer_eval(w34->s1[2] == 0); // expected-warning{{UNKNOWN}} in f34()
732 clang_analyzer_eval(w34->s1[3] == 0); // expected-warning{{UNKNOWN}} in f34()
733 clang_analyzer_eval(w34->s1[n] == 0); // expected-warning{{UNKNOWN}} in f34()
740 char s1[4]; member
748 memcpy(&(y35.s1[i]), input, n); in f35()
749 clang_analyzer_eval(y35.s1[0] == 0); // expected-warning{{UNKNOWN}} in f35()
750 clang_analyzer_eval(y35.s1[1] == 0); // expected-warning{{UNKNOWN}} in f35()
751 clang_analyzer_eval(y35.s1[2] == 0); // expected-warning{{UNKNOWN}} in f35()
752 clang_analyzer_eval(y35.s1[3] == 0); // expected-warning{{UNKNOWN}} in f35()
753 clang_analyzer_eval(y35.s1[i] == 0); // expected-warning{{UNKNOWN}} in f35()
760 char s1[4]; member
767 z36->s1[0] = 0; in f36()
768 z36->s1[1] = 1; in f36()
769 z36->s1[2] = 2; in f36()
770 z36->s1[3] = 3; in f36()
775 z36->s1[0] = 4; in f36()
776 z36->s1[1] = 5; in f36()
777 z36->s1[2] = 6; in f36()
778 z36->s1[3] = 7; in f36()
781 memcpy(z36->s1, input, 4); in f36()
783 clang_analyzer_eval(z36->s1[0] == 1); // expected-warning{{UNKNOWN}} in f36()
784 clang_analyzer_eval(z36->s1[1] == 1); // expected-warning{{UNKNOWN}} in f36()
785 clang_analyzer_eval(z36->s1[2] == 1); // expected-warning{{UNKNOWN}} in f36()
786 clang_analyzer_eval(z36->s1[3] == 1); // expected-warning{{UNKNOWN}} in f36()
791 clang_analyzer_eval(z36->s1[0] == 0); // expected-warning{{TRUE}} in f36()
792 clang_analyzer_eval(z36->s1[1] == 1); // expected-warning{{TRUE}} in f36()
793 clang_analyzer_eval(z36->s1[2] == 2); // expected-warning{{TRUE}} in f36()
794 clang_analyzer_eval(z36->s1[3] == 3); // expected-warning{{TRUE}} in f36()
803 z37->s1[0] = 0; in f37()
804 z37->s1[1] = 1; in f37()
805 z37->s1[2] = 2; in f37()
806 z37->s1[3] = 3; in f37()
811 z37->s1[0] = 4; in f37()
812 z37->s1[1] = 5; in f37()
813 z37->s1[2] = 6; in f37()
814 z37->s1[3] = 7; in f37()
817 memcpy(z37->s1, input, 4); in f37()
819 clang_analyzer_eval(z37->s1[0] == 1); // expected-warning{{UNKNOWN}} in f37()
820 clang_analyzer_eval(z37->s1[1] == 1); // expected-warning{{UNKNOWN}} in f37()
821 clang_analyzer_eval(z37->s1[2] == 1); // expected-warning{{UNKNOWN}} in f37()
822 clang_analyzer_eval(z37->s1[3] == 1); // expected-warning{{UNKNOWN}} in f37()
827 clang_analyzer_eval(z37->s1[0] == 11); // expected-warning{{TRUE}} in f37()
828 clang_analyzer_eval(z37->s1[1] == 1); // expected-warning{{UNKNOWN}} in f37()
829 clang_analyzer_eval(z37->s1[2] == 1); // expected-warning{{UNKNOWN}} in f37()
830 clang_analyzer_eval(z37->s1[3] == 1); // expected-warning{{UNKNOWN}} in f37()
839 z38->s1[0] = 0; in f38()
840 z38->s1[1] = 1; in f38()
841 z38->s1[2] = 2; in f38()
842 z38->s1[3] = 3; in f38()
847 z38->s1[0] = 4; in f38()
848 z38->s1[1] = 5; in f38()
849 z38->s1[2] = 6; in f38()
850 z38->s1[3] = 7; in f38()
853 memcpy(z38->s1, input, 4); in f38()
855 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}} in f38()
856 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}} in f38()
857 clang_analyzer_eval(z38->s1[2] == 1); // expected-warning{{UNKNOWN}} in f38()
858 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}} in f38()
863 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}} in f38()
864 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}} in f38()
865 clang_analyzer_eval(z38->s1[2] == 11); // expected-warning{{TRUE}} in f38()
866 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}} in f38()
875 char s1[4]; member
881 d39->s1[0] = 0; in f39()
882 d39->s1[1] = 1; in f39()
883 d39->s1[2] = 2; in f39()
884 d39->s1[3] = 3; in f39()
889 d39->s1[0] = 4; in f39()
890 d39->s1[1] = 5; in f39()
891 d39->s1[2] = 6; in f39()
892 d39->s1[3] = 7; in f39()
895 memcpy(d39->s1, input, 4); in f39()
897 clang_analyzer_eval(d39->s1[0] == 1); // expected-warning{{UNKNOWN}} in f39()
898 clang_analyzer_eval(d39->s1[1] == 1); // expected-warning{{UNKNOWN}} in f39()
899 clang_analyzer_eval(d39->s1[2] == 1); // expected-warning{{UNKNOWN}} in f39()
900 clang_analyzer_eval(d39->s1[3] == 1); // expected-warning{{UNKNOWN}} in f39()
905 clang_analyzer_eval(d39->s1[0] == 1); // expected-warning{{UNKNOWN}} in f39()
906 clang_analyzer_eval(d39->s1[1] == 1); // expected-warning{{UNKNOWN}} in f39()
907 clang_analyzer_eval(d39->s1[2] == 2); // expected-warning{{TRUE}} in f39()
908 clang_analyzer_eval(d39->s1[3] == 3); // expected-warning{{TRUE}} in f39()