[PATCH] D21010: Replace the implementation of ConstantRange::binaryAnd.

[John Regehr via llvm-commits]

regehr added a comment.

Also see section 3.5 of this paper (by the authors of the code above):

https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0ahUKEwjc4LqtgJPNAhXENhoKHRuLDX8QFggdMAA&url=https%3A%2F%2Fti.arc.nasa.gov%2Fpublications%2F20091%2Fdownload%2F&usg=AFQjCNEQ7Z1NLOlnzVYsL8PmV-z5w7mzyA&sig2=CDe8MBmoIeeGGyc0sd318w


http://reviews.llvm.org/D21010