projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a87782c) | patch
[clang][dataflow] Add base types for building dataflow analyses
authorStanislav Gatev <sgatev@google.com>
Mon, 29 Nov 2021 15:11:35 +0000 (15:11 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 30 Nov 2021 14:44:40 +0000 (14:44 +0000)
commit6e2aecd759dc3f8bf664323388365ac234271e9b
tree5dd0f96f4020b91fb670358eb0c4d655aa5bec1ftree | snapshot
parenta87782c34d667d1c1a18fe82a9a7abfc72fd345bcommit | diff
[clang][dataflow] Add base types for building dataflow analyses

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, gribozavr2

Differential Revision: https://reviews.llvm.org/D114234
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h [new file with mode: 0644] blob
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h [new file with mode: 0644] blob
clang/include/clang/Analysis/FlowSensitive/DataflowLattice.h [new file with mode: 0644] blob
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h [new file with mode: 0644] blob
clang/lib/Analysis/CMakeLists.txt diff | blob | history
clang/lib/Analysis/FlowSensitive/CMakeLists.txt [new file with mode: 0644] blob
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;