diff options
Diffstat (limited to 'contrib/llvm/bindings/ocaml/analysis/llvm_analysis.ml')
| -rw-r--r-- | contrib/llvm/bindings/ocaml/analysis/llvm_analysis.ml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/contrib/llvm/bindings/ocaml/analysis/llvm_analysis.ml b/contrib/llvm/bindings/ocaml/analysis/llvm_analysis.ml deleted file mode 100644 index fc4d203..0000000 --- a/contrib/llvm/bindings/ocaml/analysis/llvm_analysis.ml +++ /dev/null @@ -1,22 +0,0 @@ -(*===-- llvm_analysis.ml - LLVM Ocaml Interface -----------------*- C++ -*-===* - * - * The LLVM Compiler Infrastructure - * - * This file is distributed under the University of Illinois Open Source - * License. See LICENSE.TXT for details. - * - *===----------------------------------------------------------------------===*) - - -external verify_module : Llvm.llmodule -> string option = "llvm_verify_module" - -external verify_function : Llvm.llvalue -> bool = "llvm_verify_function" - -external assert_valid_module : Llvm.llmodule -> unit - = "llvm_assert_valid_module" - -external assert_valid_function : Llvm.llvalue -> unit - = "llvm_assert_valid_function" -external view_function_cfg : Llvm.llvalue -> unit = "llvm_view_function_cfg" -external view_function_cfg_only : Llvm.llvalue -> unit - = "llvm_view_function_cfg_only" |
