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

Johannes Doerfert via llvm-commits llvm-commits at lists.llvm.org
Sat Sep 26 14:19:08 PDT 2015


jdoerfert accepted this revision.
jdoerfert added a reviewer: jdoerfert.
jdoerfert added a comment.
This revision is now accepted and ready to land.

Commited in r247732.


http://reviews.llvm.org/D11977





More information about the llvm-commits mailing list