https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118549
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Sam James from comment #3) > (In reply to Andrew Pinski from comment #1) > > Confirmed. It works for the added __builtin_unreachable if following through > > for C++ though. > > I can't get it to fail for C++ either? (https://godbolt.org/z/cnnKWYrrs) You missed understood, I was talking about following through to the end of the function with a return type of non-void. e.g. https://godbolt.org/z/d7zqPeP4x