f57e6859a62fc6568a41df50b48a1ba785a5207c - llvm-project/clang - Git at Google

commit: f57e6859a62fc6568a41df50b48a1ba785a5207c
[log]
author: Stanislav Gatev <sgatev@google.com>
Mon Nov 29 15:11:35 2021 +0000
committer: Copybara-Service <copybara-worker@google.com>
Tue Nov 30 06:48:20 2021 -0800
tree: e3c937eeebcdfd15b7f04d48297bfefadcc79b21
parent: 5026ceeeb2194274d5caa476869ecfc2d61304fd [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

GitOrigin-RevId: 6e2aecd759dc3f8bf664323388365ac234271e9b

include/clang/Analysis/FlowSensitive/DataflowAnalysis.h[Added - diff]
include/clang/Analysis/FlowSensitive/DataflowEnvironment.h[Added - diff]
include/clang/Analysis/FlowSensitive/DataflowLattice.h[Added - diff]
include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h[Added - diff]
lib/Analysis/CMakeLists.txt[diff]
lib/Analysis/FlowSensitive/CMakeLists.txt[Added - diff]
lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp[Added - diff]

7 files changed

tree: e3c937eeebcdfd15b7f04d48297bfefadcc79b21