Stanislav Gatev 6b8800dfb5 [clang][dataflow] Enable comparison of distinct values in Environment ... Make specializations of `DataflowAnalysis` extendable with domain-specific logic for comparing distinct values when comparing environments. This includes a breaking change to the `runDataflowAnalysis` interface as the return type is now `llvm::Expected<...>`. 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 Differential Revision: https://reviews.llvm.org/D118596		2022-02-01 15:25:59 +00:00
..
FlowSensitive	[clang][dataflow] Enable comparison of distinct values in Environment	2022-02-01 15:25:59 +00:00
CFGBuildResult.h	…
CFGDominatorTree.cpp	[NFC][Clang][test] Inclusive language: Remove and rephrase uses of sanity test/check in clang/test	2021-11-24 14:03:49 -05:00
CFGTest.cpp	…
CMakeLists.txt	[clang][dataflow] Implement a basic algorithm for dataflow analysis	2021-12-10 11:44:49 +01:00
CloneDetectionTest.cpp	…
ExprMutationAnalyzerTest.cpp	Bump googletest to 1.10.0	2021-05-14 19:16:31 +02:00
MacroExpansionContextTest.cpp	[NFC][testing] Return underlying strings directly instead of OS.str()	2021-12-09 16:05:46 -08:00