[PATCH] D131438: [clang][dataflow] Analyze constructor bodies

[Stanislav Gatev via Phabricator via cfe-commits]

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