diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-08-17 14:16:37 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-08-17 14:16:37 +0000 |
| commit | 4901f0d2a25da6b678c3d6eb25ea73e0bdb7a229 (patch) | |
| tree | 54eeab79654fb2521eff3624d52831c4eaec6cf0 /llvm/lib/Analysis/MemoryBuiltins.cpp | |
| parent | 2f47a3fb0700fe016673dc023a7d567bacae37e2 (diff) | |
| download | llvm-4901f0d2a25da6b678c3d6eb25ea73e0bdb7a229.zip llvm-4901f0d2a25da6b678c3d6eb25ea73e0bdb7a229.tar.gz llvm-4901f0d2a25da6b678c3d6eb25ea73e0bdb7a229.tar.bz2 | |
Guard MemoryBuiltins against self-looping GEPs, which can occur in unreachable code due to constant propagation.
Fixes PR13621.
llvm-svn: 162098
Diffstat (limited to 'llvm/lib/Analysis/MemoryBuiltins.cpp')
| -rw-r--r-- | llvm/lib/Analysis/MemoryBuiltins.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/MemoryBuiltins.cpp b/llvm/lib/Analysis/MemoryBuiltins.cpp index c0cc27b..e77d2ff 100644 --- a/llvm/lib/Analysis/MemoryBuiltins.cpp +++ b/llvm/lib/Analysis/MemoryBuiltins.cpp @@ -473,6 +473,10 @@ ObjectSizeOffsetVisitor::visitExtractValueInst(ExtractValueInst&) { } SizeOffsetType ObjectSizeOffsetVisitor::visitGEPOperator(GEPOperator &GEP) { + // Ignore self-referencing GEPs, they can occur in unreachable code. + if (&GEP == GEP.getPointerOperand()) + return unknown(); + SizeOffsetType PtrData = compute(GEP.getPointerOperand()); if (!bothKnown(PtrData) || !GEP.hasAllConstantIndices()) return unknown(); |