From ad49c3269a7a0e238d27e06532eb15482e285de2 Mon Sep 17 00:00:00 2001 From: Nicola Mometto Date: Tue, 27 Nov 2018 18:08:22 +0000 Subject: [PATCH] Guard against null wrapped functions in OCaml API --- scripts/update_api.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/update_api.py b/scripts/update_api.py index 901ea4fda..bf5d89219 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1528,6 +1528,11 @@ def mk_z3native_stubs_c(ml_src_dir, ml_output_dir): # C interface i = i + 1 ml_wrapper.write(');\n') + if name in NULLWrapped: + ml_wrapper.write(' if (z3rv_m == NULL) {\n') + ml_wrapper.write(' caml_raise_with_string(*caml_named_value("Z3EXCEPTION"), "Object allocation failed");\n') + ml_wrapper.write(' }\n') + if release_caml_gc: ml_wrapper.write('\n caml_acquire_runtime_system();\n')