blob: 22d574b5fbd3ddf1ce9e515bab6506f2c433bb3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#include "analyzer-decls.h"
#define NULL ((void *)0)
extern int *const p1;
int *const p2;
int v3;
extern int *const p3 = &v3; /* { dg-warning "'p3' initialized and declared 'extern'" } */
int v4;
int *const p4 = &v4;
int main (void)
{
__analyzer_describe (0, p1); /* { dg-message "INIT_VAL\\(p1\\)" } */
__analyzer_eval (p1 == NULL); /* { dg-message "UNKNOWN" } */
__analyzer_eval (p2 == NULL); /* { dg-message "TRUE" } */
__analyzer_describe (0, p3); /* { dg-message "&v3" } */
__analyzer_eval (p3 == NULL); /* { dg-message "FALSE" } */
__analyzer_describe (0, p4); /* { dg-message "&v4" } */
__analyzer_eval (p4 == NULL); /* { dg-message "FALSE" } */
return p1[0];
}
|
