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