[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