[PATCH] D13677: [IR] Fix bug in `ConstantRange::intersectWith`

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 12 18:22:32 PDT 2015


sanjoy abandoned this revision.
sanjoy added a comment.

This change is unnecessary and buggy.  I was working under the assumption that everything in `X.intersectWith(Y)` has to belong to both `X` and `Y`; whereas `X.intersectWith(Y)` is //allowed// to return a superset of the actual mathematical intersection of `X` and `Y`.  This change is buggy today because it will sometimes return a proper subset of the mathematical intersection of `X` and `Y`.


http://reviews.llvm.org/D13677





More information about the llvm-commits mailing list