[llvm-dev] [cfe-dev] Zero length function pointer equality

via llvm-dev llvm-dev at lists.llvm.org
Mon Mar 22 07:39:28 PDT 2021


> 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



More information about the llvm-dev mailing list