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
6struct 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
42int
43foo (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
52extern void abort (void);
53
54int
55main ()
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}
65