Fix effective_address overflow check

WebAssembly · Oct 15, 2015 · 6867335 · 6867335
1 parent be16c5e
commit 6867335
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/ml-proto/spec/memory.ml b/ml-proto/spec/memory.ml
@@ -81,8 +81,9 @@ let grow mem n =
   mem := after
 
 let effective_address a o =
-  if (Int64.sub Int64.max_int a) < o then raise Bounds;
-  Int64.add a o
+  let ea = Int64.add a o in
+  if I64.lt_u ea a then raise Bounds;
+  ea
 
 let rec loadn mem n ea =
   assert (n > 0 && n <= 8);