Searched refs:AnalysisConstraints (Results 1 – 2 of 2) sorted by relevance
36 enum AnalysisConstraints { enum225 AnalysisConstraints AnalysisConstraintsOpt = RangeConstraintsModel;
1068 AnalysisConstraints Value = llvm::StringSwitch<AnalysisConstraints>(Name) in ParseAnalyzerArgs()1078 if (Value == AnalysisConstraints::Z3ConstraintsModel) { in ParseAnalyzerArgs()