Searched refs:DumpGraph (Results 1 – 3 of 3) sorted by relevance
245 std::string DumpGraph(bool trim = false, StringRef Filename="");250 std::string DumpGraph(ArrayRef<const ExplodedNode *> Nodes,
737 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
3887 std::string Filename = DumpGraph(trim); in ViewGraph()3892 std::string Filename = DumpGraph(Nodes); in ViewGraph()3896 std::string ExprEngine::DumpGraph(bool trim, StringRef Filename) { in DumpGraph() function in ExprEngine3910 return DumpGraph(Src, Filename); in DumpGraph()3918 std::string ExprEngine::DumpGraph(ArrayRef<const ExplodedNode *> Nodes, in DumpGraph() function in ExprEngine