From 62cca70d346e8f735565cdf5e2d6b66b9d7556e0 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 20 Feb 2002 17:54:35 +0000 Subject: [PATCH] Modernize verifier interface git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1780 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Analysis/Verifier.h | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/include/llvm/Analysis/Verifier.h b/include/llvm/Analysis/Verifier.h index eb125396c5b..4d54f123484 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 -#include +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 &ErrorMsgs); -bool verify(const Method *M, std::vector &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