[clang][dataflow] Add framework for testing analyses.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 16 Nov 2021 16:57:26 +0000 (16:57 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 10 Dec 2021 14:00:36 +0000 (14:00 +0000)
commit47d526d67e3cc66771eed1d0b607226a4fb9a5b5
treec57efe07ad132243afe883fc2dcb68a26e747c5a
parent505ad03c7d29c0937d46dc24b13b2e9ea2a6476a
[clang][dataflow] Add framework for testing analyses.

Adds a general-purpose framework to support testing of dataflow analyses.

Differential Revision: https://reviews.llvm.org/D115341
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
clang/unittests/Analysis/FlowSensitive/CMakeLists.txt
clang/unittests/Analysis/FlowSensitive/TestingSupport.cpp [new file with mode: 0644]
clang/unittests/Analysis/FlowSensitive/TestingSupport.h [new file with mode: 0644]
clang/unittests/Analysis/FlowSensitive/TestingSupportTest.cpp [new file with mode: 0644]