[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