gcc/testsuite/gcc.dg/20070725-1.c

   1 /* This used to fail due to a ifcombine problem wrecking 64bit
   2    checks.  Fixed with rev. 126876.  */
   3 /* { dg-do run } */
   4 /* { dg-options "-O1" } */
   5
   6 struct tree_base
   7 {
   8   unsigned code:16;
   9
  10   unsigned side_effects_flag:1;
  11   unsigned constant_flag:1;
  12   unsigned addressable_flag:1;
  13   unsigned volatile_flag:1;
  14   unsigned readonly_flag:1;
  15   unsigned unsigned_flag:1;
  16   unsigned asm_written_flag:1;
  17   unsigned nowarning_flag:1;
  18
  19   unsigned used_flag:1;
  20   unsigned nothrow_flag:1;
  21   unsigned static_flag:1;
  22   unsigned public_flag:1;
  23   unsigned private_flag:1;
  24   unsigned protected_flag:1;
  25   unsigned deprecated_flag:1;
  26   unsigned invariant_flag:1;
  27
  28   unsigned lang_flag_0:1;
  29   unsigned lang_flag_1:1;
  30   unsigned lang_flag_2:1;
  31   unsigned lang_flag_3:1;
  32   unsigned lang_flag_4:1;
  33   unsigned lang_flag_5:1;
  34   unsigned lang_flag_6:1;
  35   unsigned visited:1;
  36
  37   unsigned spare1:16;
  38   unsigned spare2:8;
  39   unsigned long  a;
  40 };
  41
  42 int
  43 foo (struct tree_base *rhs)
  44 {
  45   if (({const struct tree_base* __t = (rhs);  __t;})->readonly_flag
  46       && (rhs)->static_flag)
  47     return 1;
  48
  49   return 0;
  50 }
  51
  52 extern void abort (void);
  53
  54 int
  55 main ()
  56 {
  57   struct tree_base t;
  58
  59   t.readonly_flag = t.static_flag = 0;
  60   if (foo (&t))
  61     abort ();
  62
  63   return 0;
  64 }