Expose verifier for method and module, and accept constant structures

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1814 91177308-0d34-0410-b5e6-96231b3b80d8

include/llvm/Analysis/Verifier.h

@@ -15,6 +15,7 @@
 
 class Pass;
 class Module;
+class Method;
 
 // createVerifierPass - Check a module or method for validity.  If errors are
 // detected, error messages corresponding to the problem are printed to stderr.
@@ -24,6 +25,10 @@ Pass *createVerifierPass();
 // verifyModule - Check a module for errors, printing messages on stderr.
 // Return true if the module is corrupt.
 //
-bool verifyModule(Module *M);
+bool verifyModule(const Module *M);
+
+// verifyMethod - Check a method for errors, useful for use when debugging a
+// pass.
+bool verifyMethod(const Method *M);
 
 #endif