[PATCH] D99797: [analyzer] Implemented RangeSet::Factory::unite function to handle intersections and adjacency

Thu Oct 7 08:23:54 PDT 2021

martong added a comment.

@ASDenysPetrov Nice work! I really appreciate the hard work you guys (with @vsavchenko) had done here. I really like that you have created visible test cases (though the last ones are a bit cryptic for me). It is going to take some more time to finish my review.

================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:179
+
+  // This calls when there are no ranges left in one of the ranges.
+  // Append the rest of the ranges from another range set to the Result
----------------
`This is called`

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D99797/new/

https://reviews.llvm.org/D99797