diff options
| author | Davide Italiano <davide@freebsd.org> | 2016-04-06 03:57:47 +0000 |
|---|---|---|
| committer | Davide Italiano <davide@freebsd.org> | 2016-04-06 03:57:47 +0000 |
| commit | 2deceb033935e97963d1ad1bffea1a330168f262 (patch) | |
| tree | 966340e4427e345417265f5f63cea75915337603 /llvm/lib | |
| parent | 8dc23a3cb58331c7b601d091d1c8c68aefb95041 (diff) | |
| download | bcm5719-llvm-2deceb033935e97963d1ad1bffea1a330168f262.tar.gz bcm5719-llvm-2deceb033935e97963d1ad1bffea1a330168f262.zip | |
[IRVerifier] Don't crash on invalid DIFile inside DISubprogram.
llvm-svn: 265515
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 fe3d6eb6cf4..ca441922957 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()); + Assert(N.getRawFile() && isa<DIFile>(N.getRawFile()), "invalid file", &N, + N.getRawFile()); if (auto *T = N.getRawType()) Assert(isa<DISubroutineType>(T), "invalid subroutine type", &N, T); Assert(isTypeRef(N, N.getRawContainingType()), "invalid containing type", &N, |
