1 // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s | FileCheck %s
2 
3 void f(void);
g(void)4 void g(void) {
5   // CHECK: define void @g() [[NUW:#[0-9]+]]
6   // CHECK-NOT: call void @f() nounwind
7   f();
8 }
9 
10 // CHECK-NOT: declare void @f() [[NUW]]
11 
12 // CHECK: attributes [[NUW]] = { nounwind{{.*}} }
13