1 #include "analyzer-decls.h"
6 extern void escape (void *ptr
);
14 __analyzer_eval (*p
== 42); /* { dg-warning "TRUE" } */
16 /* These writes shouldn't affect *p. */
19 __analyzer_eval (*p
== 42); /* { dg-warning "TRUE" } */
21 /* This write could affect *p. */
23 __analyzer_eval (*p
== 42); /* { dg-warning "UNKNOWN" } */