Merge pull request #3667 from tautschnig/vs-winbase

Visual Studio 2017 warns about throwing functions passed to C functions [blocks: #2310]

Author: Daniel Kroening

src/goto-cc/compile.cpp

@@ -52,6 +52,8 @@ Date: June 2006
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <direct.h>
 #include <windows.h>

src/util/cout_message.cpp

@@ -15,6 +15,8 @@ Author: Daniel Kroening, [email protected]
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <fcntl.h>

src/util/file_util.cpp

@@ -36,6 +36,8 @@ Date: January 2012
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <io.h>
 #include <windows.h>

src/util/memory_info.cpp

@@ -23,6 +23,8 @@ Author: Daniel Kroening, [email protected]
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <psapi.h>

src/util/run.cpp

@@ -16,6 +16,8 @@ Date: August 2012
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable:5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <process.h>
 #include <windows.h>

src/util/tempdir.cpp

@@ -13,6 +13,8 @@ Author: CM Wintersteiger
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <io.h>

src/util/tempfile.cpp

@@ -13,6 +13,8 @@ Author: Daniel Kroening
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <process.h>
 #include <sys/stat.h>

src/util/unicode.cpp

@@ -19,6 +19,8 @@ Author: Daniel Kroening, [email protected]
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <util/pragma_pop.def>