-- 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;
