Searched refs:DumpExplodedGraphTo (Results 1 – 3 of 3) sorted by relevance
687 if (!Mgr->options.DumpExplodedGraphTo.empty()) in RunPathSensitiveChecks()688 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
216 std::string DumpExplodedGraphTo; variable
4673 MarshallingInfoString<AnalyzerOpts<"DumpExplodedGraphTo">>;