[PATCH] D131438: [clang][dataflow] Analyze constructor bodies
Stanislav Gatev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 10 01:43:17 PDT 2022
sgatev accepted this revision.
sgatev added inline comments.
================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h:379
+ /// Shared implementation of `pushCall` overloads.
+ void pushCallInternal(const FunctionDecl *FuncDecl,
+ ArrayRef<const Expr *> Args);
----------------
Let's add a note that unlike `pushCall`, this member is invoked on the environment of the callee.
================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h:380
+ void pushCallInternal(const FunctionDecl *FuncDecl,
+ ArrayRef<const Expr *> Args);
+
----------------
`#include "llvm/ADT/ArrayRef.h"`
================
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:667-670
+ const ControlFlowContext *CFCtx = Env.getControlFlowContext(F);
+
+ if (!CFCtx)
+ return;
----------------
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D131438/new/
https://reviews.llvm.org/D131438
More information about the cfe-commits
mailing list