//===-- llvm/Analysis/Verifier.h - Module Verifier ---------------*- C++ -*-==//
//
// This file defines the function verifier interface, that can be used for some
-// sanity checking of input to the system.
+// sanity checking of input to the system, and for checking that transformations
+// haven't done something bad.
//
// Note that this does not provide full 'java style' security and verifications,
// instead it just tries to ensure that code is well formed.
Pass *createVerifierPass();
// verifyModule - Check a module for errors, printing messages on stderr.
-// Return true if the module is corrupt.
+// Return true if the module is corrupt. This should only be used for
+// debugging, because it plays games with PassManagers and stuff.
//
bool verifyModule(const Module &M);