Searched refs:DefaultOutputName (Results 1 – 1 of 1) sorted by relevance
41 const std::string DefaultOutputName = "a.out"; in newDriver() local44 DefaultOutputName, false, *Diagnostics); in newDriver()