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 extern void abort (void);
10 
11 struct s { int a:12, b:20; };
12 
13 struct s x = { -123, -456 };
14 
15 int
main(void)16 main (void)
17 {
18   if (x.a != -123U || x.b != -456U)
19     abort ();
20   return 0;
21 }
22