From 9039ba9939f6fddc905cdfb85ad92220ac2819b5 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 26 Feb 2002 21:38:48 +0000 Subject: 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 | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'include') diff --git a/include/llvm/Analysis/Verifier.h b/include/llvm/Analysis/Verifier.h index 4d54f12348..d6f4a93fa4 100644 --- a/include/llvm/Analysis/Verifier.h +++ b/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 -- cgit v1.2.3