gcc/testsuite/c-c++-common/analyzer/compound-assignment-5.c

   1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   2
   3 struct coord
   4 {
   5   int x;
   6   int y;
   7 };
   8
   9 /* Copying from one on-stack array to another.  */
  10
  11 void test_1 (void)
  12 {
  13   struct coord arr_a[16];
  14   struct coord arr_b[16];
  15   arr_a[3].x = 5;
  16   arr_a[3].y = 6;
  17
  18   arr_b[7] = arr_a[3];
  19
  20   __analyzer_eval (arr_b[7].x == 5); /* { dg-warning "TRUE" } */
  21   __analyzer_eval (arr_b[7].y == 6); /* { dg-warning "TRUE" } */
  22 }
  23
  24 /* Copying from an on-stack array to a global array.  */
  25
  26 struct coord glob_arr2[16];
  27
  28 void test_2 (void)
  29 {
  30   struct coord arr[16];
  31   arr[3].x = 5;
  32   arr[3].y = 6;
  33
  34   glob_arr2[7] = arr[3];
  35
  36   __analyzer_eval (glob_arr2[7].x == 5); /* { dg-warning "TRUE" } */
  37   __analyzer_eval (glob_arr2[7].y == 6); /* { dg-warning "TRUE" } */
  38 }
  39
  40 /* Copying from a partially initialized on-stack array to a global array.  */
  41
  42 struct coord glob_arr3[16];
  43
  44 void test_3 (void)
  45 {
  46   struct coord arr[16];
  47   arr[3].y = 6;
  48
  49   glob_arr3[7] = arr[3]; // or should the uninit warning be here?
  50
  51   __analyzer_eval (glob_arr3[7].y == 6); /* { dg-warning "TRUE" } */
  52   __analyzer_eval (glob_arr3[7].x); /* { dg-warning "uninitialized" "uninit" } */
  53 }
  54
  55 /* Symbolic bindings: copying from one array to another.  */
  56
  57 void test_4 (int i)
  58 {
  59   struct coord arr_a[16];
  60   struct coord arr_b[16];
  61   arr_a[i].x = 5;
  62   arr_a[i].y = 6;
  63   __analyzer_eval (arr_a[i].x == 5); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
  64   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
  65   __analyzer_eval (arr_a[i].y == 6); /* { dg-warning "TRUE" } */
  66
  67   arr_b[i] = arr_a[i];
  68
  69   __analyzer_eval (arr_b[i].x == 5); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
  70   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
  71   __analyzer_eval (arr_b[i].y == 6); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
  72   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
  73 }
  74
  75 /* Symbolic bindings: copying within an array: symbolic src and dest  */
  76
  77 void test_5a (int i, int j)
  78 {
  79   struct coord arr[16];
  80   arr[i].x = 5;
  81   arr[i].y = 6;
  82
  83   arr[j] = arr[i];
  84
  85   __analyzer_eval (arr[j].x == 5); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
  86   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
  87   __analyzer_eval (arr[j].y == 6); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
  88   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
  89 }
  90
  91 /* Symbolic bindings: copying within an array: symbolic src, concrete dest.  */
  92
  93 void test_5b (int i)
  94 {
  95   struct coord arr[16];
  96   arr[i].x = 5;
  97   arr[i].y = 6;
  98
  99   arr[3] = arr[i];
 100
 101   __analyzer_eval (arr[3].x == 5); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
 102   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
 103   __analyzer_eval (arr[3].y == 6); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
 104   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
 105 }
 106
 107 /* Symbolic bindings: copying within an array: concrete src, symbolic dest.  */
 108
 109 void test_5c (int i)
 110 {
 111   struct coord arr[16];
 112   arr[3].x = 5;
 113   arr[3].y = 6;
 114
 115   arr[i] = arr[3];
 116
 117   __analyzer_eval (arr[i].x == 5); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
 118   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
 119   __analyzer_eval (arr[i].y == 6); /* { dg-warning "TRUE" "TRUE" { xfail *-*-* } } */
 120   /* { dg-bogus "UNKNOWN" "UNKNOWN" { xfail *-*-* } .-1 } */
 121 }
 122
 123 /* No info on the subregion being copied, and hence
 124    binding_cluster2::maybe_get_compound_binding should return NULL.  */
 125
 126 struct coord glob_arr6[16];
 127
 128 void test_6 (void)
 129 {
 130   struct coord arr[16];
 131   arr[7] = glob_arr6[3];
 132
 133   __analyzer_eval (arr[7].x == 5); /* { dg-warning "UNKNOWN" } */
 134   __analyzer_eval (arr[7].y == 6); /* { dg-warning "UNKNOWN" } */
 135 }