gcc/testsuite/gcc.dg/Warray-bounds-77.c

   1 /* PR middle-end/100137 - -Warray-bounds false positive on varying offset
   2    plus negative
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall" } */
   5
   6 extern char ax[], a1[1], a2[2], a3[3], a4[4], a5[5];
   7
   8 int* ptr;
   9 #define X (*ptr++)
  10
  11
  12 __attribute__ ((noipa)) void
  13 array_plus_var_minus_cstint (int i, int j)
  14 {
  15   {
  16     const char *p = ax;
  17     p += i;
  18     X = p[-1];
  19     X = p[-123];
  20   }
  21
  22   {
  23     const char *p = a1;
  24     p += i;
  25     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
  26     X = p[-2];      // { dg-warning "\\\[-Warray-bounds" }
  27     X = p[-3];      // { dg-warning "\\\[-Warray-bounds" }
  28     X = p[-4];      // { dg-warning "\\\[-Warray-bounds" }
  29   }
  30
  31   {
  32     const char *p = a2;
  33     p += i;
  34     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
  35     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
  36     X = p[-3];      // { dg-warning "\\\[-Warray-bounds" }
  37     X = p[-4];      // { dg-warning "\\\[-Warray-bounds" }
  38   }
  39
  40   {
  41     const char *p = a3;
  42     p += i;
  43     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
  44     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
  45     X = p[-3];      // { dg-bogus "\\\[-Warray-bounds" }
  46     X = p[-4];      // { dg-warning "\\\[-Warray-bounds" }
  47     X = p[-5];      // { dg-warning "\\\[-Warray-bounds" }
  48   }
  49
  50   {
  51     const char *p = a4;
  52     p += i;
  53     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
  54     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
  55     X = p[-3];      // { dg-bogus "\\\[-Warray-bounds" }
  56     X = p[-4];      // { dg-bogus "\\\[-Warray-bounds" }
  57     X = p[-5];      // { dg-warning "\\\[-Warray-bounds" }
  58     X = p[-6];      // { dg-warning "\\\[-Warray-bounds" }
  59   }
  60
  61   {
  62     const char *p = a5;
  63     p += i;
  64     p += j;
  65     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
  66     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
  67     X = p[-3];      // { dg-bogus "\\\[-Warray-bounds" }
  68     X = p[-4];      // { dg-bogus "\\\[-Warray-bounds" }
  69     X = p[-5];      // { dg-bogus "\\\[-Warray-bounds" }
  70     X = p[-6];      // { dg-warning "\\\[-Warray-bounds" }
  71   }
  72 }
  73
  74
  75 __attribute__ ((noipa)) void
  76 array_plus_var_minus_cstlong (long i, long j)
  77 {
  78   {
  79     const char *p = ax;
  80     p += i;
  81     X = p[-1];
  82     X = p[-123];
  83   }
  84
  85   {
  86     const char *p = a1;
  87     p += i;
  88     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
  89     X = p[-2];      // { dg-warning "\\\[-Warray-bounds" }
  90     X = p[-3];      // { dg-warning "\\\[-Warray-bounds" }
  91     X = p[-4];      // { dg-warning "\\\[-Warray-bounds" }
  92   }
  93
  94   {
  95     const char *p = a2;
  96     p += i;
  97     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
  98     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
  99     X = p[-3];      // { dg-warning "\\\[-Warray-bounds" }
 100     X = p[-4];      // { dg-warning "\\\[-Warray-bounds" }
 101   }
 102
 103   {
 104     const char *p = a3;
 105     p += i;
 106     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
 107     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
 108     X = p[-3];      // { dg-bogus "\\\[-Warray-bounds" }
 109     X = p[-4];      // { dg-warning "\\\[-Warray-bounds" }
 110     X = p[-5];      // { dg-warning "\\\[-Warray-bounds" }
 111   }
 112
 113   {
 114     const char *p = a4;
 115     p += i;
 116     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
 117     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
 118     X = p[-3];      // { dg-bogus "\\\[-Warray-bounds" }
 119     X = p[-4];      // { dg-bogus "\\\[-Warray-bounds" }
 120     X = p[-5];      // { dg-warning "\\\[-Warray-bounds" }
 121     X = p[-6];      // { dg-warning "\\\[-Warray-bounds" }
 122   }
 123
 124   {
 125     const char *p = a5;
 126     p += i;
 127     p += j;
 128     X = p[-1];      // { dg-bogus "\\\[-Warray-bounds" }
 129     X = p[-2];      // { dg-bogus "\\\[-Warray-bounds" }
 130     X = p[-3];      // { dg-bogus "\\\[-Warray-bounds" }
 131     X = p[-4];      // { dg-bogus "\\\[-Warray-bounds" }
 132     X = p[-5];      // { dg-bogus "\\\[-Warray-bounds" }
 133     X = p[-6];      // { dg-warning "\\\[-Warray-bounds" }
 134   }
 135 }