summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Mohr <manuel.mohr@kit.edu>2015-10-13 17:38:26 +0200
committerManuel Mohr <manuel.mohr@kit.edu>2015-10-13 17:38:26 +0200
commit08869a1dcdeff4e5a8380bc540bffc1cc5eb9789 (patch)
tree03d6f61684247bd0a6589c22d1518d205f6e38dc
parentd13fb298eb0daa89156686697746198f7c10ba4b (diff)
Do not use always-true assert on OctoPOS.
-rw-r--r--os_dep.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/os_dep.c b/os_dep.c
index 16b04f1..71e1bcf 100644
--- a/os_dep.c
+++ b/os_dep.c
@@ -1930,7 +1930,9 @@ void GC_register_data_segments(void)
GC_add_roots_inner(DATASTART, p, FALSE);
}
# else
+ #ifndef OCTOPOS
GC_ASSERT(DATASTART);
+ #endif
GC_add_roots_inner(DATASTART, (ptr_t)(DATAEND), FALSE);
# if defined(DATASTART2)
GC_add_roots_inner(DATASTART2, (ptr_t)(DATAEND2), FALSE);