Searched refs:TrimGraph (Results 1 – 3 of 3) sorted by relevance
234 unsigned TrimGraph : 1; variable296 eagerlyAssumeBinOpBifurcation(false), TrimGraph(false), in AnalyzerOptions()
739 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()743 Eng.ViewGraph(Mgr->options.TrimGraph); in RunPathSensitiveChecks()
6917 MarshallingInfoFlag<AnalyzerOpts<"TrimGraph">>;