don't call the typemap with value 0
[repair.git] / Repair / RepairCompiler / MCC / CRuntime / instrument.c
index ab5db1e..dd1ccc0 100755 (executable)
@@ -24,7 +24,9 @@ void *ourmalloc(size_t size) {
 }
 
 void ourfree(void *ptr) {
-  typemapdeallocate(memmap, ptr);
+  if (ptr!=NULL) {
+    typemapdeallocate(memmap, ptr);
+  }
   free(ptr);
 }