2 /* { dg-options "-O2" } */
15 void link_error (void);
16 int bar (struct S
, int);
19 foo (int a
, struct T b
)
28 /* Since 'c' may be pointing to NULL here, we used to flag it as
29 pointing anywhere, which was forcing the aliaser to mark as
30 call-clobbered every other variable pointed-to by 'c' ('b' in
31 this case). This, in turn, caused the insertion of V_MAY_DEFs
32 for 'b' at this call-site, which prevented constant propagation
33 from 'b.s.w = 3' to 'if (b.s.w != 3)'. */
49 int bar (struct S x
, int i
)