Hacks to allow repairs of fields used to define layouts of arrays.

[repair.git] / Repair / RepairCompiler / MCC / CRuntime / instrument.c

diff --git a/Repair/RepairCompiler/MCC/CRuntime/instrument.c b/Repair/RepairCompiler/MCC/CRuntime/instrument.c
index dd1ccc0b29212e649b7c1c9a66d759eccfbdb54c..828497539731e2269ad754551e48e22437a23828 100755 (executable)
--- a/Repair/RepairCompiler/MCC/CRuntime/instrument.c
+++ b/Repair/RepairCompiler/MCC/CRuntime/instrument.c
@@ -8,6 +8,7 @@
 #include <stdio.h>
 #include "tmap.h"
 #include "size.h"
+#include <string.h>
 
 struct typemap * memmap;
 
@@ -44,6 +45,14 @@ void *ourrealloc(void *ptr, size_t size) {
   return orr;
 }
 
+char *ourstrdup(const char *ptr) {
+  char *new_ptr=strdup(ptr);
+  int length=strlen(ptr)+1;
+  typemapallocate(memmap,new_ptr,length);
+  return new_ptr;
+}
+
+
 void alloc(void *ptr,int size) {
   typemapallocate(memmap, ptr,size);
 }
@@ -67,6 +76,14 @@ bool assertvalidmemory(int ptr, int structure) {
   return typemapassertvalidmemory(memmap, (void *)ptr, structure);
 }
 
+bool assertexactmemory(int ptr, int structure) {
+  return typemapassertexactmemory(memmap, (void *)ptr, structure);
+}
+
+void * getendofblock(int ptr) {
+  return typemapgetendofblock(memmap, (void *)ptr);
+}
+
 void initializestack(void *high) {
   initializetypemapstack(memmap, high);
 }