Lines Matching defs:Opts
137 AnalyzerOptions Opts;
141 Opts.MaxNodes = 300000;
142 Opts.MaxLoop = 3;
143 Opts.InlineCall = true;
144 Opts.CFGAddImplicitDtors = true;
145 Opts.EagerlyTrimEGraph = true;
147 Opts.CheckersControlList.push_back(std::make_pair("core", true));
149 Opts.CheckersControlList.push_back(std::make_pair("unix", true));
151 Opts.CheckersControlList.push_back(std::make_pair("macosx", true));
155 Opts.CheckersControlList.push_back(std::make_pair("cocoa", true));
158 checkerMgr.reset(ento::registerCheckers(Opts, PP.getLangOptions(),
166 Opts.MaxNodes, Opts.MaxLoop,
167 Opts.VisualizeEGDot, Opts.VisualizeEGUbi,
168 Opts.PurgeDead, Opts.EagerlyAssume,
169 Opts.TrimGraph, Opts.InlineCall,
170 Opts.UnoptimizedCFG, Opts.CFGAddImplicitDtors,
171 Opts.CFGAddInitializers,
172 Opts.EagerlyTrimEGraph);
