diff options
| author | Davide Italiano <davide@freebsd.org> | 2016-04-06 18:46:39 +0000 |
|---|---|---|
| committer | Davide Italiano <davide@freebsd.org> | 2016-04-06 18:46:39 +0000 |
| commit | 5f1c87bf0741f09fafbb46fbb211c269b9b5391b (patch) | |
| tree | 9cbe4ada6936ad2a654a1ada75c94c98ccea2ba9 /llvm/lib | |
| parent | 6ac88cc1eca25ffb28b6f5fb5bae5e8340c2c58b (diff) | |
| download | bcm5719-llvm-5f1c87bf0741f09fafbb46fbb211c269b9b5391b.tar.gz bcm5719-llvm-5f1c87bf0741f09fafbb46fbb211c269b9b5391b.zip | |
[IRVerifier] Don't crash on invalid DIFile inside DISubprogram.
r265515, this time with the correct fix. file inside DISubprogram is not
mandatory.
llvm-svn: 265586
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index fad4aacb52d..212e2bf38cd 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -988,6 +988,8 @@ void Verifier::visitDICompileUnit(const DICompileUnit &N) { void Verifier::visitDISubprogram(const DISubprogram &N) { Assert(N.getTag() == dwarf::DW_TAG_subprogram, "invalid tag", &N); Assert(isScopeRef(N, N.getRawScope()), "invalid scope", &N, N.getRawScope()); + if (auto *F = N.getRawFile()) + Assert(isa<DIFile>(F), "invalid file", &N, F); if (auto *T = N.getRawType()) Assert(isa<DISubroutineType>(T), "invalid subroutine type", &N, T); Assert(isTypeRef(N, N.getRawContainingType()), "invalid containing type", &N, |
