Do test for wrap around on singed ocaml integers.

In parse_int it was not tested if the value of v is smaller than
zero. This allowed it that certain large integers were accepted
due to wrap around.

1 files changed, 1 insertions, 1 deletions

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index d58d8be6..aed84a38 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -131,7 +131,7 @@ let parse_int base s =
     |  _ -> assert false in
   let v = ref 0L in
   for i = 0 to String.length s - 1 do
-    if !v > max_val then raise Overflow;
+    if !v < 0L || !v > max_val then raise Overflow;
     v := Int64.mul !v (Int64.of_int base);
     let c = s.[i] in
     let digit =