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

   1 #include "analyzer-decls.h"
   2
   3 struct s1
   4 {
   5   char a;
   6   char b;
   7   char c;
   8   char d;
   9 };
  10
  11 struct s2
  12 {
  13   char arr[4];
  14 };
  15
  16 struct s3
  17 {
  18   struct inner {
  19     char a;
  20     char b;
  21   } arr[2];
  22 };
  23
  24 void test_1 ()
  25 {
  26   struct s1 x = {'A', 'B', 'C', 'D'};
  27   __analyzer_eval (x.a == 'A'); /* { dg-warning "TRUE" } */
  28   __analyzer_eval (x.b == 'B'); /* { dg-warning "TRUE" } */
  29   __analyzer_eval (x.c == 'C'); /* { dg-warning "TRUE" } */
  30   __analyzer_eval (x.d == 'D'); /* { dg-warning "TRUE" } */
  31   __analyzer_eval (((struct s2 *)&x)->arr[0] == 'A'); /* { dg-warning "TRUE" } */
  32   __analyzer_eval (((struct s2 *)&x)->arr[1] == 'B'); /* { dg-warning "TRUE" } */
  33   __analyzer_eval (((struct s2 *)&x)->arr[2] == 'C'); /* { dg-warning "TRUE" } */
  34   __analyzer_eval (((struct s2 *)&x)->arr[3] == 'D'); /* { dg-warning "TRUE" } */
  35   struct s3 *p3 = (struct s3 *)&x;
  36   __analyzer_eval (p3->arr[0].a == 'A'); /* { dg-warning "TRUE" } */
  37   __analyzer_eval (p3->arr[0].b == 'B'); /* { dg-warning "TRUE" } */
  38   __analyzer_eval (p3->arr[1].a == 'C'); /* { dg-warning "TRUE" } */
  39   __analyzer_eval (p3->arr[1].b == 'D'); /* { dg-warning "TRUE" } */
  40
  41   ((struct s2 *)&x)->arr[1] = '#';
  42   __analyzer_eval (((struct s2 *)&x)->arr[1] == '#'); /* { dg-warning "TRUE" } */
  43   __analyzer_eval (x.b == '#'); /* { dg-warning "TRUE" } */
  44   __analyzer_eval (p3->arr[0].b == '#'); /* { dg-warning "TRUE" } */
  45 }
  46
  47 void test_2 ()
  48 {
  49   struct s2 x = {{'A', 'B', 'C', 'D'}};
  50   __analyzer_eval (x.arr[0] == 'A'); /* { dg-warning "TRUE" } */
  51   __analyzer_eval (x.arr[1] == 'B'); /* { dg-warning "TRUE" } */
  52   __analyzer_eval (x.arr[2] == 'C'); /* { dg-warning "TRUE" } */
  53   __analyzer_eval (x.arr[3] == 'D'); /* { dg-warning "TRUE" } */
  54   struct s1 *p = (struct s1 *)&x;
  55   __analyzer_eval (p->a == 'A'); /* { dg-warning "TRUE" } */
  56   __analyzer_eval (p->b == 'B'); /* { dg-warning "TRUE" } */
  57   __analyzer_eval (p->c == 'C'); /* { dg-warning "TRUE" } */
  58   __analyzer_eval (p->d == 'D'); /* { dg-warning "TRUE" } */
  59 }
  60
  61 void test_3 ()
  62 {
  63   struct s3 x = {'A', 'B', 'C', 'D'};
  64   __analyzer_eval (x.arr[0].a == 'A'); /* { dg-warning "TRUE" } */
  65   __analyzer_eval (x.arr[0].b == 'B'); /* { dg-warning "TRUE" } */
  66   __analyzer_eval (x.arr[1].a == 'C'); /* { dg-warning "TRUE" } */
  67   __analyzer_eval (x.arr[1].b == 'D'); /* { dg-warning "TRUE" } */
  68   struct s1 *p1 = (struct s1 *)&x;
  69   __analyzer_eval (p1->a == 'A'); /* { dg-warning "TRUE" } */
  70   __analyzer_eval (p1->b == 'B'); /* { dg-warning "TRUE" } */
  71   __analyzer_eval (p1->c == 'C'); /* { dg-warning "TRUE" } */
  72   __analyzer_eval (p1->d == 'D'); /* { dg-warning "TRUE" } */
  73   struct s2 *p2 = (struct s2 *)&x;
  74   __analyzer_eval (p2->arr[0] == 'A'); /* { dg-warning "TRUE" } */
  75   __analyzer_eval (p2->arr[1] == 'B'); /* { dg-warning "TRUE" } */
  76   __analyzer_eval (p2->arr[2] == 'C'); /* { dg-warning "TRUE" } */
  77   __analyzer_eval (p2->arr[3] == 'D'); /* { dg-warning "TRUE" } */
  78 }