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

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Apr 21 05:33:23 PDT 2018


george.karpenkov added a comment.

> I could also move RangedConstraintManager.h under include

We probably don't want to do that: currently it can only be imported by files in `Core`, and we probably should keep it that way



================
Comment at: lib/StaticAnalyzer/Core/RangedConstraintManager.h:130
+template <>
+struct ProgramStateTrait<ConstraintRange>
+  : public ProgramStatePartialTrait<ConstraintRangeTy> {
----------------
Why not also `REGISTER_TRAIT_WITH_PROGRAMSTATE` here?


Repository:
  rC Clang

https://reviews.llvm.org/D45920





More information about the cfe-commits mailing list