1  /* PR middle-end/37931 */
       2  
       3  extern void abort (void);
       4  
       5  int
       6  foo (int a, unsigned int b)
       7  {
       8    return (a | 1) & (b | 1);
       9  }
      10  
      11  int
      12  main (void)
      13  {
      14    if (foo (6, 0xc6) != 7)
      15      abort ();
      16    if (foo (0x80, 0xc1) != 0x81)
      17      abort ();
      18    if (foo (4, 4) != 5)
      19      abort ();
      20    if (foo (5, 4) != 5)
      21      abort ();
      22    return 0;
      23  }