RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 05:01:59 +01:00
Code Issues Projects Releases Wiki Activity

Add a preverifier pass to check that every basic block ends in a terminator, so that we don't segfault when verifying invalid code.

Browse Source 
llvm-svn: 43578
This commit is contained in:
Owen Anderson 2007-10-31 21:04:18 +00:00
parent deeab7cc87
commit 89dee120a1
1 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
lib/VMCore/Verifier.cpp
View File

@ -71,7 +71,25 @@ namespace { // Anonymous namespace for class
cl::opt<bool>
Pedantic("verify-pedantic",
cl::desc("Reject code with undefined behaviour"));
struct VISIBILITY_HIDDEN PreVerifier : public FunctionPass {
static char ID; // Pass ID, replacement for typeid
PreVerifier() : FunctionPass((intptr_t)&ID) { }
bool runOnFunction(Function &F) {
for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I)
assert(I->back().isTerminator()
&& "Block does not end with a terminator?");
return false;
}
};
char PreVerifier::ID = 0;
RegisterPass<PreVerifier> PreVer("preverify", "Preliminary module verification");
const PassInfo *PreVerifyID = PreVer.getPassInfo();
struct VISIBILITY_HIDDEN
Verifier : public FunctionPass, InstVisitor<Verifier> {
static char ID; // Pass ID, replacement for typeid
@ -161,6 +179,7 @@ namespace { // Anonymous namespace for class
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
AU.setPreservesAll();
AU.addRequiredID(PreVerifyID);
if (RealPass)
AU.addRequired<DominatorTree>();
}