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

   1 /* PR tree-optimization/86741 - ICE in -Warray-bounds indexing into
   2    an object of incomplete type
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall" }  */
   5 /* { dg-skip-if "acessing data memory with program memory address" { "avr-*-*" } } */
   6
   7 struct S
   8 {
   9   int s;
  10 };
  11
  12 void f (void);
  13
  14 void test_void (void)
  15 {
  16   extern void v;
  17   struct S *b = (struct S*)&v;
  18   if (b->s)
  19     f ();
  20 }
  21
  22 void test_incomplete_enum (void)
  23 {
  24   extern enum E e;
  25   struct S *b = (struct S*)&e;
  26   if (b->s)
  27     f ();
  28 }
  29
  30 void test_func (void)
  31 {
  32   struct S *b = (struct S*)&f;
  33   if (b->s)
  34     f ();
  35 }
  36
  37 /* { dg-prune-output "taking address of expression of type .void." } */