[llvm-commits] [llvm] r170020 - in /llvm/trunk: lib/Transforms/InstCombine/InstCombineCompares.cpp test/Transforms/InstCombine/icmp.ll

Duncan Sands baldrick at free.fr
Mon Dec 17 01:09:09 PST 2012


On 16/12/12 21:59, David Majnemer wrote:
> The hope was that I could use it to find where clang might be using undefined
> behavior and see if it could be fixed.

At the point where instcombine does the problematic transform, it wouldn't be
too hard to have it insert a check that overflow is not occurring, and trap if
it occurs, as a hack to track down this bug.  But maybe it's easier to just use
usan since I think it catches this already?

Ciao, Duncan.



More information about the llvm-commits mailing list