FALSE
32 __analyzer_eval (hide (p) == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
TRUE
33 __analyzer_eval (hide (p) + 1 != NULL); /* { dg-warning "TRUE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
FALSE
34 __analyzer_eval (hide (p) + 1 == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
TRUE
35 __analyzer_eval (hide (p) - 1 != NULL); /* { dg-warning "TRUE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
FALSE
36 __analyzer_eval (hide (p) - 1 == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
TRUE
23 __analyzer_eval (hide (NULL) == NULL); /* { dg-warning "TRUE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
FALSE
24 __analyzer_eval (hide (NULL) - 1 == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
FALSE
25 __analyzer_eval (hide (NULL) + 1 == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
FALSE
14 __analyzer_eval (hide (&a) == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
TRUE
15 __analyzer_eval (hide (&a) + 1 != NULL); /* { dg-warning "TRUE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
FALSE
16 __analyzer_eval (hide (&a) + 1 == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
TRUE
17 __analyzer_eval (hide (&a) - 1 != NULL); /* { dg-warning "TRUE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
FALSE
18 __analyzer_eval (hide (&a) - 1 == NULL); /* { dg-warning "FALSE" } */
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~