diff options
Diffstat (limited to 'byterun/memory.h')
| -rw-r--r-- | byterun/memory.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/memory.h b/byterun/memory.h index d97547e3c..a28741ee3 100644 --- a/byterun/memory.h +++ b/byterun/memory.h @@ -58,6 +58,7 @@ color_t allocation_color (void *hp); #define Alloc_small(result, wosize, tag) do{ CAMLassert (wosize >= 1); \ CAMLassert ((tag_t) tag < 256); \ + CAMLassert ((wosize) <= Max_young_wosize); \ young_ptr -= Bhsize_wosize (wosize); \ if (young_ptr < young_limit){ \ young_ptr += Bhsize_wosize (wosize); \ |