[PATCH] Bugpoint execution output file name (and sys::fs::unique_file)

[Hal Finkel]

----- Original Message -----
> >
> > --- a/tools/bugpoint/ExecutionDriver.cpp
> > +++ b/tools/bugpoint/ExecutionDriver.cpp
> > @@ -328,7 +328,7 @@ std::string BugDriver::executeProgram(const
> > Module *Program,
> >    FileRemover BitcodeFileRemover(BitcodePath,
> >      CreatedBitcode && !SaveTemps);
> >
> > -  if (OutputFile.empty()) OutputFile = OutputPrefix +
> > "-execution-output";
> > +  if (OutputFile.empty()) OutputFile = OutputPrefix +
> > "-execution-output-%%%%%%%";
> >
> >    // Check to see if this is a valid output filename...
> >    SmallString<128> UniqueFile;
> 
> LGTM. Sorry, this is probably a regression from my patches moving
> away
> from PathV1.
> 
> > but maybe sys::fs::unique_file should be changed instead?
> 
> I think a higher lever interface where we just pass a prefix and a
> extension would make sense, but for now your patch is probably the
> best solution.

r185166, thanks! (I also fixed the reference output file name which has the same problem).

 -Hal

> 
> > Thanks again,
> > Hal
> 
> Cheers,
> Rafael
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory