369   struct aa * a20 = malloc(sizeof(struct aa) * 2);  in f20()  local
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()
374   a20[0].s2 = strdup("hello");  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()
379   a20[1].s2 = strdup("world");  in f20()
380   a20[i].s2 = strdup("hola");  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()
387   clang_analyzer_eval(a20[0].s2 == 0); // 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()
392   clang_analyzer_eval(a20[1].s2 == 0); // 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()
397   clang_analyzer_eval(a20[i].s2 == 0); // expected-warning{{UNKNOWN}}\  in f20()