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

   1 /* PR middle-end/92333 - missing variable name referencing VLA in warnings
   2    PR middle-end/82608 - missing -Warray-bounds on an out-of-bounds VLA index
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall" }
   5    { dg-additional-options "-mtune=generic" { target { i?86-*-* x86_64-*-* } } } */
   6
   7 void sink (void*);
   8
   9 void test_char_vla_location (void)
  10 {
  11   unsigned nelts = 7;
  12
  13   char vla[nelts];    // { dg-message "declared here|while referencing" }
  14
  15   vla[0] = __LINE__;
  16   vla[nelts] = 0;     // { dg-warning "\\\[-Warray-bounds" }
  17
  18   sink (vla);
  19 }
  20
  21 void test_int_vla_location (void)
  22 {
  23   unsigned nelts = 7;
  24
  25   int vla[nelts];     // { dg-message "declared here|while referencing" }
  26
  27   vla[0] = __LINE__;
  28   vla[nelts] = 1;     // { dg-warning "\\\[-Warray-bounds" }
  29
  30   sink (vla);
  31 }
  32
  33 void test_struct_char_vla_location (void)
  34 {
  35   unsigned nelts = 7;
  36
  37   struct {
  38     char cvla[nelts]; // { dg-message "declared here|while referencing" }
  39   } s;
  40
  41   s.cvla[0] = __LINE__;
  42   s.cvla[nelts - 1] = 0; // { dg-warning "\\\[-Wstringop-overflow" "pr102706" { target { vect_slp_v2qi_store_align } } }
  43   s.cvla[nelts] = 0;  // { dg-warning "\\\[-Warray-bounds" }
  44
  45   sink (&s);
  46 }
  47
  48
  49 void test_struct_int_vla_location (void)
  50 {
  51   unsigned nelts = 7;
  52
  53   struct {
  54     int ivla[nelts];  // { dg-message "declared here|while referencing" }
  55   } s;
  56
  57   s.ivla[0] = __LINE__;
  58   s.ivla[nelts - 1] = 0;
  59   s.ivla[nelts] = 0;  // { dg-warning "\\\[-Warray-bounds" }
  60
  61   sink (&s);
  62 }