diff options
author | Roman Divacky <rdivacky@FreeBSD.org> | 2009-10-14 17:57:32 +0000 |
---|---|---|
committer | Roman Divacky <rdivacky@FreeBSD.org> | 2009-10-14 17:57:32 +0000 |
commit | 59850d0874429601812bc13408cb1f776649027c (patch) | |
tree | b21f6de4e08b89bb7931806bab798fc2a5e3a686 /bindings/ada/analysis/llvm_analysis-binding.ads | |
parent | 18f153bdb9db52e7089a2d5293b96c45a3124a26 (diff) |
Diffstat (limited to 'bindings/ada/analysis/llvm_analysis-binding.ads')
-rw-r--r-- | bindings/ada/analysis/llvm_analysis-binding.ads | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/bindings/ada/analysis/llvm_analysis-binding.ads b/bindings/ada/analysis/llvm_analysis-binding.ads new file mode 100644 index 000000000000..c51a50353f11 --- /dev/null +++ b/bindings/ada/analysis/llvm_analysis-binding.ads @@ -0,0 +1,32 @@ +-- This file is generated by SWIG. Do *not* modify by hand. +-- + +with llvm; +with Interfaces.C.Strings; + + +package LLVM_Analysis.Binding is + + function LLVMVerifyModule + (M : in llvm.LLVMModuleRef; + Action : in LLVM_Analysis.LLVMVerifierFailureAction; + OutMessage : access Interfaces.C.Strings.chars_ptr) + return Interfaces.C.int; + + function LLVMVerifyFunction + (Fn : in llvm.LLVMValueRef; + Action : in LLVM_Analysis.LLVMVerifierFailureAction) + return Interfaces.C.int; + + procedure LLVMViewFunctionCFG (Fn : in llvm.LLVMValueRef); + + procedure LLVMViewFunctionCFGOnly (Fn : in llvm.LLVMValueRef); + +private + + pragma Import (C, LLVMVerifyModule, "Ada_LLVMVerifyModule"); + pragma Import (C, LLVMVerifyFunction, "Ada_LLVMVerifyFunction"); + pragma Import (C, LLVMViewFunctionCFG, "Ada_LLVMViewFunctionCFG"); + pragma Import (C, LLVMViewFunctionCFGOnly, "Ada_LLVMViewFunctionCFGOnly"); + +end LLVM_Analysis.Binding; |