1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */
       3  
       4  unsigned char x = 154;
       5  int foo() {
       6    // 8575 * (254408 - 9057) = 8575 * 245351 = 2103884825 = 0x7d66bc19
       7    return 8575 * (1652 * x - 9057);
       8  }
       9  
      10  int main() {
      11    foo();
      12    return 0;
      13  }