Searched refs:AnalysisConstraints (Results 1 – 2 of 2) sorted by relevance
35 enum AnalysisConstraints { enum194 AnalysisConstraints AnalysisConstraintsOpt = RangeConstraintsModel;
1040 AnalysisConstraints Value = llvm::StringSwitch<AnalysisConstraints>(Name) in ParseAnalyzerArgs()1050 if (Value == AnalysisConstraints::Z3ConstraintsModel) { in ParseAnalyzerArgs()