2 /* { dg-options "-O2" } */
9 struct tree_decl_u1_a {
10 unsigned int align : 24;
11 unsigned int off_align : 8;
16 extern void abort (void);
19 assemble_variable (struct tree_decl decl)
23 align = decl.u1.a.align;
25 if (align > (1 << ((8 * 4) < 64 ? (8 * 4) - 2 : 62)))
26 align = (1 << ((8 * 4) < 64 ? (8 * 4) - 2 : 62));
28 /* VRP should not be propagating 0 to the RHS of this assignment.
29 But it was erroneously applying a cast operation between types of
30 different precision. align is an unsigned int with range [0,
31 0x4000000] but the .align field holds only 24 bits. So the cast
32 was returning a [0, 0] range. */
33 decl.u1.a.align = align;
35 return decl.u1.a.align;
40 struct tree_decl decl;
42 unsigned int x = assemble_variable (decl);