unescape functions now return strings

Daniel Kroening · Daniel Kroening · commit 8a33af39a318 · 2016-09-03T15:50:01.000+01:00
diff --git a/src/ansi-c/preprocessor_line.cpp b/src/ansi-c/preprocessor_line.cpp
@@ -79,7 +79,6 @@ void preprocessor_line(
     ptr++;
   }
 
-  std::string file_name_tmp2;
-  unescape_string(file_name_tmp, file_name_tmp2);
+  std::string file_name_tmp2=unescape_string(file_name_tmp);
   parser.set_file(file_name_tmp2);
 }

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,6 @@ void preprocessor_line(`
`79`	`79`	`ptr++;`
`80`	`80`	`}`
`81`	`81`
`82`		`- std::string file_name_tmp2;`
`83`		`- unescape_string(file_name_tmp, file_name_tmp2);`
	`82`	`+ std::string file_name_tmp2=unescape_string(file_name_tmp);`
`84`	`83`	`parser.set_file(file_name_tmp2);`
`85`	`84`	`}`