Stanislav Gatev 87c32be023 [clang][dataflow] Include terminator statements in buildStmtToBasicBlockMap ... This will be necessary later when we add support for evaluating logic expressions such as && and ||. 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/D119447		2022-02-11 11:15:29 +00:00
..
CMakeLists.txt	[clang][dataflow] Add transfer function for VarDecl statements	2022-01-04 09:16:01 +00:00
ControlFlowContext.cpp	[clang][dataflow] Include terminator statements in buildStmtToBasicBlockMap	2022-02-11 11:15:29 +00:00
DataflowEnvironment.cpp	[clang][dataflow] Enable comparison of distinct values in Environment	2022-02-01 15:25:59 +00:00
Transfer.cpp	[clang][dataflow] Add a transfer function for CXXBoolLiteralExpr	2022-01-26 15:33:00 +00:00
TypeErasedDataflowAnalysis.cpp	[clang][dataflow] Enable comparison of distinct values in Environment	2022-02-01 15:25:59 +00:00