[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