--- singular-4.1.0/omalloc/omAllocDecl.h.orig	2017-02-20 10:33:27.000000000 -0700

+++ singular-4.1.0/omalloc/omAllocDecl.h	2017-02-28 08:43:20.475150099 -0700

@@ -233,7 +233,7 @@

 #define omrealloc(addr,size)            _omrealloc(addr, size)

 #define omrealloc0(addr,size)           _omrealloc0(addr, size)

-#define omfreeSize(addr,size)   do {if (addr && size) omFreeSize(addr, size);} while (0)

+#define omfreeSize(addr,size)   do {if ((addr) != NULL && (size) != 0) omFreeSize(addr, size);} while (0)

 #define omfree(addr)            do {if (addr) omFree(addr);} while (0)

 #ifdef OM_ALIGNMENT_NEEDS_WORK