[LLVMdev] GSoC - Range Analysis
John Regehr
regehr at cs.utah.edu
Tue Apr 3 11:08:32 PDT 2012
Another excellent use for range analysis would be to warn about signed
operations that will definitely overflow.
John
More information about the llvm-dev
mailing list