gcc/testsuite/g++.dg/warn/Warray-bounds-25.C

   1 /* PR middle-end/101601 - [12 Regression] -Warray-bounds triggers error:
   2    arrays of functions are not meaningful
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall" } */
   5
   6 typedef void Fvv (void);
   7
   8 extern Fvv* pf;       // { dg-message "'pf'" }
   9
  10 void f (...);
  11
  12 void test_funptr (void)
  13 {
  14   f (&pf);
  15   f (&pf + 1);
  16   f (&pf + 2);        // { dg-warning "subscript 2 is outside array bounds of 'void \\\(\\\* ?\\\[1]\\\)\\\(\\\)'" }
  17 }
  18
  19 typedef int Fii_ (int, ...);
  20
  21 extern Fii_* pfa[3];  // { dg-message "'pfa'" }
  22
  23 void test_funptr_array (void)
  24 {
  25   f (pfa);
  26   f (pfa + 1);
  27   f (pfa + 2);
  28   f (pfa + 3);
  29   f (pfa + 4);        // { dg-warning "subscript 4 is outside array bounds of 'int \\\(\\\* ?\\\[3]\\\)\\\(int, ...\\\)'" }
  30 }
  31
  32
  33 struct A;
  34 typedef void (A::*MFvv)(void);
  35
  36 MFvv pmf;
  37
  38 void test_memfunptr (void)
  39 {
  40   f (&pmf);
  41   f (&pmf + 1);
  42   f (&pmf + 2);       // { dg-warning "subscript 2 is outside array bounds of 'void \\\(A::\\\* ?\\\[1]\\\)\\\(\\\)'" }
  43 }
  44
  45
  46 typedef int (A::*MFii)(int);
  47
  48 MFii pmfa[4];
  49
  50 void test_memfunptr_array (void)
  51 {
  52   f (pmfa);
  53   f (pmfa + 1);
  54   f (pmfa + 2);
  55   f (pmfa + 3);
  56   f (pmfa + 4);
  57   f (pmfa + 5);       // { dg-warning "subscript 5 is outside array bounds of 'int \\\(A::\\\* ?\\\[4]\\\)\\\(int\\\)'" }
  58
  59 }