[PATCH] D45920: [analyzer] Move RangeSet related declarations into the RangedConstraintManager header.

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.

Another approach would be to instead teach `RangedConstraintManager` to convert it's constraints to Z3. That would be an unwanted dependency, but the change would be much smaller, and the internals of the solver would not have to be exposed. @NoQ thoughts?


Repository:
  rC Clang

https://reviews.llvm.org/D45920