diff --git a/tests/syntax/empty_union.i b/tests/syntax/empty_union.i
index e6a8d86207b42ae67a427bf5b7d26d1ce556daba..4b656499b0144d7b86bbbad3b9cce0e47f024d67 100644
--- a/tests/syntax/empty_union.i
+++ b/tests/syntax/empty_union.i
@@ -1,5 +1,6 @@
 /* run.config*
    STDOPT: +"-machdep gcc_x86_32 -print -ocode @PTEST_NAME@_reparse.c -then @PTEST_NAME@_reparse.c -ocode=''"
+   STDOPT: +"-machdep msvc_x86_64 -print -ocode @PTEST_NAME@_reparse.c -then @PTEST_NAME@_reparse.c -ocode=''"
  EXIT: 1
    STDOPT:
  */
diff --git a/tests/syntax/oracle/empty_union.1.res.oracle b/tests/syntax/oracle/empty_union.1.res.oracle
index 09d71d5930c6ebb3673f428c2f8350120e262f5f..7d386369f1419cdca1541c94233289478a007fec 100644
--- a/tests/syntax/oracle/empty_union.1.res.oracle
+++ b/tests/syntax/oracle/empty_union.1.res.oracle
@@ -1,10 +1,8 @@
 [kernel] Parsing empty_union.i (no preprocessing)
-[kernel] empty_union.i:8: User Error: 
-  empty unions only allowed for GCC/MSVC machdeps; see option -machdep or run 'frama-c -machdep help' for the list of available machdeps
-[kernel] empty_union.i:8: User Error: 
-  empty initializers only allowed for GCC/MSVC machdeps; see option -machdep or run 'frama-c -machdep help' for the list of available machdeps
-  6     
-  7     // based on GCC's 'torture' test suite
-  8     union empty {} eu = {};
-                       ^^
-[kernel] Frama-C aborted: invalid user input.
+[kernel] Parsing empty_union_reparse.c (with preprocessing)
+/* Generated by Frama-C */
+union empty {
+   
+};
+union empty eu = {};
+
diff --git a/tests/syntax/oracle/empty_union.2.res.oracle b/tests/syntax/oracle/empty_union.2.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..c1a338cee3f48e25e391e113fa8142235dbb2f85
--- /dev/null
+++ b/tests/syntax/oracle/empty_union.2.res.oracle
@@ -0,0 +1,10 @@
+[kernel] Parsing empty_union.i (no preprocessing)
+[kernel] empty_union.i:9: User Error: 
+  empty unions only allowed for GCC/MSVC machdeps; see option -machdep or run 'frama-c -machdep help' for the list of available machdeps
+[kernel] empty_union.i:9: User Error: 
+  empty initializers only allowed for GCC/MSVC machdeps; see option -machdep or run 'frama-c -machdep help' for the list of available machdeps
+  7     
+  8     // based on GCC's 'torture' test suite
+  9     union empty {} eu = {};
+                       ^^
+[kernel] Frama-C aborted: invalid user input.