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