diff --git a/lib/VMCore/Type.cpp b/lib/VMCore/Type.cpp
index b7cf54d72a6..e87da1d6e0a 100644
--- a/lib/VMCore/Type.cpp
+++ b/lib/VMCore/Type.cpp
@@ -1204,6 +1204,7 @@ PointerType *PointerType::get(const Type *ValueType) {
   assert(ValueType && "Can't get a pointer to <null> type!");
   assert(ValueType != Type::VoidTy &&
          "Pointer to void is not valid, use sbyte* instead!");
+  assert(ValueType != Type::LabelTy && "Pointer to label is not valid!");
   PointerValType PVT(ValueType);
 
   PointerType *PT = PointerTypes->get(PVT);