aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me
diff options
context:
space:
mode:
authorRoy Frostig <[email protected]>2010-07-25 21:27:28 -0700
committerRoy Frostig <[email protected]>2010-07-25 21:27:28 -0700
commit7ef9e82f51de73e89759910fd1b45ce5ccc363b3 (patch)
tree6a5575cb416ae20feaa18a4cf642c176eebf0389 /src/boot/me
parentAnother quick fix from jmuizelaar for that "some ocaml versions dont't notice... (diff)
downloadrust-7ef9e82f51de73e89759910fd1b45ce5ccc363b3.tar.xz
rust-7ef9e82f51de73e89759910fd1b45ce5ccc363b3.zip
Don't write to NULL after calling C natives returning void.
Diffstat (limited to 'src/boot/me')
-rw-r--r--src/boot/me/trans.ml8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index 069fdb59..832ccd1f 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -4998,8 +4998,12 @@ let trans_visitor
libstr;
symstr |];
- abi.Abi.abi_emit_native_call_in_thunk (emitter())
- out nabi (Il.Cell f) args;
+ abi.Abi.abi_emit_native_call_in_thunk
+ (emitter())
+ (if pointee_type out = Il.NilTy then None else Some out)
+ nabi
+ (Il.Cell f)
+ args;
end
| _ -> bug ()