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

[John Regehr via llvm-commits]

regehr added a comment.

I've looked at the code and I agree that the implementation is sound and is precise for non-wrapped inputs.

A bad case for this algorithm is [-1,0) & [-1,1) where it returns the full set, but the precise result would be [-1, 1).


http://reviews.llvm.org/D21010