gcc/testsuite/c-c++-common/analyzer/pr97568.c

   1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   2
   3
   4 extern int *const p1;
   5
   6 int *const p2 = NULL;
   7
   8 int v3;
   9 extern int *const p3 = &v3; /* { dg-warning "'p3' initialized and declared 'extern'" "C FE warning" { target c } } */
  10
  11 int v4;
  12 int *const p4 = &v4;
  13
  14 int main (void)
  15 {
  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" } */
  19
  20   __analyzer_eval (p2 == NULL); /* { dg-message "TRUE" } */
  21
  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" } */
  25
  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" } */
  29
  30   return p1[0];
  31 }