1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */
       3  
       4  int x = -106;
       5  int main()
       6  {
       7    // -123 - (0x8000000000000000 - -1)
       8    return (-123 - ((9223372036854775806LL ^ ~(x && 1)) - -1)) == 0;
       9  }