func VerifyFunction(f Value, a VerifierFailureAction) os.Error {
	broken := C.LLVMVerifyFunction(f.C, C.LLVMVerifierFailureAction(a))
	if broken == 0 {
		return nil
	}
	return verifyFunctionError
}
Verifies that a single function is valid, taking the specified action.
Useful for debugging.
package llvm
import "C"
import "os"
type VerifierFailureAction C.LLVMVerifierFailureAction
const (
	AbortProcessAction = C.LLVMAbortProcessAction
	PrintMessageAction = C.LLVMPrintMessageAction
	ReturnStatusAction = C.LLVMReturnStatusAction
)
func VerifyModule(m Module, a VerifierFailureAction) os.Error {
	var cmsg *C.char
	broken := C.LLVMVerifyModule(m.C, C.LLVMVerifierFailureAction(a), &cmsg)
	if broken == 0 {
		return nil
	}
	err := os.NewError(C.GoString(cmsg))
	C.LLVMDisposeMessage(cmsg)
	return err
}
var verifyFunctionError = os.NewError("Function is broken")