; RUN: opt < %s -functionattrs -S | FileCheck %s

; CHECK: declare noalias i8* @fopen(i8* nocapture readonly, i8* nocapture readonly) #0
declare i8* @fopen(i8*, i8*)

; CHECK: declare i8 @strlen(i8* nocapture) #1
declare i8 @strlen(i8*)

; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) #0
declare i32* @realloc(i32*, i32)

; Test deliberately wrong declaration
declare i32 @strcpy(...)

; CHECK-NOT: strcpy{{.*}}noalias
; CHECK-NOT: strcpy{{.*}}nocapture
; CHECK-NOT: strcpy{{.*}}nounwind
; CHECK-NOT: strcpy{{.*}}readonly

; CHECK: attributes #0 = { nounwind }
; CHECK: attributes #1 = { nounwind readonly }