void strlen_indirect2(char *x) { size_t a = strlen(x); char *p = x; char **p2 = &p; extern void use_string_ptr2(char**); use_string_ptr2(p2); size_t c = strlen(x); if (a == 0) clang_analyzer_eval(c == 0); // expected-warning{{UNKNOWN}} }
void strlen_indirect2(char *x) { size_t a = strlen(x); char *p = x; char **p2 = &p; extern void use_string_ptr2(char**); use_string_ptr2(p2); size_t c = strlen(x); if (a == 0 && c != 0) (void)*(char*)0; // expected-warning{{null}} }