RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-29 14:20:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix an infinite recursion in the verifier caused by calling isSized on a recursive type.

Browse Source 
llvm-svn: 232143
This commit is contained in:
Owen Anderson 2015-03-13 06:41:26 +00:00
parent ac40111e96
commit 09cf5bf820
2 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/IR/Verifier.cpp
View File

@ -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!",

15
test/Verifier/recursive-struct-param.ll Normal file
View File

@ -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)