https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120004
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Richard Biener from comment #5) > unreachable() is in some cases added to make the CFG valid - in the past we > had a return in such places but unreachable seemed to be a better fit. > > For asm() we'd need "[[noreturn]]" (or rather [[return]]?). That would be something like the old patch: https://gcc.gnu.org/legacy-ml/gcc-patches/2000-01/msg00190.html .