1*67e74705SXin Li // RUN: %clang_cc1 -triple i386-unknown-unknown -fexceptions -emit-llvm -o - %s | FileCheck %s 2*67e74705SXin Li // RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm -o - %s | FileCheck -check-prefix CHECK-NOEXC %s 3*67e74705SXin Li 4*67e74705SXin Li int opaque(); 5*67e74705SXin Li 6*67e74705SXin Li // CHECK: define [[INT:i.*]] @test0() [[TF:#[0-9]+]] { 7*67e74705SXin Li // CHECK-NOEXC: define [[INT:i.*]] @test0() [[NUW:#[0-9]+]] { test0(void)8*67e74705SXin Liint test0(void) { 9*67e74705SXin Li return opaque(); 10*67e74705SXin Li } 11*67e74705SXin Li 12*67e74705SXin Li // <rdar://problem/8087431>: locally infer nounwind at -O0 13*67e74705SXin Li // CHECK: define [[INT:i.*]] @test1() [[NUW:#[0-9]+]] { 14*67e74705SXin Li // CHECK-NOEXC: define [[INT:i.*]] @test1() [[NUW]] { test1(void)15*67e74705SXin Liint test1(void) { 16*67e74705SXin Li return 0; 17*67e74705SXin Li } 18*67e74705SXin Li 19*67e74705SXin Li // <rdar://problem/8283071>: not for weak functions 20*67e74705SXin Li // CHECK: define weak [[INT:i.*]] @test2() [[TF]] { 21*67e74705SXin Li // CHECK-NOEXC: define weak [[INT:i.*]] @test2() [[NUW]] { test2(void)22*67e74705SXin Li__attribute__((weak)) int test2(void) { 23*67e74705SXin Li return 0; 24*67e74705SXin Li } 25*67e74705SXin Li 26*67e74705SXin Li // CHECK: attributes [[TF]] = { "{{.*}} } 27*67e74705SXin Li // CHECK: attributes [[NUW]] = { nounwind{{.*}} } 28*67e74705SXin Li 29*67e74705SXin Li // CHECK-NOEXC: attributes [[NUW]] = { nounwind{{.*}} } 30