NoQ added a comment. Is it an option to canonicalize the expression so that `B - A` was never stored in the first place? I.e., do this range intersection at the moment of writing the range, not at the moment of reading the range.
This could be implemented by, say, comparing symbol IDs for `A` and `B` and making sure that in every stored `SymSymExpr` the first symbol's ID is greater than the second symbol's ID. Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D55007/new/ https://reviews.llvm.org/D55007 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
