 | llvm-0.5.0.1: Bindings to the LLVM compiler toolkit | Source code | Contents | Index |
| LLVM.FFI.Analysis |
| type VerifierFailureAction = CInt | Source |
| verifyFunction :: ValueRef -> VerifierFailureAction -> IO CInt | Source |
| verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO CInt | Source |
| viewFunctionCFG :: ValueRef -> IO () | Source |
| viewFunctionCFGOnly :: ValueRef -> IO () | Source |