From: Reid Spencer <rspencer@reidspencer.com>
Date: Sat, 10 Feb 2007 22:02:45 +0000 (+0000)
Subject: Assert that elements of packed are pointer/float/opaque.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cc5dc2e792852add107cc381b29ebfde19feb77b;p=oota-llvm.git

Assert that elements of packed are pointer/float/opaque.


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

diff --git a/lib/VMCore/Type.cpp b/lib/VMCore/Type.cpp
index 34bedbb00a3..1f843a275b4 100644
--- a/lib/VMCore/Type.cpp
+++ b/lib/VMCore/Type.cpp
@@ -426,6 +426,10 @@ PackedType::PackedType(const Type *ElType, unsigned NumEl)
   NumElements = NumEl;
   setAbstract(ElType->isAbstract());
   assert(NumEl > 0 && "NumEl of a PackedType must be greater than 0");
+  assert((ElType->isInteger() || ElType->isFloatingPoint() || 
+          isa<OpaqueType>(ElType)) && 
+         "Elements of a PackedType must be a primitive type");
+
 }