For those still unconvinced, I can make a very easy empirical argument that the LLVM willreturn attribute is highly profitable to the optimizer, and very very bad things been happen if you apply it incorrectly. That profitability is enough of a reason to precisely track it if you can, and the div OR exc effect is exactly equal to NOT willreturn.
1 Like