1 /* When comparisons of bit-fields to unsigned constants got shortened,
2 the shortened signed constant was wrongly marked as overflowing,
3 leading to a later integer_zerop failure and misoptimization.
4
5 Related to bug tree-optimization/16437 but shows the problem on
6 32-bit systems. */
7 /* Origin: Joseph Myers <jsm@polyomino.org.uk> */
8
9 /* { dg-require-effective-target int32plus } */
10
11 extern void abort (void);
12
13 struct s { int a:12, b:20; };
14
15 struct s x = { -123, -456 };
16
17 int
main(void)18 main (void)
19 {
20 if (x.a != -123U || x.b != -456U)
21 abort ();
22 return 0;
23 }
24