From d713d1a70ef3559b1b719039eb1f0b557431a3be Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 18 May 2004 16:37:34 +0000
Subject: [PATCH] C interface to the instrument interface

---
 .../RepairCompiler/MCC/Runtime/cinstrument.h   | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 Repair/RepairCompiler/MCC/Runtime/cinstrument.h

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
-- 
2.34.1