https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81148
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- C/C++ testcase: int x = -106; int main() { // -123 - (0x8000000000000000 - -1) return (-123 - ((9223372036854775806 ^ ~(x && 1)) - -1)) == 0; }