1; RUN: opt -S -functionattrs < %s | FileCheck %s
2
3define void @f() {
4; CHECK-LABEL:  define void @f() {
5 call void @g() [ "unknown"() ]
6 ret void
7}
8
9define void @g() {
10; CHECK-LABEL:  define void @g() {
11 call void @f()
12 ret void
13}
14