From: bdemsky <bdemsky>
Date: Tue, 18 May 2004 16:37:34 +0000 (+0000)
Subject: C interface to the instrument interface
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=d713d1a70ef3559b1b719039eb1f0b557431a3be;p=repair.git

C interface to the instrument interface
---

diff --git a/Repair/RepairCompiler/MCC/Runtime/cinstrument.h b/Repair/RepairCompiler/MCC/Runtime/cinstrument.h
new file mode 100755
index 0000000..7e9fc44
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/Runtime/cinstrument.h
@@ -0,0 +1,18 @@
+/* Defines interfaces for the applications and exports function calls that  
+   the applications should use instead of the standard ones. */
+
+#ifndef INSTRUMENT_H
+#define INSTUMENT_H
+
+void alloc(void *ptr,int size);
+void dealloc(void *ptr);
+void *ourcalloc(size_t nmemb, size_t size);
+void *ourmalloc(size_t size);
+void ourfree(void *ptr);
+void *ourrealloc(void *ptr, size_t size);
+void initializemmap();
+void resettypemap();
+bool assertvalidtype(int ptr, int structure);
+bool assertvalidmemory(int ptr, int structure);
+void initializestack(void *);
+#endif