Function LLVMVerifyModule

pub unsafe extern "C" fn LLVMVerifyModule(
    M: LLVMModuleRef,
    Action: LLVMVerifierFailureAction,
    OutMessage: *mut *mut c_char,
) -> LLVMBool

Verify that a module is valid, taking the specified action if not.

Optionally returns a human-readable description of any invalid constructs, which must be disposed with LLVMDisposeMessage.