Allow 64-bit base for symbolic address

bitblaze-fuzzball · Aug 7, 2018 · 6fc38a6 · 6fc38a6
1 parent 6e2b309
commit 6fc38a6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/execution/sym_region_frag_machine.ml b/execution/sym_region_frag_machine.ml
@@ -444,7 +444,7 @@ struct
 	| V.Lval(V.Temp(var)) ->
 	    FormMan.if_expr_temp form_man var
 	      (fun e' -> loop e') [e] (fun v -> ())
-	| V.Constant(V.Int(V.REG_32, n)) ->
+	| V.Constant(V.Int((V.REG_32|V.REG_64), n)) ->
 	    constants := Int64.add !constants n;
 	    []
 	| e -> [e]