1  /* { dg-require-effective-target int32plus } */
       2  int __attribute__ ((noinline))
       3  foo (void)
       4  {
       5    return 123;
       6  }
       7  
       8  int __attribute__ ((noinline))
       9  bar (void)
      10  {
      11    int c = 1;
      12    c |= 4294967295 ^ (foo () | 4073709551608);
      13    return c;
      14  }
      15  
      16  int
      17  main ()
      18  {
      19    if (bar () != 0x83fd4005)
      20      __builtin_abort ();
      21  }