simplify use of get_temporary_directory

Daniel Kroening · Daniel Kroening · commit 9609a52fe490 · 2018-05-03T21:51:38.000+01:00
diff --git a/src/goto-cc/compile.cpp b/src/goto-cc/compile.cpp
@@ -226,20 +226,14 @@ bool compilet::add_files_from_archive(
   const std::string &file_name,
   bool thin_archive)
 {
-#ifdef _WIN32
-  char td[MAX_PATH + 1];
-#else
-  char td[] = "goto-cc.XXXXXX";
-#endif
-
   std::stringstream cmd;
   FILE *stream;
 
   std::string tstr = working_directory;
 
   if(!thin_archive)
   {
-    tstr = get_temporary_directory(td);
+    tstr = get_temporary_directory("goto-cc.XXXXXX");
 
     if(tstr=="")
     {

Original file line number	Diff line number	Diff line change
`@@ -226,20 +226,14 @@ bool compilet::add_files_from_archive(`
`226`	`226`	`const std::string &file_name,`
`227`	`227`	`bool thin_archive)`
`228`	`228`	`{`
`229`		`-#ifdef _WIN32`
`230`		`- char td[MAX_PATH + 1];`
`231`		`-#else`
`232`		`- char td[] = "goto-cc.XXXXXX";`
`233`		`-#endif`
`234`		`-`
`235`	`229`	`std::stringstream cmd;`
`236`	`230`	`FILE *stream;`
`237`	`231`
`238`	`232`	`std::string tstr = working_directory;`
`239`	`233`
`240`	`234`	`if(!thin_archive)`
`241`	`235`	`{`
`242`		`- tstr = get_temporary_directory(td);`
	`236`	`+ tstr = get_temporary_directory("goto-cc.XXXXXX");`
`243`	`237`
`244`	`238`	`if(tstr=="")`
`245`	`239`	`{`