[PATCH] D69662: [Checkers] Avoid using evalCall in StreamChecker.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 1 13:04:47 PDT 2019
NoQ added a comment.
But why?
================
Comment at: clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:161
.castAs<DefinedSVal>();
state = state->BindExpr(CE, C.getLocationContext(), RetVal);
----------------
You're not allowed to do this in `checkPostCall` because other post-call checkers may have already read the return value.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D69662/new/
https://reviews.llvm.org/D69662
More information about the cfe-commits
mailing list