[LLVMdev] Checked arithmetic

Jonathan S. Shapiro shap at eros-os.com
Thu Mar 27 09:29:50 PDT 2008


On Thu, 2008-03-27 at 09:51 -0600, John Regehr wrote:
> Hey, you need to be careful with this reasoning or else you'll end up 
> implementing a whole new language, compiler, and OS.
> 
> Oh wait nevermind :).

Don't forget prover. :-)


shap




More information about the llvm-dev mailing list