diff options
| author | Davide Italiano <davide@freebsd.org> | 2017-08-16 15:16:33 +0000 |
|---|---|---|
| committer | Davide Italiano <davide@freebsd.org> | 2017-08-16 15:16:33 +0000 |
| commit | cd21378ff63c8fc7f32c00750fd12c46d5ebcbfe (patch) | |
| tree | 726dc5807371586184ced2282b549f32164c2b26 /llvm/lib | |
| parent | b865ef534a156d45bfe21f963bde43d521175c65 (diff) | |
| download | bcm5719-llvm-cd21378ff63c8fc7f32c00750fd12c46d5ebcbfe.tar.gz bcm5719-llvm-cd21378ff63c8fc7f32c00750fd12c46d5ebcbfe.zip | |
[Verifier] Reject globals without a type associated.
llvm-svn: 311012
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 84c93c440fd..d08b69fd4aa 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -1150,6 +1150,7 @@ void Verifier::visitDIGlobalVariable(const DIGlobalVariable &N) { AssertDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N); AssertDI(!N.getName().empty(), "missing global variable name", &N); + AssertDI(N.getType(), "missing global variable type", &N); if (auto *Member = N.getRawStaticDataMemberDeclaration()) { AssertDI(isa<DIDerivedType>(Member), "invalid static data member declaration", &N, Member); |
