gcc/testsuite/c-c++-common/analyzer/clobbers-1.c

   1 #include "analyzer-decls.h"
   2
   3 struct foo
   4 {
   5   int i;
   6   int j;
   7 };
   8
   9 struct coord
  10 {
  11   int x;
  12   int y;
  13   int z;
  14 };
  15
  16 struct foo g;
  17
  18 void test_1 (void)
  19 {
  20   g.i = 42;
  21   if (g.j)
  22     __analyzer_eval (g.j); /* { dg-warning "TRUE" } */
  23   else
  24     __analyzer_eval (g.j); /* { dg-warning "FALSE" } */
  25   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  26 }
  27
  28 void test_2 (struct foo f)
  29 {
  30   f.i = 42;
  31   if (f.j)
  32     __analyzer_eval (f.j); /* { dg-warning "TRUE" } */
  33   else
  34     __analyzer_eval (f.j); /* { dg-warning "FALSE" } */
  35   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  36 }
  37
  38 void test_3 (struct foo *p)
  39 {
  40   struct foo f = *p;
  41   f.i = 42;
  42   if (f.j)
  43     __analyzer_eval (f.j); /* { dg-warning "TRUE" } */
  44   else
  45     __analyzer_eval (f.j); /* { dg-warning "FALSE" } */
  46   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  47 }
  48
  49 void test_4 (struct coord *p)
  50 {
  51   struct coord f = *p;
  52   f.x = 42;
  53   __analyzer_eval (f.y == p->y); /* { dg-warning "TRUE" } */
  54   __analyzer_eval (f.z == p->z); /* { dg-warning "TRUE" } */
  55 }
  56
  57 struct s5
  58 {
  59   char arr[8];
  60 };
  61
  62 void test_5 (struct s5 *p)
  63 {
  64   struct s5 f = *p;
  65   f.arr[3] = 42;
  66   __analyzer_eval (f.arr[0] == p->arr[0]); /* { dg-warning "TRUE" } */
  67   __analyzer_eval (f.arr[1] == p->arr[1]); /* { dg-warning "TRUE" } */
  68   __analyzer_eval (f.arr[2] == p->arr[2]); /* { dg-warning "TRUE" } */
  69   __analyzer_eval (f.arr[3] == 42); /* { dg-warning "TRUE" } */
  70   __analyzer_eval (f.arr[4] == p->arr[4]); /* { dg-warning "TRUE" } */
  71   __analyzer_eval (f.arr[5] == p->arr[5]); /* { dg-warning "TRUE" } */
  72   __analyzer_eval (f.arr[6] == p->arr[6]); /* { dg-warning "TRUE" } */
  73   __analyzer_eval (f.arr[7] == p->arr[7]); /* { dg-warning "TRUE" } */
  74 }
  75
  76 struct s6
  77 {
  78   int before; /* Give "arr" a nonzero offset.  */
  79   struct foo arr[4];
  80   int after;
  81 };
  82
  83 void test_6 (struct s6 *p, struct foo *q)
  84 {
  85   struct s6 f = *p;
  86   f.arr[1] = *q;
  87   __analyzer_eval (f.before == p->before); /* { dg-warning "TRUE" } */
  88   __analyzer_eval (f.arr[0].i == p->arr[0].i); /* { dg-warning "TRUE" } */
  89   __analyzer_eval (f.arr[0].j == p->arr[0].j); /* { dg-warning "TRUE" } */
  90   __analyzer_eval (f.arr[1].i == q->i); /* { dg-warning "TRUE" } */
  91   __analyzer_eval (f.arr[1].j == q->j); /* { dg-warning "TRUE" } */
  92   __analyzer_eval (f.arr[2].i == p->arr[2].i); /* { dg-warning "TRUE" } */
  93   __analyzer_eval (f.arr[2].j == p->arr[2].j); /* { dg-warning "TRUE" } */
  94   __analyzer_eval (f.arr[3].i == p->arr[3].i); /* { dg-warning "TRUE" } */
  95   __analyzer_eval (f.arr[3].j == p->arr[3].j); /* { dg-warning "TRUE" } */
  96   __analyzer_eval (f.after == p->after); /* { dg-warning "TRUE" } */
  97 }