[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