Assertions sur le tag

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 2 insertions, 0 deletions

diff --git a/byterun/alloc.c b/byterun/alloc.c
index ebe9961d3..d0fc9d65c 100644
--- a/byterun/alloc.c
+++ b/byterun/alloc.c
@@ -34,6 +34,7 @@ value alloc (mlsize_t wosize, tag_t tag)
   mlsize_t i;
 
   Assert (wosize > 0);
+  Assert (tag < 256);
   if (wosize <= Max_young_wosize){
     Alloc_small (result, wosize, tag);
     if (tag < No_scan_tag){
@@ -52,6 +53,7 @@ value alloc_small (mlsize_t wosize, tag_t tag)
   value result;
 
   Assert (wosize > 0 && wosize <= Max_young_wosize);
+  Assert (tag < 256);
   Alloc_small (result, wosize, tag);
   return result;
 }