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

[Stanislav Gatev via Phabricator via cfe-commits]

sgatev added inline comments.


================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h:138
   ///
+  ///  `Call` must be either a `CallExpr` or a `CXXConstructExpr`.
+  ///
----------------
How about we define overloads that take these types instead of taking an `Expr` here? This should remove the need for type-checking and guarding against bad input in the implementation. `transferInlineCall` can be a template if necessary.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D131438