blob: ceb3b8e8039691249d4a4ef899ca787371ed6b24 [file] [log] [blame]
Anders Carlsson9878f9f2010-02-06 23:59:05 +00001// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s
2
3void g();
4
Bill Wendling2386bb12013-02-27 00:06:04 +00005// CHECK: define void @_Z1fv() [[NUW:#[0-9]+]]
Anders Carlsson9878f9f2010-02-06 23:59:05 +00006void f() throw (int) {
7
8 // CHECK-NOT: invoke void @_Z1gv
9 g();
10 // CHECK: call void @_Z1gv()
11 // CHECK: ret void
12}
Bill Wendlingc33fc4c2013-02-20 07:22:19 +000013
Bill Wendling706469b2013-02-28 22:49:57 +000014// CHECK: attributes [[NUW]] = { nounwind{{.*}} }