diff --git a/lib/VMCore/Value.cpp b/lib/VMCore/Value.cpp
index 3429d7c3b38..0ac72051043 100644
--- a/lib/VMCore/Value.cpp
+++ b/lib/VMCore/Value.cpp
@@ -18,8 +18,13 @@
 //                                Value Class
 //===----------------------------------------------------------------------===//
 
+static inline const Type *checkType(const Type *Ty) {
+  assert(Ty && "Value defined with a null type: Error!");
+  return Ty;
+}
+
 Value::Value(const Type *ty, ValueTy vty, const string &name = "")
-  : Name(name), Ty(ty, this) {
+  : Name(name), Ty(checkType(ty), this) {
   VTy = vty;
 }