6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-21 02:24:22 +00:00
Code Issues Projects Releases Wiki Activity

DataFlowSanitizer: Remove unreachable BBs so IR continues to verify

Browse Source 
under the args ABI.

Differential Revision: http://llvm-reviews.chandlerc.com/D1316

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188113 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Peter Collingbourne
2013-08-09 21:42:53 +00:00
parent ea549f0e12
commit aaae6e9cb8
2 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
View File

@ -59,6 +59,7 @@
#include "llvm/Pass.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Transforms/Utils/SpecialCaseList.h"
#include <iterator>
@ -402,6 +403,8 @@ bool DataFlowSanitizer::runOnModule(Module &M) {
if ((*i)->isDeclaration())
continue;
removeUnreachableBlocks(**i);
DFSanFunction DFSF(*this, *i);
// DFSanVisitor may create new basic blocks, which confuses df_iterator.