DataFlowSanitizer: Remove unreachable BBs so IR continues to verify
under the args ABI.
Differential Revision: http://llvm-reviews.chandlerc.com/D1316
llvm-svn: 188113
diff --git a/llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp b/llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
index 5e6313a..0bbbfef 100644
--- a/llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
+++ b/llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
@@ -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 @@
if ((*i)->isDeclaration())
continue;
+ removeUnreachableBlocks(**i);
+
DFSanFunction DFSF(*this, *i);
// DFSanVisitor may create new basic blocks, which confuses df_iterator.