projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8484bab) | patch
[clang][dataflow] Add transfer function for VarDecl statements
authorStanislav Gatev <sgatev@google.com>
Wed, 29 Dec 2021 11:31:02 +0000 (11:31 +0000)
committerStanislav Gatev <sgatev@google.com>
Tue, 4 Jan 2022 09:16:01 +0000 (09:16 +0000)
commitaf7bc39ba17d8c5250830e96881fb7211c7576bb
treece4213b0856ff3c7b8c1884391051c5b3a6ae8b9tree | snapshot
parent8484bab9cd5e5af11acf64e68c2f82e250e08dbecommit | diff
[clang][dataflow] Add transfer function for VarDecl statements

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: xazax.hun
Differential Revision: https://reviews.llvm.org/D116368
16 files changed:
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h [new file with mode: 0644] blob
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/StorageLocation.h [new file with mode: 0644] blob
clang/include/clang/Analysis/FlowSensitive/Transfer.h [new file with mode: 0644] blob
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/Value.h [new file with mode: 0644] blob
clang/lib/Analysis/FlowSensitive/CMakeLists.txt diff | blob | history
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp [new file with mode: 0644] blob
clang/lib/Analysis/FlowSensitive/Transfer.cpp [new file with mode: 0644] blob
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/CMakeLists.txt diff | blob | history
clang/unittests/Analysis/FlowSensitive/NoopAnalysis.h [new file with mode: 0644] blob
clang/unittests/Analysis/FlowSensitive/TestingSupport.h diff | blob | history
clang/unittests/Analysis/FlowSensitive/TestingSupportTest.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp [new file with mode: 0644] blob
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp diff | blob | history
Domain: System / Toolchain;