diff options
author | Chris Lattner <sabre@nondot.org> | 2002-02-20 17:54:35 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2002-02-20 17:54:35 +0000 |
commit | 62cca70d346e8f735565cdf5e2d6b66b9d7556e0 (patch) | |
tree | 4c83103bb716ab3ef991b8d0da5dad497fa21be1 /include | |
parent | a9a16c712ea4af90546ab3b3d36e54dcdd9fe356 (diff) | |
download | llvm-62cca70d346e8f735565cdf5e2d6b66b9d7556e0.tar.gz llvm-62cca70d346e8f735565cdf5e2d6b66b9d7556e0.tar.bz2 llvm-62cca70d346e8f735565cdf5e2d6b66b9d7556e0.tar.xz |
Modernize verifier interface
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1780 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
-rw-r--r-- | include/llvm/Analysis/Verifier.h | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/include/llvm/Analysis/Verifier.h b/include/llvm/Analysis/Verifier.h index eb125396c5..4d54f12348 100644 --- a/include/llvm/Analysis/Verifier.h +++ b/include/llvm/Analysis/Verifier.h @@ -13,16 +13,17 @@ #ifndef LLVM_ANALYSIS_VERIFIER_H #define LLVM_ANALYSIS_VERIFIER_H -#include <vector> -#include <string> +class Pass; class Module; -class Method; -// verify - Check a module or method for validity. If errors are detected, -// error messages corresponding to the problem are added to the errorMsgs -// vectors, and a value of true is returned. +// createVerifierPass - Check a module or method for validity. If errors are +// detected, error messages corresponding to the problem are printed to stderr. // -bool verify(const Module *M, std::vector<std::string> &ErrorMsgs); -bool verify(const Method *M, std::vector<std::string> &ErrorMsgs); +Pass *createVerifierPass(); + +// verifyModule - Check a module for errors, printing messages on stderr. +// Return true if the module is corrupt. +// +bool verifyModule(Module *M); #endif |