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