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