Default C++ language standard on Windows is C++14

tautschnig · tautschnig · commit 86d4c0da007d · 2019-05-19T16:58:49.000Z
While we already configured this in goto-cc, running CBMC with --winx64
or --win32 previously failed to set this.
diff --git a/src/util/config.cpp b/src/util/config.cpp
@@ -915,6 +915,8 @@ bool configt::set(const cmdlinet &cmdline)
       ansi_c.preprocessor=ansi_ct::preprocessort::GCC;
       ansi_c.mode=ansi_ct::flavourt::VISUAL_STUDIO;
       #endif
+
+      cpp.cpp_standard = cppt::cpp_standardt::CPP14;
     }
   }
   else if(os=="macos")

Original file line number	Diff line number	Diff line change
`@@ -915,6 +915,8 @@ bool configt::set(const cmdlinet &cmdline)`
`915`	`915`	`ansi_c.preprocessor=ansi_ct::preprocessort::GCC;`
`916`	`916`	`ansi_c.mode=ansi_ct::flavourt::VISUAL_STUDIO;`
`917`	`917`	`#endif`
	`918`	`+`
	`919`	`+ cpp.cpp_standard = cppt::cpp_standardt::CPP14;`
`918`	`920`	`}`
`919`	`921`	`}`
`920`	`922`	`else if(os=="macos")`