summaryrefslogtreecommitdiff
path: root/lib/VMCore
diff options
context:
space:
mode:
authorAlkis Evlogimenos <alkis@evlogimenos.com>2004-07-25 06:07:15 +0000
committerAlkis Evlogimenos <alkis@evlogimenos.com>2004-07-25 06:07:15 +0000
commit83949fcf7c3e417a73f2bb3e6c78a74274407099 (patch)
treed97334a273ccde57586525b70a2e6f3ef9e4ede7 /lib/VMCore
parent62d4e16a059b5bbcd49b1bcab0d4854e784821f9 (diff)
downloadllvm-83949fcf7c3e417a73f2bb3e6c78a74274407099.tar.gz
llvm-83949fcf7c3e417a73f2bb3e6c78a74274407099.tar.bz2
llvm-83949fcf7c3e417a73f2bb3e6c78a74274407099.tar.xz
Disallow creation of named values of type void.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15190 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore')
-rw-r--r--lib/VMCore/Value.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/VMCore/Value.cpp b/lib/VMCore/Value.cpp
index d14d1656a4..79521f6845 100644
--- a/lib/VMCore/Value.cpp
+++ b/lib/VMCore/Value.cpp
@@ -36,6 +36,8 @@ Value::Value(const Type *ty, unsigned scid, const std::string &name)
assert((Ty->isFirstClassType() || Ty == Type::VoidTy ||
isa<OpaqueType>(ty)) &&
"Cannot create non-first-class values except for constants!");
+ if (ty == Type::VoidTy)
+ assert(name == "" && "Cannot have named void values!");
}
Value::~Value() {