Function LLVMVerifyModule 

pub unsafe extern "C" fn LLVMVerifyModule(
    M: *mut LLVMModule,
    Action: LLVMVerifierFailureAction,
    OutMessage: *mut *mut i8,
) -> i32

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.