700   struct nn n33 = {1, 2, 3, 4, 0};  in f33()  local
701   n33.s2 = strdup("hello");  in f33()
703 …memcpy(n33.s1, input, 4); // expected-warning{{incompatible integer to pointer conversion passing …  in f33()
704   clang_analyzer_eval(n33.i == 2); // expected-warning{{TRUE}}  in f33()
705   clang_analyzer_eval(n33.j == 3); // expected-warning{{TRUE}}  in f33()
706   clang_analyzer_eval(n33.k == 4); // expected-warning{{TRUE}}  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()
715   clang_analyzer_eval(n33.s2 == 0); //expected-warning{{UNKNOWN}}  in f33()