[clang][dataflow] Add transfer functions for constructors
authorStanislav Gatev <sgatev@google.com>
Thu, 13 Jan 2022 13:53:52 +0000 (13:53 +0000)
committerStanislav Gatev <sgatev@google.com>
Fri, 14 Jan 2022 14:58:01 +0000 (14:58 +0000)
commit7d941d6d21e91e8466bf200da094d027338b92fa
tree368c92197ae85f02b86696b3dadf5091d05e6e3a
parent5726e55981044b3b2c5bc98272e9ccd0bf58dbec
[clang][dataflow] Add transfer functions for constructors

This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: ymandel, xazax.hun
Differential Revision: https://reviews.llvm.org/D117218
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp