From d63a5200cbc5fb3fd20b2c190c6457276bfa11e6 Mon Sep 17 00:00:00 2001
From: Reid Spencer <rspencer@reidspencer.com>
Date: Sat, 10 Feb 2007 22:02:45 +0000
Subject: [PATCH] Assert that elements of packed are pointer/float/opaque.

llvm-svn: 34165
---
 llvm/lib/VMCore/Type.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/llvm/lib/VMCore/Type.cpp b/llvm/lib/VMCore/Type.cpp
index 34bedbb00a31..1f843a275b45 100644
--- a/llvm/lib/VMCore/Type.cpp
+++ b/llvm/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");
+
 }