use run() in ansi-c/c_preprocess

Author: Daniel Kroening

src/ansi-c/c_preprocess.cpp

@@ -10,6 +10,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/c_types.h>
 #include <util/config.h>
+#include <util/run.h>
 #include <util/suffix.h>
 #include <util/tempfile.h>
 #include <util/unicode.h>
@@ -383,8 +384,9 @@ bool c_preprocess_visual_studio(
   command += " 2> \"" + stderr_file() + "\"";
 
   // _popen isn't very reliable on WIN32
-  // that's why we use system()
-  int result=system(command.c_str());
+  // that's why we use run()
+  int result =
+    run("cl", {"cl", "@" + command_file_name()}, "", tmpi(), stderr_file());
 
   std::ifstream instream(tmpi());
 
@@ -486,7 +488,7 @@ bool c_preprocess_codewarrior(
   command += " -o \"" + tmpi() + "\"";
   command += " 2> \"" + stderr_file() + "\"";
 
-  result=system(command.c_str());
+  result = system(command.c_str());
 
   std::ifstream stream_i(tmpi());