diff options
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 3 | ||||
| -rw-r--r-- | llvm/test/Verifier/recursive-struct-param.ll | 15 |
2 files changed, 17 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!", diff --git a/llvm/test/Verifier/recursive-struct-param.ll b/llvm/test/Verifier/recursive-struct-param.ll new file mode 100644 index 00000000000..4b280a010f0 --- /dev/null +++ b/llvm/test/Verifier/recursive-struct-param.ll @@ -0,0 +1,15 @@ +; RUN: opt -verify < %s + +%struct.__sFILE = type { %struct.__sFILE } + +@.str = private unnamed_addr constant [13 x i8] c"Hello world\0A\00", align 1 + +; Function Attrs: nounwind ssp +define void @test(%struct.__sFILE* %stream, i8* %str) { + %fputs = call i32 @fputs(i8* %str, %struct.__sFILE* %stream) + ret void +} + +; Function Attrs: nounwind +declare i32 @fputs(i8* nocapture, %struct.__sFILE* nocapture) + |
