[clang][dataflow] Add transfer functions for logical and, or, not.
authorStanislav Gatev <sgatev@google.com>
Wed, 16 Feb 2022 16:47:37 +0000 (16:47 +0000)
committerStanislav Gatev <sgatev@google.com>
Thu, 17 Feb 2022 09:09:59 +0000 (09:09 +0000)
commitdd4dde8d39a9c36ea692635bdfc0c90cc8d755fd
treea3a0d1b49b099a6a135de368af7e83439d9253e3
parent25f1d50ca5a0193713b6b95927230bf7aea987f2
[clang][dataflow] Add transfer functions for logical and, or, not.

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/D119953
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
clang/include/clang/Analysis/FlowSensitive/Transfer.h
clang/include/clang/Analysis/FlowSensitive/Value.h
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp