Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

When the return value of a function is undefined [undef] is used inst…

…ead of inttoptr(i64 12456789 to i64*)
  • Loading branch information...
commit 209b6b76ef9b4cace14a27f92b619894f23595f7 1 parent 04746a2
@colinbenner authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/asmcomp/linearize.ml
View
2  src/asmcomp/linearize.ml
@@ -257,7 +257,7 @@ let rec linear i =
insert Lload [|switch_res|] res
| Ireturn, [|value|] ->
print_debug "Ireturn";
- if Void = typ then insert Lreturn [|cast (Const("123456789", int_type)) addr_type|] Nothing
+ if Void = typ then insert Lreturn [|Const("undef", addr_type)|] Nothing
else insert Lreturn [|cast value typ|] Nothing
| Iunreachable, [||] ->
print_debug "Iunreachable";
Please sign in to comment.
Something went wrong with that request. Please try again.