Searched refs:AnalysisConstraintsOpt (Results 1 – 3 of 3) sorted by relevance
134 AnalysisConstraints AnalysisConstraintsOpt; variable515 AnalysisConstraintsOpt(RangeConstraintsModel), in AnalyzerOptions()
238 switch (Opts->AnalysisConstraintsOpt) { in DigestAnalyzerOptions()
166 Opts.AnalysisConstraintsOpt = Value; in ParseAnalyzerArgs()