File-local name mangling: fix Windows tests

The command-line options to goto-cl weren't passed correctly. Also do
not use blank lines as patterns as it confuses test.pl on Windows.

Author: tautschnig

regression/goto-cc-file-local/chain.sh

@@ -29,10 +29,10 @@ for src in *.c; do
 
   if [[ "${is_windows}" == "true" ]]; then
     "${goto_cc}"                        \
-        /export-function-local-symbols  \
-        /verbosity 10                   \
+        --export-function-local-symbols \
+        --verbosity 10                  \
         ${suffix}                       \
-        /c"${base}.c"                   \
+        /c "${base}.c"                  \
         /Fo"${OUT_FILE}"
 
   elif [[ "${is_windows}" == "false" ]]; then
@@ -52,11 +52,11 @@ if is_in final-link "$ALL_ARGS"; then
   OUT_FILE=final-link.gb
   if [[ "${is_windows}" == "true" ]]; then
     "${goto_cc}"                        \
-        /export-function-local-symbols  \
-        /verbosity 10                   \
+        --export-function-local-symbols \
+        --verbosity 10                  \
         ${suffix}                       \
         ./*.gb                          \
-        /Fe "${OUT_FILE}"
+        /Fe"${OUT_FILE}"
 
   elif [[ "${is_windows}" == "false" ]]; then
     "${goto_cc}"                        \

regression/goto-cc-file-local/result-multi-file-bad/test.desc

@@ -1,7 +1,6 @@
 CORE
 main.c
 final-link assertion-check
-
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

regression/goto-cc-file-local/result-multi-file-good/test.desc

@@ -1,7 +1,6 @@
 CORE
 main.c
 final-link assertion-check
-
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/goto-cc-file-local/result-multi-file-transitive/test.desc

@@ -1,7 +1,6 @@
 CORE
 main.c
 final-link assertion-check
-
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

regression/goto-cc-file-local/result-suffix/test.desc

@@ -1,7 +1,6 @@
 CORE
 main.c
 final-link assertion-check suffix
-
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

regression/goto-cc-file-local/symbol-compiled/test.desc

@@ -1,7 +1,6 @@
 CORE
 main.c
 show-symbol-table
-
 ^EXIT=0$
 ^SIGNAL=0$
 ^Symbol......: __CPROVER_file_local_main_c_foo$

regression/goto-cc-file-local/symbol-fully-linked/test.desc

@@ -1,7 +1,6 @@
 CORE
 main.c
 final-link show-symbol-table
-
 ^EXIT=0$
 ^SIGNAL=0$
 ^Symbol......: __CPROVER_file_local_main_c_foo$

regression/goto-cc-file-local/symbol-multi-file/test.desc

@@ -1,7 +1,6 @@
 CORE
 main.c
 final-link show-symbol-table
-
 ^EXIT=0$
 ^SIGNAL=0$
 ^Symbol......: __CPROVER_file_local_foo_c_foo$

src/goto-cc/ms_cl_cmdline.cpp

@@ -61,7 +61,9 @@ bool ms_cl_cmdlinet::parse(const std::vector<std::string> &arguments)
     {
       process_non_cl_option(arguments[i]);
 
-      if(arguments[i] == "--verbosity" || arguments[i] == "--function")
+      if(
+        arguments[i] == "--verbosity" || arguments[i] == "--function" ||
+        arguments[i] == "--mangle-suffix")
       {
         if(i < arguments.size() - 1)
         {