[PATCH] D131067: [analyzer] Treat values passed as parameter as escaped
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Sep 20 17:45:29 PDT 2022
NoQ added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp:538
+ CallExpr::const_arg_range Args) {
+ for (const auto &[Param, Arg] : llvm::zip(FD->parameters(), Args)) {
+ if (!Param->getType()->isReferenceType())
----------------
IIRC there are a few cases where parameters and arguments don't zip together nicely (cf. the hacks we needed to do in `CXXMemberOperatorCall::getAdjustedParameterIndex()`, `CXXMemberOperatorCall::::getASTArgumentIndex()`).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D131067/new/
https://reviews.llvm.org/D131067
More information about the cfe-commits
mailing list