Searched refs:DDGDotFilenamePrefix (Results 1 – 1 of 1) sorted by relevance
23 static cl::opt<std::string> DDGDotFilenamePrefix( variable41 Twine(DDGDotFilenamePrefix + "." + G.getName() + ".dot").str(); in writeDDGToDotFile()