fix!: Expression.Return.get_value can be null

src/binaryen_stubs_expressions.c

@@ -1534,7 +1534,12 @@ CAMLprim value
 caml_binaryen_return_get_value(value _exp) {
   CAMLparam1(_exp);
   BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
-  CAMLreturn(alloc_BinaryenExpressionRef(BinaryenReturnGetValue(exp)));
+  BinaryenExpressionRef val = BinaryenReturnGetValue(exp);
+  if (val == NULL) {
+    CAMLreturn(Val_none);
+  } else {
+    CAMLreturn(caml_alloc_some(alloc_BinaryenExpressionRef(val)));
+  }
 }
 
 CAMLprim value

src/binaryen_stubs_expressions.js

@@ -1274,7 +1274,7 @@ function caml_binaryen_drop_set_value(exp, value) {
 //Provides: caml_binaryen_return_get_value
 //Requires: binaryen
 function caml_binaryen_return_get_value(exp) {
-  return binaryen.Return.getValue(exp);
+  return to_option(binaryen.Return.getValue(exp));
 }
 
 //Provides: caml_binaryen_return_set_value

src/expression.ml

@@ -693,7 +693,7 @@ end
 
 module Return = struct
   external make : Module.t -> t -> t = "caml_binaryen_return"
-  external get_value : t -> t = "caml_binaryen_return_get_value"
+  external get_value : t -> t option = "caml_binaryen_return_get_value"
   external set_value : t -> t -> unit = "caml_binaryen_return_set_value"
 end
 

src/expression.mli

@@ -241,7 +241,7 @@ end
 
 module Return : sig
   val make : Module.t -> t -> t
-  val get_value : t -> t
+  val get_value : t -> t option
   val set_value : t -> t -> unit
 end