Searched refs:FileNamePrefix (Results 1 – 1 of 1) sorted by relevance
303 std::string FileNamePrefix, bool IsSimple) { in WriteDOTGraphToFile() argument304 std::string Filename = FileNamePrefix + "." + F.getName().str() + ".dot"; in WriteDOTGraphToFile()