diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-12-12 18:59:11 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-12-12 18:59:11 +0000 |
| commit | 1ceb86a2eac58b21c0ff8c3daeff87425cbdf56f (patch) | |
| tree | 3f23e8b986480928e9ddda87f0339b25c8053d44 /byterun/memory.h | |
| parent | acb60d3c7e4ab7dbba1f2b37afbd9d97a9c68696 (diff) | |
PR#1495
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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); \ |