[PATCH] D130306: [clang][dataflow] Analyze calls to in-TU functions

[NAKAMURA Takumi via Phabricator via cfe-commits]

chapuni added a comment.

A few variables cause warinings in -Asserts.



================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:216
+  assert(FuncDecl != nullptr);
+  const auto *Body = FuncDecl->getBody();
+  assert(Body != nullptr);
----------------
It is used only in assert.


================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:222
+  auto ParamIt = FuncDecl->param_begin();
+  auto ParamEnd = FuncDecl->param_end();
+  auto ArgIt = Call->arg_begin();
----------------
ditto


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D130306/new/

https://reviews.llvm.org/D130306