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