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

     1  /* { dg-options "-O -fexpensive-optimizations -fno-tree-bit-ccp" } */
     2  
     3  __attribute__ ((noinline, noclone))
     4  int
     5  foo (unsigned short x, unsigned short y)
     6  {
     7    int r;
     8    if (__builtin_mul_overflow (x, y, &r))
     9      __builtin_abort ();
    10    return r;
    11  }
    12  
    13  int
    14  main (void)
    15  {
    16    int x = 1;
    17    int y = 2;
    18    if (foo (x, y) != x * y)
    19      __builtin_abort ();
    20    return 0;
    21  }
    22