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