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 0000000000..c51a50353f
--- /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;