| 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s | FileCheck %s |
|---|---|
| 2 | |
| 3 | void f(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]] = { noinline nounwind{{.*}} } |
| 13 |