aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/tacle-bench-powerwindow/wcclib.h
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-08 13:33:45 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-08 13:33:45 +0200
commit2f065ddf184e1a712bc9165cb2b4f5b40b2bba33 (patch)
tree4f9277b59e1a6a02f5a3becec3a3aee88e10be82 /test/monniaux/tacle-bench-powerwindow/wcclib.h
parent51c6f11b6f2afcc0ba0394a65f22e12e4a5f8404 (diff)
downloadcompcert-kvx-2f065ddf184e1a712bc9165cb2b4f5b40b2bba33.tar.gz
compcert-kvx-2f065ddf184e1a712bc9165cb2b4f5b40b2bba33.zip
powerwindow from tacle-bench
Diffstat (limited to 'test/monniaux/tacle-bench-powerwindow/wcclib.h')
-rw-r--r--test/monniaux/tacle-bench-powerwindow/wcclib.h14
1 files changed, 14 insertions, 0 deletions
diff --git a/test/monniaux/tacle-bench-powerwindow/wcclib.h b/test/monniaux/tacle-bench-powerwindow/wcclib.h
new file mode 100644
index 00000000..5a5dc36f
--- /dev/null
+++ b/test/monniaux/tacle-bench-powerwindow/wcclib.h
@@ -0,0 +1,14 @@
+#ifndef _WCCLIB
+#define _WCCLIB
+
+#define size_t unsigned long
+#define int32_t int
+#define uint32_t unsigned int
+#define u_int16_t unsigned short
+#define u_int32_t unsigned int
+
+#define NULL ( (void *) 0)
+
+void *memset( void *s, int c, size_t n );
+
+#endif // _WCCLIB