From 60cb193a40f4849dae7ec3106dc219e30843ccdd Mon Sep 17 00:00:00 2001 From: =?utf8?q?D=C3=A1vid=20Bolvansk=C3=BD?= Date: Sun, 3 Nov 2019 20:02:54 +0100 Subject: [PATCH] [LoopUnrollAndJam] Fixed null check after dereferencing warning. NFCI. --- llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp b/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp index bf2e87b..b347b7b 100644 --- a/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp +++ b/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp @@ -177,6 +177,7 @@ LoopUnrollResult llvm::UnrollAndJamLoop( // When we enter here we should have already checked that it is safe BasicBlock *Header = L->getHeader(); + assert(Header && "No header."); assert(L->getSubLoops().size() == 1); Loop *SubLoop = *L->begin(); @@ -247,8 +248,9 @@ LoopUnrollResult llvm::UnrollAndJamLoop( BasicBlock *Preheader = L->getLoopPreheader(); BasicBlock *LatchBlock = L->getLoopLatch(); + assert(Preheader && "No preheader"); + assert(LatchBlock && "No latch block"); BranchInst *BI = dyn_cast(LatchBlock->getTerminator()); - assert(Preheader && LatchBlock && Header); assert(BI && !BI->isUnconditional()); bool ContinueOnTrue = L->contains(BI->getSuccessor(0)); BasicBlock *LoopExit = BI->getSuccessor(ContinueOnTrue); -- 2.7.4