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