Searched refs:AnalysisConstraintsOpt (Results 1 – 3 of 3) sorted by relevance
129 AnalysisConstraints AnalysisConstraintsOpt; variable401 AnalysisConstraintsOpt(RangeConstraintsModel), in AnalyzerOptions()
250 switch (Opts->AnalysisConstraintsOpt) { in DigestAnalyzerOptions()
164 Opts.AnalysisConstraintsOpt = Value; in ParseAnalyzerArgs()