Home
last modified time | relevance | path

Searched refs:AnalysisConstraints (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyzerOptions.h37 enum AnalysisConstraints { enum
196 AnalysisConstraints AnalysisConstraintsOpt = RangeConstraintsModel;
/llvm-project-15.0.7/clang/lib/Frontend/
H A DCompilerInvocation.cpp916 AnalysisConstraints Value = llvm::StringSwitch<AnalysisConstraints>(Name) in ParseAnalyzerArgs()
926 if (Value == AnalysisConstraints::Z3ConstraintsModel) { in ParseAnalyzerArgs()