From: David Blaikie <dblaikie@gmail.com>
Date: Wed, 20 May 2015 20:22:31 +0000 (+0000)
Subject: [opaque pointer type] LoadInst: assert that the explicit type matches the implicit one
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e86ba4b5710d51359fb9e66c529ca4a56c9e59fb;p=oota-llvm.git

[opaque pointer type] LoadInst: assert that the explicit type matches the implicit one

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237830 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/IR/Instructions.cpp b/lib/IR/Instructions.cpp
index 3a32be542cc..32b7451b074 100644
--- a/lib/IR/Instructions.cpp
+++ b/lib/IR/Instructions.cpp
@@ -953,6 +953,7 @@ LoadInst::LoadInst(Type *Ty, Value *Ptr, const Twine &Name, bool isVolatile,
                    unsigned Align, AtomicOrdering Order,
                    SynchronizationScope SynchScope, Instruction *InsertBef)
     : UnaryInstruction(Ty, Load, Ptr, InsertBef) {
+  assert(Ty == cast<PointerType>(Ptr->getType())->getElementType());
   setVolatile(isVolatile);
   setAlignment(Align);
   setAtomic(Order, SynchScope);