diff options
| author | Owen Anderson <resistor@mac.com> | 2015-03-13 06:41:26 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2015-03-13 06:41:26 +0000 |
| commit | 08f46e1de67f333b10f4e299b4eccccc84ca6697 (patch) | |
| tree | 8aa63682991b770921bc6ea4c06b9507ecfa47e1 /llvm/lib/IR/Verifier.cpp | |
| parent | 04183242b34d660cc5f265c329eca2fcb4d781e9 (diff) | |
| download | bcm5719-llvm-08f46e1de67f333b10f4e299b4eccccc84ca6697.tar.gz bcm5719-llvm-08f46e1de67f333b10f4e299b4eccccc84ca6697.zip | |
Fix an infinite recursion in the verifier caused by calling isSized on a recursive type.
llvm-svn: 232143
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index eaad5fb1b98..9e77c32ee4b 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -1014,7 +1014,8 @@ void Verifier::VerifyParameterAttrs(AttributeSet Attrs, unsigned Idx, Type *Ty, V); if (PointerType *PTy = dyn_cast<PointerType>(Ty)) { - if (!PTy->getElementType()->isSized()) { + SmallPtrSet<const Type*, 4> Visited; + if (!PTy->getElementType()->isSized(&Visited)) { Assert(!Attrs.hasAttribute(Idx, Attribute::ByVal) && !Attrs.hasAttribute(Idx, Attribute::InAlloca), "Attributes 'byval' and 'inalloca' do not support unsized types!", |
