Searched refs:TrimGraph (Results 1 – 3 of 3) sorted by relevance
249 unsigned TrimGraph : 1; variable308 eagerlyAssumeBinOpBifurcation(false), TrimGraph(false), in AnalyzerOptions()
715 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()719 Eng.ViewGraph(Mgr->options.TrimGraph); in RunPathSensitiveChecks()
4612 MarshallingInfoFlag<AnalyzerOpts<"TrimGraph">>;