https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105189
David Stone <davidfromonline at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |davidfromonline at gmail dot com --- Comment #2 from David Stone <davidfromonline at gmail dot com> --- Simplified reproducer: https://godbolt.org/z/vbvKzPchP ``` int a() { return -1; } int f() { return (unsigned)a() >= 0 && 1; } ``` Interestingly, the bug does not occur for C code: https://godbolt.org/z/7efs1aEEz