[cfe-dev] [llvm-dev] Zero length function pointer equality
via cfe-dev
cfe-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 cfe-dev
mailing list