[PATCH] D55007: [Analyzer] Constraint Manager - Calculate Effective Range for Differences

[Artem Dergachev via Phabricator via cfe-commits]

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