[PATCH] D74760: [Analyzer] Fix for iterator modeling and checkers: handle negative numbers correctly

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus accepted this revision.
Szelethus added a comment.
This revision is now accepted and ready to land.

This patch is a good testament to how well those debug functions turned out. LGTM.



================
Comment at: clang/lib/StaticAnalyzer/Checkers/Iterator.cpp:203
   auto &SVB = State->getStateManager().getSValBuilder();
+  auto &BVF = State->getStateManager().getBasicVals();
 
----------------
Don't use auto here.


Repository:
  rC Clang

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

https://reviews.llvm.org/D74760