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

     1  /* PR tree-optimization/47155 */
     2  
     3  unsigned int a;
     4  static signed char b = -127;
     5  int c = 1;
     6  
     7  int
     8  main (void)
     9  {
    10    a = b <= (unsigned char) (-6 * c);
    11    if (!a)
    12      __builtin_abort ();
    13    return 0;
    14  }