| Nuno Lopes | 060ddb0 | 2012-05-09 21:21:49 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s | FileCheck %s |
| Eric Christopher | 3883e66 | 2011-07-26 22:17:02 +0000 | [diff] [blame] | 2 | |
| 3 | void f(void); |
| 4 | void g(void) { |
| Bill Wendling | be9e8bf | 2013-02-28 22:49:57 +0000 | [diff] [blame] | 5 | // CHECK: define void @g() [[NUW:#[0-9]+]] |
| Eric Christopher | 3883e66 | 2011-07-26 22:17:02 +0000 | [diff] [blame] | 6 | // CHECK-NOT: call void @f() nounwind |
| 7 | f(); |
| 8 | } |
| 9 | |
| Bill Wendling | be9e8bf | 2013-02-28 22:49:57 +0000 | [diff] [blame] | 10 | // CHECK-NOT: declare void @f() [[NUW]] |
| Bill Wendling | f7a9da0 | 2013-02-20 07:22:19 +0000 | [diff] [blame] | 11 | |
| Bill Wendling | be9e8bf | 2013-02-28 22:49:57 +0000 | [diff] [blame] | 12 | // CHECK: attributes [[NUW]] = { nounwind{{.*}} } |