(original) (raw)

> I'm inclined to omit the trap after a call to a noreturn function
\> for brevity - even though it does leave the possibility of
\> violating the noreturn contract leading to that fallthrough UB.

This is specifically the case where we needed it, at least when the
noreturn call is in the last block. Which is commonly the case, a
noreturn call is likely to have its block laid out at the end of a
function.
\--paulr