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