summaryrefslogtreecommitdiff
path: root/libguile/vm-engine.h
diff options
context:
space:
mode:
Diffstat (limited to 'libguile/vm-engine.h')
-rw-r--r--libguile/vm-engine.h30
1 files changed, 30 insertions, 0 deletions
diff --git a/libguile/vm-engine.h b/libguile/vm-engine.h
index d6849799c..a2c1effd3 100644
--- a/libguile/vm-engine.h
+++ b/libguile/vm-engine.h
@@ -117,6 +117,16 @@
vp->fp = fp; \
}
+/* FIXME */
+#define ASSERT_VARIABLE(x) \
+ do { if (!SCM_VARIABLEP (x)) { SYNC_REGISTER (); abort(); } \
+ } while (0)
+#define ASSERT_BOUND_VARIABLE(x) \
+ do { ASSERT_VARIABLE (x); \
+ if (SCM_VARIABLE_REF (x) == SCM_UNDEFINED) \
+ { SYNC_REGISTER (); abort(); } \
+ } while (0)
+
#ifdef VM_ENABLE_PARANOID_ASSERTIONS
#define CHECK_IP() \
do { if (ip < bp->base || ip - bp->base > bp->len) abort (); } while (0)
@@ -145,6 +155,19 @@
object_count = 0; \
} \
} \
+ { \
+ SCM c = SCM_PROGRAM_EXTERNALS (program); \
+ if (SCM_I_IS_VECTOR (c)) \
+ { \
+ closure = SCM_I_VECTOR_WELTS (c); \
+ closure_count = SCM_I_VECTOR_LENGTH (c); \
+ } \
+ else \
+ { \
+ closure = NULL; \
+ closure_count = 0; \
+ } \
+ } \
}
#define SYNC_BEFORE_GC() \
@@ -178,6 +201,13 @@
#define CHECK_OBJECT(_num)
#endif
+#if VM_CHECK_CLOSURE
+#define CHECK_CLOSURE(_num) \
+ do { if (SCM_UNLIKELY ((_num) >= closure_count)) goto vm_error_closure; } while (0)
+#else
+#define CHECK_CLOSURE(_num)
+#endif
+
/*
* Hooks