Add unlimited register existence checker

ChangeLog

+2003-07-18  Benot Perrot  <benoit@lrde.epita.fr>
+
+	* src/vm/cpu.hh: Add a checker for unlimited register existence.
+
 2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>
 
 	* src/vm/memory.hh: stack_size is an argument of Memory constructor.

src/vm/cpu.hh

@@ -84,9 +84,14 @@ namespace vm
       GPR[k] = r;
     }
 
+    bool		has_unlimited(int i) const
+    {
+      return unlimited.has(i);
+    }
     register_t		get_unlimited(int i) const
     {
       // FIXME: precondition: check existence!
+      precondition(has_unlimited(i));
       return unlimited.get(i);
     }
     void		set_unlimited(int i, register_t r)

src/vm/memory.hh

@@ -29,7 +29,6 @@
 # ifndef INT32_MAX
 #  define INT32_MAX		2147483647
 # endif
-//# include <string.h>
 
 namespace vm
 {