angelgarcia added a comment. I cannot find a way to make Daniel's idea work with equal intervals:
In this case, fix A can be applied because B is completely contained inside it. A: [a, b)[c, d) B: [a, b) This time, we should not apply anyone: A: [a, b) B: [a, b) And here they both have to be discarded again, but for a different reason: A: [a, b)[c, d) B: [e, f)[a, b) The problem is that we have three completely different situations that are the same from the point of view of interval "[a, b)". The local situation of individual intervals doesn't provide enough information. http://reviews.llvm.org/D13516 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits