| ; RUN: opt -passes=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(ptr %stream, ptr %str) { | |
| %fputs = call i32 @fputs(ptr %str, ptr %stream) | |
| ret void | |
| } | |
| ; Function Attrs: nounwind | |
| declare i32 @fputs(ptr nocapture, ptr nocapture) | |