https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98834
--- Comment #3 from Matthias Kretz (Vir) <kretz at kde dot org> --- Created attachment 50055 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50055&action=edit unreduced test case This is the test case I gave to C-Vise. It's already reduced from a more confusing test, where preceding COMPARE(...) would fail by taking the fail path unconditionally. Which now makes sense, since GCC considered the following code to be unreachable.