(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
pr82596.c
       1  /* PR tree-optimization/82596 - missing -Warray-bounds on an out-of-bounds
       2     index into string literal
       3     { dg-do compile }
       4     { dg-options "-O2 -Warray-bounds" } */
       5  
       6  #define SIZE_MAX  __SIZE_MAX__
       7  #define SSIZE_MAX __PTRDIFF_MAX__
       8  #define SSIZE_MIN (-SSIZE_MAX - 1)
       9  
      10  void sink (int, ...);
      11  
      12  #define T(arg) sink (arg)
      13  
      14  void test_cststring (int i)
      15  {
      16    T (""[SSIZE_MIN]);                      /* { dg-warning "below array bounds" "string" { xfail lp64 } } */
      17    T (""[SSIZE_MIN + 1]);                  /* { dg-warning "below array bounds" "string" } */
      18    T (""[-1]);                             /* { dg-warning "below array bounds" "string" } */
      19    T (""[0]);
      20    T (""[1]);                              /* { dg-warning "above array bounds" "string" } */
      21    T ("0"[2]);                             /* { dg-warning "above array bounds" "string" } */
      22    T ("012"[2]);
      23    T ("012"[3]);
      24    T ("012"[4]);                           /* { dg-warning "above array bounds" "string" } */
      25    T ("0123"[SSIZE_MAX]);                  /* { dg-warning "above array bounds" "string" } */
      26    T ("0123"[SIZE_MAX]);                   /* { dg-warning "above array bounds" "string" } */
      27  }