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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
