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

   1 /* PR middle-end/101671 - pr83510 fails with -Os because threader confuses
   2    -Warray-bounds
   3    { dg-do compile }
   4    { dg-options "-Os -Wall" } */
   5
   6 extern int f (void);
   7 extern void sink (unsigned int);
   8
   9 unsigned int a[10];
  10
  11 static unsigned int g (int i, int j)
  12 {
  13   if (i == 9)
  14     return j;
  15   else if (i == 10)
  16     return a[i];    // no warning here
  17   return 0;
  18 }
  19
  20 void test_g (int j)
  21 {
  22   for (int i = 0; i < 10; i++)
  23     {
  24       if (f ())
  25         sink (g (i, j));
  26     }
  27 }
  28
  29 static unsigned int h (int i, int j)
  30 {
  31   switch (i)
  32     {
  33     case 9:
  34       return j;
  35     case 10:
  36       return a[i];  // { dg-bogus "-Warray-bounds" "pr101671" }
  37     }
  38   return 0;
  39 }
  40
  41 void test_h (int j)
  42 {
  43   for (int i = 0; i < 10; i++)
  44     {
  45       if (f ())
  46         sink (h (i, j));
  47     }
  48 }