Home | History | Annotate | Download | only in Verifier
      1 ; RUN: opt -verify < %s
      2 
      3 %struct.__sFILE = type { %struct.__sFILE }
      4 
      5 @.str = private unnamed_addr constant [13 x i8] c"Hello world\0A\00", align 1
      6 
      7 ; Function Attrs: nounwind ssp
      8 define void @test(%struct.__sFILE* %stream, i8* %str) {
      9   %fputs = call i32 @fputs(i8* %str, %struct.__sFILE* %stream)
     10   ret void
     11 }
     12 
     13 ; Function Attrs: nounwind
     14 declare i32 @fputs(i8* nocapture, %struct.__sFILE* nocapture)
     15 
     16