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

   1 /* PR tree-optimization/84047 - missing -Warray-bounds on an out-of-bounds
   2    index into an array
   3    { dg-do compile }
   4    { dg-options "-O2 -Warray-bounds=2 -ftrack-macro-expansion=0" } */
   5
   6 #include "range.h"
   7
   8 #define MAX DIFF_MAX
   9 #define MIN DIFF_MIN
  10
  11 void sink (int, ...);
  12
  13 #define T(...)   sink (0, __VA_ARGS__)
  14
  15 void test_global_char_array (void)
  16 {
  17   extern char gcar1[1];
  18   char *p = gcar1;
  19
  20   T (p[MIN]);       /* { dg-warning "subscript -\[0-9\]+ is outside array bounds of .char\\\[1]." } */
  21   T (p[-1]);        /* { dg-warning "subscript -1 is outside array bounds of .char\\\[1]." } */
  22   T (p[0]);
  23   T (p[1]);         /* { dg-warning "subscript 1 is outside array bounds of .char\\\[1]." } */
  24   T (p[MAX]);       /* { dg-warning "subscript \[0-9\]+ is outside array bounds of .char\\\[1]." } */
  25
  26   T (&p[MIN]);      /* { dg-warning "subscript -\[0-9\]+ is \(below|outside\) array bounds of .char\\\[1]." } */
  27   T (&p[-1]);       /* { dg-warning "subscript -1 is \(below|outside\) array bounds of .char\\\[1]." } */
  28   T (&p[0]);
  29   T (&p[1]);
  30   T (&p[2]);        /* { dg-warning "subscript 2 is \(above|outside\) array bounds of .char\\\[1]." } */
  31   T (&p[MAX]);      /* { dg-warning "subscript \[0-9\]+ is \(above|outside\) array bounds of .char\\\[1]." } */
  32
  33   extern char gcar3[3];
  34   char *q = gcar3;
  35
  36   T (q[MIN]);       /* { dg-warning "subscript -\[0-9\]+ is outside array bounds of .char\\\[3]." } */
  37   T (q[-1]);        /* { dg-warning "subscript -1 is outside array bounds of .char\\\[3]." } */
  38   T (q[0]);
  39   T (q[1]);
  40   T (q[2]);
  41   T (q[3]);         /* { dg-warning "subscript 3 is outside array bounds of .char\\\[3]." } */
  42   T (q[MAX]);       /* { dg-warning "subscript \[0-9\]+ is outside array bounds of .char\\\[3]." } */
  43
  44   T (&q[MIN]);      /* { dg-warning "subscript -\[0-9\]+ is \(below|outside\) array bounds of .char\\\[3]." } */
  45   T (&q[-1]);       /* { dg-warning "subscript -1 is \(below|outside\) array bounds of .char\\\[3]." } */
  46   T (&q[0]);
  47   T (&q[1]);
  48   T (&q[2]);
  49   T (&q[3]);
  50   T (&q[4]);        /* { dg-warning "subscript 4 is \(above|outside\) array bounds of .char\\\[3]." } */
  51   T (&q[MAX]);      /* { dg-warning "subscript \[0-9\]+ is \(above|outside\) array bounds of .char\\\[3]." } */
  52 }
  53
  54
  55 void test_global_int_array (void)
  56 {
  57   /* Use smaller values to prevent false negatives due to undetected
  58      integer overflow/wrapping.  */
  59   ptrdiff_t min = MIN / sizeof (int);
  60   ptrdiff_t max = MAX / sizeof (int);
  61
  62   extern int giar1[1];
  63   extern int giar3[3];
  64
  65   int *p = giar1;
  66
  67   T (p[min]);       /* { dg-warning "subscript -\[0-9\]+ is outside array bounds of .int\\\[1]." } */
  68   T (p[-1]);        /* { dg-warning "subscript -1 is outside array bounds of .int\\\[1]." } */
  69   T (p[0]);
  70   T (p[1]);         /* { dg-warning "subscript 1 is outside array bounds of .int\\\[1]." } */
  71   T (p[max]);       /* { dg-warning "subscript \[0-9\]+ is outside array bounds of .int\\\[1]." } */
  72
  73   T (&p[min]);      /* { dg-warning "subscript -\[0-9\]+ is \(below|outside\) array bounds of .int\\\[1]." } */
  74   T (&p[-1]);       /* { dg-warning "subscript -1 is \(below|outside\) array bounds of .int\\\[1]." } */
  75   T (&p[0]);
  76   T (&p[1]);
  77   T (&p[2]);        /* { dg-warning "subscript 2 is \(above|outside\) array bounds of .int\\\[1]." } */
  78   T (&p[max]);      /* { dg-warning "subscript \[0-9\]+ is \(above|outside\) array bounds of .int\\\[1]." } */
  79
  80   int *q = giar3;
  81
  82   T (q[min]);       /* { dg-warning "subscript -\[0-9\]+ is outside array bounds of .int\\\[3]." } */
  83   T (q[-1]);        /* { dg-warning "subscript -1 is outside array bounds of .int\\\[3]." } */
  84   T (q[0]);
  85   T (q[1]);
  86   T (q[2]);
  87   T (q[3]);         /* { dg-warning "subscript 3 is outside array bounds of .int\\\[3]." } */
  88   T (q[max]);       /* { dg-warning "subscript \[0-9\]+ is outside array bounds of .int\\\[3]." } */
  89
  90   T (&q[min]);      /* { dg-warning "subscript -\[0-9\]+ is \(below|outside\) array bounds of .int\\\[3]." } */
  91   T (&q[-1]);       /* { dg-warning "subscript -1 is \(below|outside\) array bounds of .int\\\[3]." } */
  92   T (&q[0]);
  93   T (&q[1]);
  94   T (&q[2]);
  95   T (&q[3]);
  96   T (&q[4]);        /* { dg-warning "subscript 4 is \(above|outside\) array bounds of .int\\\[3]." } */
  97   T (&q[max]);      /* { dg-warning "subscript \[0-9\]+ is \(above|outside\) array bounds of .int\\\[3]." } */
  98 }
  99
 100
 101 void test_global_short_2dim_array (void)
 102 {
 103   extern short giar3_5[3][5];
 104
 105   short *p = giar3_5[0];
 106
 107   /* The access below isn't diagnosed because the reference is transformed
 108      into MEM_REF (short*, &giar3_5, 0), i.e., *giar3_5[0][0].  */
 109   T (p[MIN]);       /* { dg-warning "subscript -\[0-9\]+ is outside array bounds of .short int\\\[3]" "bug" { xfail *-*-*} } */
 110   T (p[-1]);        /* { dg-warning "subscript -1 is outside array bounds of .short int\\\[3]" } */
 111   T (p[0]);
 112   T (p[1]);
 113   T (p[2]);
 114   T (p[15]);        /* { dg-warning "subscript 15 is outside array bounds of .short int\\\[3]" } */
 115   T (p[MAX]);       /* { dg-warning "subscript -?\[0-9\]+ is outside array bounds of .short int\\\[3]" } */
 116
 117   T (&p[MIN]);      /* { dg-warning "subscript -\[0-9\]+ is \(below|outside\) array bounds of .short int\\\[3]" "bug" { xfail *-*-* } } */
 118   T (&p[-1]);       /* { dg-warning "subscript -1 is \(below|outside\) array bounds of .short int\\\[3]" } */
 119   T (&p[0]);
 120   T (&p[1]);
 121   T (&p[2]);
 122   T (&p[3]);
 123   T (&p[16]);       /* { dg-warning "subscript 16 is \(above|outside\) array bounds of .short int\\\[3]" } */
 124   T (&p[MAX]);      /* { dg-warning "subscript -?\[0-9\]+ is \(above|outside\) array bounds of .short int\\\[3]" } */
 125 }
 126
 127
 128 void test_local_char_array (void)
 129 {
 130   char ar1[1] = { 1 };
 131   char *p = ar1;
 132
 133   T (p[MIN]);      /* { dg-warning "subscript -\[0-9\]+ is outside array bounds of .char\\\[1]." } */
 134   T (p[-1]);       /* { dg-warning "subscript -1 is outside array bounds of .char\\\[1]." } */
 135   T (p[0]);
 136   T (p[1]);         /* { dg-warning "subscript 1 is outside array bounds of .char\\\[1]." } */
 137   T (p[MAX]);       /* { dg-warning "subscript \[0-9\]+ is outside array bounds of .char\\\[1]." } */
 138
 139   T (&p[MIN]);     /* { dg-warning "subscript -\[0-9\]+ is \(below|outside\) array bounds of .char\\\[1]." } */
 140   T (&p[-1]);      /* { dg-warning "subscript -1 is \(below|outside\) array bounds of .char\\\[1]." } */
 141   T (&p[0]);
 142   T (&p[1]);
 143   T (&p[2]);        /* { dg-warning "subscript 2 is \(above|outside\) array bounds of .char\\\[1]." } */
 144   T (&p[MAX]);      /* { dg-warning "subscript \[0-9\]+ is \(above|outside\) array bounds of .char\\\[1]." } */
 145
 146   char ar3[3] = { 1, 2, 3 };
 147   p = ar3;
 148
 149   T (p[MIN]);       /* { dg-warning "subscript -\[0-9\]+ is outside array bounds of .char\\\[3]." } */
 150   T (p[-1]);        /* { dg-warning "subscript -1 is outside array bounds of .char\\\[3]." } */
 151   T (p[0]);
 152   T (p[1]);
 153   T (p[2]);
 154   T (p[3]);         /* { dg-warning "subscript 3 is outside array bounds of .char\\\[3]." } */
 155   T (p[MAX]);       /* { dg-warning "subscript \[0-9\]+ is outside array bounds of .char\\\[3]." } */
 156
 157   T (&p[MIN]);      /* { dg-warning "subscript -\[0-9\]+ is \(below|outside\) array bounds of .char\\\[3]." } */
 158   T (&p[-1]);       /* { dg-warning "subscript -1 is \(below|outside\) array bounds of .char\\\[3]." } */
 159   T (&p[0]);
 160   T (&p[1]);
 161   T (&p[2]);
 162   T (&p[3]);
 163   T (&p[4]);        /* { dg-warning "subscript 4 is \(above|outside\) array bounds of .char\\\[3]." } */
 164   T (&p[MAX]);      /* { dg-warning "subscript \[0-9\]+ is \(above|outside\) array bounds of .char\\\[3]." } */
 165 }
 166
 167 struct S
 168 {
 169   int a[2], b[3];
 170 } s [4];
 171
 172 void test_struct_array_cst (void)
 173 {
 174   T (s[0].a[0] + s[0].a[1] + s[0].b[0] + s[0].b[1] + s[0].b[2] + s[0].b[2]
 175      + s[1].a[0] + s[1].a[1] + s[1].b[0] + s[1].b[1] + s[1].b[2] + s[1].b[2]
 176      + s[2].a[0] + s[2].a[1] + s[2].b[0] + s[2].b[1] + s[2].b[2] + s[2].b[2]
 177      + s[3].a[0] + s[3].a[1] + s[3].b[0] + s[3].b[1] + s[3].b[2] + s[3].b[2]);
 178
 179   T (&s[0].a[2],
 180      &s[0].b[3],
 181      &s[1].a[2],
 182      &s[1].b[3],
 183      &s[2].a[2],
 184      &s[2].b[3],
 185      &s[3].a[2],
 186      &s[3].b[3]);
 187
 188   T (s[0].a[2]);    /* { dg-warning "subscript 2 is above array bounds of .int\\\[2\\\]." } */
 189   T (s[0].b[3]);    /* { dg-warning "subscript 3 is above array bounds of .int\\\[3\\\]." } */
 190   T (s[1].a[2]);    /* { dg-warning "subscript 2 is above array bounds of .int\\\[2\\\]." } */
 191   T (s[1].b[3]);    /* { dg-warning "subscript 3 is above array bounds of .int\\\[3\\\]." } */
 192   T (s[2].a[2]);    /* { dg-warning "subscript 2 is above array bounds of .int\\\[2\\\]." } */
 193   T (s[2].b[3]);    /* { dg-warning "subscript 3 is above array bounds of .int\\\[3\\\]." } */
 194   T (s[3].a[2]);    /* { dg-warning "subscript 2 is above array bounds of .int\\\[2\\\]." } */
 195   T (s[3].b[3]);    /* { dg-warning "subscript 3 is above array bounds of .int\\\[3\\\]." } */
 196
 197   T (s[4].a[0]);    /* { dg-warning "subscript 4 is above array bounds of .struct S\\\[4\\\]." } */
 198   T (s[4].a[2]);    /* { dg-warning "subscript 4 is above array bounds of .struct S\\\[4\\\]." } */
 199                     /* { dg-warning "subscript 2 is above array bounds of .int\\\[2\\\]." "" { target *-*-* } .-1 } */
 200 }