From c8346d77e73bdbe82a1eb73dd83c34ada8c68b17 Mon Sep 17 00:00:00 2001
From: Stephan Bergmann <sbergman@redhat.com>
Date: Tue, 2 Jun 2015 17:35:20 +0200
Subject: external/coinmp: -fsanitize=nonnull-attribute

Change-Id: I487e772395defa9aae2ce3eb040b8c7d92720cb2
---
 external/coinmp/UnpackedTarball_coinmp.mk |  1 +
 external/coinmp/ubsan.patch.0             | 11 +++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 external/coinmp/ubsan.patch.0

(limited to 'external/coinmp')

diff --git a/external/coinmp/UnpackedTarball_coinmp.mk b/external/coinmp/UnpackedTarball_coinmp.mk
index 635deff73abc..aad0cd3be756 100644
--- a/external/coinmp/UnpackedTarball_coinmp.mk
+++ b/external/coinmp/UnpackedTarball_coinmp.mk
@@ -26,6 +26,7 @@ $(eval $(call gb_UnpackedTarball_add_patches,coinmp,\
 	) \
 	$(if $(filter MACOSX,$(OS)),external/coinmp/macosx.build.patch.1) \
 	external/coinmp/werror-format-pedantic.patch.0 \
+	external/coinmp/ubsan.patch.0 \
 ))
 
 # vim: set noet sw=4 ts=4:
diff --git a/external/coinmp/ubsan.patch.0 b/external/coinmp/ubsan.patch.0
new file mode 100644
index 000000000000..157332986098
--- /dev/null
+++ b/external/coinmp/ubsan.patch.0
@@ -0,0 +1,11 @@
+--- Clp/src/ClpParameters.hpp
++++ Clp/src/ClpParameters.hpp
+@@ -81,7 +81,7 @@
+ template <class T> inline void
+ ClpDisjointCopyN( const T * array, const int size, T * newArray)
+ {
+-     memcpy(reinterpret_cast<void *> (newArray), array, size * sizeof(T));
++     if (size != 0) memcpy(reinterpret_cast<void *> (newArray), array, size * sizeof(T));
+ }
+ /// And set
+ template <class T> inline void
-- 
cgit