[PATCH] D86465: [analyzer][solver] Redesign constraint ranges data structure

Noel Grandin via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 24 09:36:41 PDT 2020


grandinj added inline comments.


================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h:88
+  //     structure is preferred.
+  using ImplType = llvm::SmallVector<Range, 4>;
+
----------------
Just curious - if they mostly contain 1 or 2 elements, why is N == 4  here?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86465



More information about the cfe-commits mailing list