1 -- This file is generated by SWIG. Do *not* modify by hand.
5 with Interfaces
.C
.Strings
;
8 package LLVM_Analysis
.Binding
is
10 function LLVMVerifyModule
11 (M
: in llvm
.LLVMModuleRef
;
12 Action
: in LLVM_Analysis
.LLVMVerifierFailureAction
;
13 OutMessage
: access Interfaces
.C
.Strings
.chars_ptr
)
14 return Interfaces
.C
.int
;
16 function LLVMVerifyFunction
17 (Fn
: in llvm
.LLVMValueRef
;
18 Action
: in LLVM_Analysis
.LLVMVerifierFailureAction
)
19 return Interfaces
.C
.int
;
21 procedure LLVMViewFunctionCFG
(Fn
: in llvm
.LLVMValueRef
);
23 procedure LLVMViewFunctionCFGOnly
(Fn
: in llvm
.LLVMValueRef
);
27 pragma Import
(C
, LLVMVerifyModule
, "Ada_LLVMVerifyModule");
28 pragma Import
(C
, LLVMVerifyFunction
, "Ada_LLVMVerifyFunction");
29 pragma Import
(C
, LLVMViewFunctionCFG
, "Ada_LLVMViewFunctionCFG");
30 pragma Import
(C
, LLVMViewFunctionCFGOnly
, "Ada_LLVMViewFunctionCFGOnly");
32 end LLVM_Analysis
.Binding
;