diff options
| -rw-r--r-- | bindings/ocaml/bitreader/bitreader_ocaml.c | 3 | ||||
| -rw-r--r-- | bindings/ocaml/executionengine/executionengine_ocaml.c | 3 | ||||
| -rw-r--r-- | bindings/ocaml/llvm/llvm_ocaml.c | 3 |
3 files changed, 9 insertions, 0 deletions
diff --git a/bindings/ocaml/bitreader/bitreader_ocaml.c b/bindings/ocaml/bitreader/bitreader_ocaml.c index b154f68d60..0fd484f123 100644 --- a/bindings/ocaml/bitreader/bitreader_ocaml.c +++ b/bindings/ocaml/bitreader/bitreader_ocaml.c @@ -37,6 +37,9 @@ static void llvm_raise(value Prototype, char *Message) { raise_with_arg(Prototype, CamlMessage); abort(); /* NOTREACHED */ +#ifdef CAMLnoreturn + CAMLnoreturn; /* Silences warnings, but is missing in some versions. */ +#endif } diff --git a/bindings/ocaml/executionengine/executionengine_ocaml.c b/bindings/ocaml/executionengine/executionengine_ocaml.c index 58d7d5a77f..0f124c546e 100644 --- a/bindings/ocaml/executionengine/executionengine_ocaml.c +++ b/bindings/ocaml/executionengine/executionengine_ocaml.c @@ -43,6 +43,9 @@ static void llvm_raise(value Prototype, char *Message) { raise_with_arg(Prototype, CamlMessage); abort(); /* NOTREACHED */ +#ifdef CAMLnoreturn + CAMLnoreturn; /* Silences warnings, but is missing in some versions. */ +#endif } diff --git a/bindings/ocaml/llvm/llvm_ocaml.c b/bindings/ocaml/llvm/llvm_ocaml.c index 5c8767543f..3f48887e11 100644 --- a/bindings/ocaml/llvm/llvm_ocaml.c +++ b/bindings/ocaml/llvm/llvm_ocaml.c @@ -45,6 +45,9 @@ static void llvm_raise(value Prototype, char *Message) { raise_with_arg(Prototype, CamlMessage); abort(); /* NOTREACHED */ +#ifdef CAMLnoreturn + CAMLnoreturn; /* Silences warnings, but is missing in some versions. */ +#endif } |