[clang][dataflow] Add transfer functions for assignment
authorStanislav Gatev <sgatev@google.com>
Tue, 4 Jan 2022 13:47:14 +0000 (13:47 +0000)
committerStanislav Gatev <sgatev@google.com>
Mon, 10 Jan 2022 19:35:50 +0000 (19:35 +0000)
commite7481f6ee591678e3a70569c2e87597f148adb3e
tree3164d956f9d4afa805f2ba23c5de0da1572fe55f
parentf5b387988bd4885a973f35deaf3881524f526e3f
[clang][dataflow] Add transfer functions for assignment

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

Differential Revision: https://reviews.llvm.org/D116596
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp