diff options
author | Chris Lattner <sabre@nondot.org> | 2002-02-26 21:38:48 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2002-02-26 21:38:48 +0000 |
commit | 9039ba9939f6fddc905cdfb85ad92220ac2819b5 (patch) | |
tree | 747a8e2896b0ccf76bca89b1daaeb0449a28daa1 /include | |
parent | 4ddcd54751f10234be148b648f3986446ffafc54 (diff) | |
download | llvm-9039ba9939f6fddc905cdfb85ad92220ac2819b5.tar.gz llvm-9039ba9939f6fddc905cdfb85ad92220ac2819b5.tar.bz2 llvm-9039ba9939f6fddc905cdfb85ad92220ac2819b5.tar.xz |
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
Diffstat (limited to 'include')
-rw-r--r-- | include/llvm/Analysis/Verifier.h | 7 |
1 files changed, 6 insertions, 1 deletions
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 |