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/test/Verifier/recursive-struct-param.ll | |
| 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/test/Verifier/recursive-struct-param.ll')
| -rw-r--r-- | llvm/test/Verifier/recursive-struct-param.ll | 15 |
1 files changed, 15 insertions, 0 deletions
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) + |
