THU-DSP-LAB
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
2
0
Fork 1
Code Issues Packages Projects Releases Wiki Activity
llvm-project/clang/lib/Analysis/FlowSensitive
History
Kazu Hirata 22731dbd75 [clang] Use std::nullopt instead of None in comments (NFC) 
This is part of an effort to migrate from llvm::Optional to
std::optional:

https://discourse.llvm.org/t/deprecating-llvm-optional-x-hasvalue-getvalue-getvalueor/63716
 		2022-12-04 20:31:05 -08:00
..
Models [Analysis] Use std::nullopt instead of None (NFC) 2022-12-03 11:34:25 -08:00
CMakeLists.txt [clang][dataflow] Add equivalence relation `Value` type. 2022-10-19 12:23:09 +00:00
ControlFlowContext.cpp [clang][dataflow] Add cache of `ControlFlowContext`s for function decls. 2022-08-03 15:17:49 +00:00
DataflowAnalysisContext.cpp [clang][dataflow] Add cache of `ControlFlowContext`s for function decls. 2022-08-03 15:17:49 +00:00
DataflowEnvironment.cpp [clang][dataflow] Add widening API and implement it for built-in boolean model. 2022-11-22 16:09:28 +00:00
DebugSupport.cpp [clang][dataflow] Add support for a Top value in boolean formulas. 2022-10-14 17:41:53 +00:00
Transfer.cpp [clang][dataflow][NFC] Fix reachability warning. 2022-10-14 19:35:11 +00:00
TypeErasedDataflowAnalysis.cpp [clang] Use std::nullopt instead of None in comments (NFC) 2022-12-04 20:31:05 -08:00
Value.cpp [clang][dataflow] Add equivalence relation `Value` type. 2022-10-19 12:23:09 +00:00
WatchedLiteralsSolver.cpp [clang][dataflow] Add support for a Top value in boolean formulas. 2022-10-14 17:41:53 +00:00