From 9c9c375387c534033acdc178e5102e36e8ff66eb Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Tue, 24 Jul 2018 18:22:39 +0100
Subject: [PATCH] two further Visual Studio CL options

---
 src/goto-cc/ms_cl_cmdline.cpp | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/src/goto-cc/ms_cl_cmdline.cpp b/src/goto-cc/ms_cl_cmdline.cpp
index 58a0736ed06..85cf0221c29 100644
--- a/src/goto-cc/ms_cl_cmdline.cpp
+++ b/src/goto-cc/ms_cl_cmdline.cpp
@@ -397,16 +397,18 @@ const char *ms_cl_prefixes[]=
   "Y", // - disable all PCH options
   "Zm", // <n> max memory alloc (% of default)
   "Wp64", // enable 64 bit porting warnings
-  "LD", //  Create .DLL
-  "LDd", //  Create .DLL debug library
-  "LN", //  Create a .netmodule
+  "LD", // Create .DLL
+  "LDd", // Create .DLL debug library
+  "LN", // Create a .netmodule
   "F", // <num> set stack size
-  "link", //  [linker options and libraries]
-  "MD", //  link with MSVCRT.LIB
-  "MT", //  link with LIBCMT.LIB
-  "MDd", //  link with MSVCRTD.LIB debug lib
-  "MTd", //  link with LIBCMTD.LIB debug lib
-  "std", //  specify C++ language standard
+  "link", // [linker options and libraries]
+  "MD", // link with MSVCRT.LIB
+  "MT", // link with LIBCMT.LIB
+  "MDd", // link with MSVCRTD.LIB debug lib
+  "MTd", // link with LIBCMTD.LIB debug lib
+  "std", // specify C++ language standard
+  "sdl", // Enable Additional Security Checks
+  "diagnostics", // unknown
   nullptr
 };