1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
9 extern int *const p3
= &v3
; /* { dg-warning "'p3' initialized and declared 'extern'" "C FE warning" { target c } } */
16 __analyzer_describe (0, p1
); /* { dg-message "INIT_VAL\\(p1\\)" "" { target c } } */
17 /* { dg-message "INIT_VAL\\(int\\* const p1\\)" "" { target c++ } .-1 } */
18 __analyzer_eval (p1
== NULL
); /* { dg-message "UNKNOWN" } */
20 __analyzer_eval (p2
== NULL
); /* { dg-message "TRUE" } */
22 __analyzer_describe (0, p3
); /* { dg-message "&v3" "" { target c } } */
23 /* { dg-message "&int v3" "" { target c++ } .-1 } */
24 __analyzer_eval (p3
== NULL
); /* { dg-message "FALSE" } */
26 __analyzer_describe (0, p4
); /* { dg-message "&v4" "" { target c } } */
27 /* { dg-message "&int v4" "" { target c++ } .-1 } */
28 __analyzer_eval (p4
== NULL
); /* { dg-message "FALSE" } */