Configure C++ language standard in goto-cl

Author: tautschnig

src/goto-cc/ms_cl_cmdline.cpp

@@ -406,6 +406,7 @@ const char *ms_cl_prefixes[]=
   "MT", //  link with LIBCMT.LIB
   "MDd", //  link with MSVCRTD.LIB debug lib
   "MTd", //  link with LIBCMTD.LIB debug lib
+  "std:", //  specify C++ language standard
   nullptr
 };
 

src/goto-cc/ms_cl_mode.cpp

@@ -77,6 +77,23 @@ int ms_cl_modet::doit()
   else
     compiler.mode=compilet::COMPILE_LINK_EXECUTABLE;
 
+  if(cmdline.isset("std:"))
+  {
+    const std::string std_string = cmdline.get_value("std:");
+
+    if(
+      std_string == "c++14" || std_string == "c++17" ||
+      std_string == "c++latest")
+    {
+      // we don't have any newer version at the moment
+      config.cpp.set_cpp14();
+    }
+    else
+      warning() << "unknown language standard " << std_string << eom;
+  }
+  else
+    config.cpp.set_cpp14();
+
   compiler.echo_file_name=true;
 
   if(cmdline.isset("Fo"))