1355   struct POD_memset pod;  in memset10_struct()  local
1356   char *str = (char *)&pod;  in memset10_struct()
1357   pod.num = 1;  in memset10_struct()
1358   pod.c = 1;  in memset10_struct()
1359   clang_analyzer_eval(pod.num == 0); // expected-warning{{FALSE}}  in memset10_struct()
1361   clang_analyzer_eval(pod.num == 0); // expected-warning{{TRUE}}  in memset10_struct()
1366   struct POD_memset pod;  in memset11_struct_field()  local
1367   pod.num = 1;  in memset11_struct_field()
1368   pod.c = '1';  in memset11_struct_field()
1369   memset(&pod.num, 0, sizeof(struct POD_memset));  in memset11_struct_field()
1371   clang_analyzer_eval(pod.num == 0);  // expected-warning{{TRUE}}  in memset11_struct_field()
1372   clang_analyzer_eval(pod.c == '\0'); // expected-warning{{TRUE}}  in memset11_struct_field()
1376   struct POD_memset pod;  in memset12_struct_field()  local
1377   pod.num = 1;  in memset12_struct_field()
1378   pod.c = '1';  in memset12_struct_field()
1379 …memset(&pod.c, 0, sizeof(struct POD_memset)); // expected-warning {{'memset' will always overflow;…  in memset12_struct_field()
1380   clang_analyzer_eval(pod.num == 0); // expected-warning{{UNKNOWN}}  in memset12_struct_field()
1381   clang_analyzer_eval(pod.c == 0);   // expected-warning{{UNKNOWN}}  in memset12_struct_field()