From 9bb8ef03a2bf081e26400a3b21e9ff476a22c88f Mon Sep 17 00:00:00 2001
From: Michael Kruse <llvm@meinersbur.de>
Date: Sat, 8 Aug 2015 18:10:54 +0000
Subject: [PATCH] Add an assertion

Check whether a block is a direct predecessor.

llvm-svn: 244401
---
 polly/lib/CodeGen/BlockGenerators.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/polly/lib/CodeGen/BlockGenerators.cpp b/polly/lib/CodeGen/BlockGenerators.cpp
index 33e66a1114d8..234d15840a80 100644
--- a/polly/lib/CodeGen/BlockGenerators.cpp
+++ b/polly/lib/CodeGen/BlockGenerators.cpp
@@ -514,6 +514,7 @@ void BlockGenerator::generateScalarStores(ScopStmt &Stmt, BasicBlock *BB,
     if (MA->getScopArrayInfo()->isPHI()) {
       PHINode *BasePHI = dyn_cast<PHINode>(Base);
       int PHIIdx = BasePHI->getBasicBlockIndex(BB);
+      assert(PHIIdx >= 0);
       Address = getOrCreateAlloca(Base, PHIOpMap, ".phiops");
       Val = BasePHI->getIncomingValue(PHIIdx);
     } else {