modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/pr37931.c (about)

     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  }