[PATCH] D11977: Use modulo semantic to generate non-integer-overflow assumptions

[Tobias Grosser via llvm-commits]

grosser added a comment.

I did not had a detailed look yet, but wondered what the LNT results for
this patch looked like? Did this pass all tests and did we see a compile
time impact?

Tobias


http://reviews.llvm.org/D11977