Safe Haskell | Safe |
---|
LLVM.FFI.Analysis
Documentation
type VerifierFailureAction = CIntSource
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO BoolSource
viewFunctionCFG :: ValueRef -> IO ()Source
llvm-ffi-3.8.1.1: FFI bindings to the LLVM compiler toolkit.
Safe Haskell | Safe |
---|
LLVM.FFI.Analysis
type VerifierFailureAction = CIntSource
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO BoolSource
viewFunctionCFG :: ValueRef -> IO ()Source