1/* { dg-do run } */ 2/* { dg-options "-Os" } */ 3 4union U 5{ 6 unsigned int f0; 7 int f1; 8}; 9 10int a, d; 11 12void 13fn1 (union U p) 14{ 15 if (p.f1 <= 0) 16 if (a) 17 d = 0; 18} 19 20void 21fn2 () 22{ 23 d = 0; 24 union U b = { 4294967286U }; 25 fn1 (b); 26} 27 28int 29main () 30{ 31 fn2 (); 32 return 0; 33} 34