[PATCH] D85424: [Analyzer] Crash fix for alpha.cplusplus.IteratorRange

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/IteratorRangeChecker.cpp:228
   if (auto ValAsLoc = RHS.getAs<Loc>()) {
     Value = State->getRawSVal(*ValAsLoc);
   }
----------------
Well, it looks like your value is not necessarily a function argument. The undefined value checker only catches undefined values passed as arguments directly.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85424