Searched refs:EagerlyTrimEGraph (Results 1 – 5 of 5) sorted by relevance
79 unsigned EagerlyTrimEGraph : 1; variable99 EagerlyTrimEGraph = 0; in AnalyzerOptions()
75 bool EagerlyTrimEGraph; variable97 EagerlyTrimEGraph(eagerlyTrimEGraph) {} in AnalysisManager()159 bool shouldEagerlyTrimExplodedGraph() const { return EagerlyTrimEGraph; } in shouldEagerlyTrimExplodedGraph()
145 Opts.EagerlyTrimEGraph = true; in main()172 Opts.EagerlyTrimEGraph); in main()
159 Opts.EagerlyTrimEGraph)); in Initialize()
941 Opts.EagerlyTrimEGraph = !Args.hasArg(OPT_analyzer_no_eagerly_trim_egraph); in ParseAnalyzerArgs()