diff options
| author | Alkis Evlogimenos <alkis@evlogimenos.com> | 2004-07-25 06:07:15 +0000 |
|---|---|---|
| committer | Alkis Evlogimenos <alkis@evlogimenos.com> | 2004-07-25 06:07:15 +0000 |
| commit | 2f130282bd4a9001f7eedc10c0ab50f0c28dfeea (patch) | |
| tree | cbae571bf7606e15449aca7d713293034bc8388a | |
| parent | 83b9c50f8f6ca1dda4614f1c6cf0da9563494fb7 (diff) | |
| download | bcm5719-llvm-2f130282bd4a9001f7eedc10c0ab50f0c28dfeea.tar.gz bcm5719-llvm-2f130282bd4a9001f7eedc10c0ab50f0c28dfeea.zip | |
Disallow creation of named values of type void.
llvm-svn: 15190
| -rw-r--r-- | llvm/lib/VMCore/Value.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/VMCore/Value.cpp b/llvm/lib/VMCore/Value.cpp index d14d1656a47..79521f6845a 100644 --- a/llvm/lib/VMCore/Value.cpp +++ b/llvm/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() { |

