1 ; RUN: opt -passes=verify < %s
3 %struct.__sFILE = type { %struct.__sFILE }
5 @.str = private unnamed_addr constant [13 x i8] c"Hello world\0A\00", align 1
7 ; Function Attrs: nounwind ssp
8 define void @test(ptr %stream, ptr %str) {
9 %fputs = call i32 @fputs(ptr %str, ptr %stream)
13 ; Function Attrs: nounwind
14 declare i32 @fputs(ptr nocapture, ptr nocapture)