head 1.1; branch 1.1.1; access; symbols netbsd-11-0-RC5:1.1.1.7 netbsd-11-0-RC4:1.1.1.7 netbsd-11-0-RC3:1.1.1.7 netbsd-11-0-RC2:1.1.1.7 netbsd-11-0-RC1:1.1.1.7 perseant-exfatfs-base-20250801:1.1.1.7 netbsd-11:1.1.1.7.0.10 netbsd-11-base:1.1.1.7 netbsd-10-1-RELEASE:1.1.1.7 perseant-exfatfs-base-20240630:1.1.1.7 perseant-exfatfs:1.1.1.7.0.8 perseant-exfatfs-base:1.1.1.7 netbsd-8-3-RELEASE:1.1.1.6 netbsd-9-4-RELEASE:1.1.1.6 netbsd-10-0-RELEASE:1.1.1.7 netbsd-10-0-RC6:1.1.1.7 netbsd-10-0-RC5:1.1.1.7 netbsd-10-0-RC4:1.1.1.7 netbsd-10-0-RC3:1.1.1.7 netbsd-10-0-RC2:1.1.1.7 netbsd-10-0-RC1:1.1.1.7 netbsd-10:1.1.1.7.0.6 netbsd-10-base:1.1.1.7 netbsd-9-3-RELEASE:1.1.1.6 cjep_sun2x:1.1.1.7.0.4 cjep_sun2x-base:1.1.1.7 cjep_staticlib_x-base1:1.1.1.7 netbsd-9-2-RELEASE:1.1.1.6 cjep_staticlib_x:1.1.1.7.0.2 cjep_staticlib_x-base:1.1.1.7 netbsd-9-1-RELEASE:1.1.1.6 phil-wifi-20200421:1.1.1.7 phil-wifi-20200411:1.1.1.7 phil-wifi-20200406:1.1.1.7 netbsd-8-2-RELEASE:1.1.1.6 netbsd-9-0-RELEASE:1.1.1.6 netbsd-9-0-RC2:1.1.1.6 netbsd-9-0-RC1:1.1.1.6 netbsd-9:1.1.1.6.0.14 netbsd-9-base:1.1.1.6 phil-wifi-20190609:1.1.1.6 netbsd-8-1-RELEASE:1.1.1.6 netbsd-8-1-RC1:1.1.1.6 pgoyette-compat-merge-20190127:1.1.1.6 pgoyette-compat-20190127:1.1.1.6 pgoyette-compat-20190118:1.1.1.6 pgoyette-compat-1226:1.1.1.6 pgoyette-compat-1126:1.1.1.6 pgoyette-compat-1020:1.1.1.6 pgoyette-compat-0930:1.1.1.6 pgoyette-compat-0906:1.1.1.6 netbsd-7-2-RELEASE:1.1.1.3 pgoyette-compat-0728:1.1.1.6 clang-337282:1.1.1.6 netbsd-8-0-RELEASE:1.1.1.6 phil-wifi:1.1.1.6.0.12 phil-wifi-base:1.1.1.6 pgoyette-compat-0625:1.1.1.6 netbsd-8-0-RC2:1.1.1.6 pgoyette-compat-0521:1.1.1.6 pgoyette-compat-0502:1.1.1.6 pgoyette-compat-0422:1.1.1.6 netbsd-8-0-RC1:1.1.1.6 pgoyette-compat-0415:1.1.1.6 pgoyette-compat-0407:1.1.1.6 pgoyette-compat-0330:1.1.1.6 pgoyette-compat-0322:1.1.1.6 pgoyette-compat-0315:1.1.1.6 netbsd-7-1-2-RELEASE:1.1.1.3 pgoyette-compat:1.1.1.6.0.10 pgoyette-compat-base:1.1.1.6 netbsd-7-1-1-RELEASE:1.1.1.3 clang-319952:1.1.1.6 matt-nb8-mediatek:1.1.1.6.0.8 matt-nb8-mediatek-base:1.1.1.6 clang-309604:1.1.1.6 perseant-stdc-iso10646:1.1.1.6.0.6 perseant-stdc-iso10646-base:1.1.1.6 netbsd-8:1.1.1.6.0.4 netbsd-8-base:1.1.1.6 prg-localcount2-base3:1.1.1.6 prg-localcount2-base2:1.1.1.6 prg-localcount2-base1:1.1.1.6 prg-localcount2:1.1.1.6.0.2 prg-localcount2-base:1.1.1.6 pgoyette-localcount-20170426:1.1.1.6 bouyer-socketcan-base1:1.1.1.6 pgoyette-localcount-20170320:1.1.1.6 netbsd-7-1:1.1.1.3.0.10 netbsd-7-1-RELEASE:1.1.1.3 netbsd-7-1-RC2:1.1.1.3 clang-294123:1.1.1.6 netbsd-7-nhusb-base-20170116:1.1.1.3 bouyer-socketcan:1.1.1.5.0.2 bouyer-socketcan-base:1.1.1.5 clang-291444:1.1.1.5 pgoyette-localcount-20170107:1.1.1.4 netbsd-7-1-RC1:1.1.1.3 pgoyette-localcount-20161104:1.1.1.4 netbsd-7-0-2-RELEASE:1.1.1.3 localcount-20160914:1.1.1.4 netbsd-7-nhusb:1.1.1.3.0.8 netbsd-7-nhusb-base:1.1.1.3 clang-280599:1.1.1.4 pgoyette-localcount-20160806:1.1.1.4 pgoyette-localcount-20160726:1.1.1.4 pgoyette-localcount:1.1.1.4.0.2 pgoyette-localcount-base:1.1.1.4 netbsd-7-0-1-RELEASE:1.1.1.3 clang-261930:1.1.1.4 netbsd-7-0:1.1.1.3.0.6 netbsd-7-0-RELEASE:1.1.1.3 netbsd-7-0-RC3:1.1.1.3 netbsd-7-0-RC2:1.1.1.3 netbsd-7-0-RC1:1.1.1.3 clang-237755:1.1.1.3 clang-232565:1.1.1.3 clang-227398:1.1.1.3 tls-maxphys-base:1.1.1.3 tls-maxphys:1.1.1.3.0.4 netbsd-7:1.1.1.3.0.2 netbsd-7-base:1.1.1.3 clang-215315:1.1.1.3 clang-209886:1.1.1.2 yamt-pagecache:1.1.1.1.0.4 yamt-pagecache-base9:1.1.1.1 tls-earlyentropy:1.1.1.1.0.2 tls-earlyentropy-base:1.1.1.2 riastradh-xf86-video-intel-2-7-1-pre-2-21-15:1.1.1.1 riastradh-drm2-base3:1.1.1.1 clang-202566:1.1.1.1 clang-201163:1.1.1.1 clang-199312:1.1.1.1 clang-198450:1.1.1.1 clang-196603:1.1.1.1 clang-195771:1.1.1.1 LLVM:1.1.1; locks; strict; comment @// @; 1.1 date 2013.11.28.14.14.58; author joerg; state Exp; branches 1.1.1.1; next ; commitid ow8OybrawrB1f3fx; 1.1.1.1 date 2013.11.28.14.14.58; author joerg; state Exp; branches 1.1.1.1.2.1 1.1.1.1.4.1; next 1.1.1.2; commitid ow8OybrawrB1f3fx; 1.1.1.2 date 2014.05.30.18.14.47; author joerg; state Exp; branches; next 1.1.1.3; commitid 8q0kdlBlCn09GACx; 1.1.1.3 date 2014.08.10.17.08.40; author joerg; state Exp; branches 1.1.1.3.4.1; next 1.1.1.4; commitid N85tXAN6Ex9VZPLx; 1.1.1.4 date 2016.02.27.22.10.24; author joerg; state Exp; branches 1.1.1.4.2.1; next 1.1.1.5; commitid tIimz3oDlh1NpBWy; 1.1.1.5 date 2017.01.11.10.40.06; author joerg; state Exp; branches 1.1.1.5.2.1; next 1.1.1.6; commitid CNnUNfII1jgNmxBz; 1.1.1.6 date 2017.02.09.17.39.19; author joerg; state Exp; branches 1.1.1.6.12.1; next 1.1.1.7; commitid UxB8JMFWM7xyMiFz; 1.1.1.7 date 2019.11.13.22.20.14; author joerg; state dead; branches; next ; commitid QD8YATxuNG34YJKB; 1.1.1.1.2.1 date 2014.08.10.07.08.14; author tls; state Exp; branches; next ; commitid t01A1TLTYxkpGMLx; 1.1.1.1.4.1 date 2013.11.28.14.14.58; author yamt; state dead; branches; next 1.1.1.1.4.2; commitid WSrDtL5nYAUyiyBx; 1.1.1.1.4.2 date 2014.05.22.16.18.56; author yamt; state Exp; branches; next ; commitid WSrDtL5nYAUyiyBx; 1.1.1.3.4.1 date 2014.08.10.17.08.40; author tls; state dead; branches; next 1.1.1.3.4.2; commitid jTnpym9Qu0o4R1Nx; 1.1.1.3.4.2 date 2014.08.19.23.47.57; author tls; state Exp; branches; next ; commitid jTnpym9Qu0o4R1Nx; 1.1.1.4.2.1 date 2017.03.20.06.52.59; author pgoyette; state Exp; branches; next ; commitid jjw7cAwgyKq7RfKz; 1.1.1.5.2.1 date 2017.04.21.16.51.41; author bouyer; state Exp; branches; next ; commitid dUG7nkTKALCadqOz; 1.1.1.6.12.1 date 2020.04.13.07.47.28; author martin; state dead; branches; next ; commitid X01YhRUPVUDaec4C; desc @@ 1.1 log @Initial revision @ text @// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions | FileCheck %s typedef typeof(sizeof(0)) size_t; // This just shouldn't crash. namespace test0 { struct allocator { allocator(); allocator(const allocator&); ~allocator(); }; void f(); void g(bool b, bool c) { if (b) { if (!c) throw allocator(); return; } f(); } } namespace test1 { struct A { A(int); A(int, int); ~A(); void *p; }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test11aEv() // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(5); } A *b() { // CHECK: define [[A:%.*]]* @@_ZN5test11bEv() // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: [[FOO:%.*]] = invoke i32 @@_ZN5test13fooEv() // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[FOO]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) extern int foo(); return new A(foo()); } struct B { B(); ~B(); operator int(); int x; }; B makeB(); A *c() { // CHECK: define [[A:%.*]]* @@_ZN5test11cEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = getelementptr inbounds [[B]]* [[T0]], i32 0, i32 0 // CHECK-NEXT: [[T2:%.*]] = load i32* [[T1]], align 4 // CHECK-NEXT: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T2]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B().x); } // rdar://11904428 // Terminate landing pads should call __cxa_begin_catch first. // CHECK: define linkonce_odr hidden void @@__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]] // CHECK-NEXT: [[T0:%.*]] = call i8* @@__cxa_begin_catch(i8* %0) [[NUW:#[0-9]+]] // CHECK-NEXT: call void @@_ZSt9terminatev() [[NR_NUW:#[0-9]+]] // CHECK-NEXT: unreachable A *d() { // CHECK: define [[A:%.*]]* @@_ZN5test11dEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T1]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B()); } A *e() { // CHECK: define [[A:%.*]]* @@_ZN5test11eEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11BC1Ev([[B]]* [[T2:%.*]]) // CHECK: [[T3:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11AC1Eii([[A]]* [[CAST]], i32 [[T1]], i32 [[T3]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B(), B()); } A *f() { return new A(makeB().x); } A *g() { return new A(makeB()); } A *h() { return new A(makeB(), makeB()); } A *i() { // CHECK: define [[A:%.*]]* @@_ZN5test11iEv() // CHECK: [[X:%.*]] = alloca [[A]]*, align 8 // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test15makeBEv([[B:%.*]]* sret [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T1]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: store [[A]]* [[CAST]], [[A]]** [[X]], align 8 // CHECK: invoke void @@_ZN5test15makeBEv([[B:%.*]]* sret [[T2:%.*]]) // CHECK: [[RET:%.*]] = load [[A]]** [[X]], align 8 // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[RET]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) A *x; return (x = new A(makeB()), makeB(), x); } } namespace test2 { struct A { A(int); A(int, int); ~A(); void *p; void *operator new(size_t); void operator delete(void*, size_t); }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test21aEv() // CHECK: [[NEW:%.*]] = call i8* @@_ZN5test21AnwEm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test21AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: invoke void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] return new A(5); } } namespace test3 { struct A { A(int); A(int, int); A(const A&); ~A(); void *p; void *operator new(size_t, void*, double); void operator delete(void*, void*, double); }; void *foo(); double bar(); A makeA(), *makeAPtr(); A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test31aEv() // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test33fooEv() // CHECK: [[BAR:%.*]] = call double @@_ZN5test33barEv() // CHECK: [[NEW:%.*]] = call i8* @@_ZN5test31AnwEmPvd(i64 8, i8* [[FOO]], double [[BAR]]) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test31AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] return new(foo(),bar()) A(5); } // rdar://problem/8439196 A *b(bool cond) { // CHECK: define [[A:%.*]]* @@_ZN5test31bEb(i1 zeroext // CHECK: [[SAVED0:%.*]] = alloca i8* // CHECK-NEXT: [[SAVED1:%.*]] = alloca i8* // CHECK-NEXT: [[CLEANUPACTIVE:%.*]] = alloca i1 // CHECK: [[COND:%.*]] = trunc i8 {{.*}} to i1 // CHECK-NEXT: store i1 false, i1* [[CLEANUPACTIVE]] // CHECK-NEXT: br i1 [[COND]] return (cond ? // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test33fooEv() // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test31AnwEmPvd(i64 8, i8* [[FOO]], double [[CONST:.*]]) // CHECK-NEXT: store i8* [[NEW]], i8** [[SAVED0]] // CHECK-NEXT: store i8* [[FOO]], i8** [[SAVED1]] // CHECK-NEXT: store i1 true, i1* [[CLEANUPACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test35makeAEv([[A]]* sret [[CAST]]) // CHECK: br label // -> cond.end new(foo(),10.0) A(makeA()) : // CHECK: [[MAKE:%.*]] = call [[A]]* @@_ZN5test38makeAPtrEv() // CHECK: br label // -> cond.end makeAPtr()); // cond.end: // CHECK: [[RESULT:%.*]] = phi [[A]]* {{.*}}[[CAST]]{{.*}}[[MAKE]] // CHECK: ret [[A]]* [[RESULT]] // in the EH path: // CHECK: [[ISACTIVE:%.*]] = load i1* [[CLEANUPACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: [[V0:%.*]] = load i8** [[SAVED0]] // CHECK-NEXT: [[V1:%.*]] = load i8** [[SAVED1]] // CHECK-NEXT: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) } } namespace test4 { struct A { A(int); A(int, int); ~A(); void *p; void *operator new(size_t, void*, void*); void operator delete(void*, size_t, void*, void*); // not a match }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test41aEv() // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test43fooEv() // CHECK-NEXT: [[BAR:%.*]] = call i8* @@_ZN5test43barEv() // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test41AnwEmPvS1_(i64 8, i8* [[FOO]], i8* [[BAR]]) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: call void @@_ZN5test41AC1Ei([[A]]* [[CAST]], i32 5) // CHECK-NEXT: ret [[A]]* [[CAST]] extern void *foo(), *bar(); return new(foo(),bar()) A(5); } } // PR7908 namespace test5 { struct T { T(); ~T(); }; struct A { A(const A &x, const T &t = T()); ~A(); }; void foo(); // CHECK-LABEL: define void @@_ZN5test54testEv() // CHECK: [[EXNSLOT:%.*]] = alloca i8* // CHECK-NEXT: [[SELECTORSLOT:%.*]] = alloca i32 // CHECK-NEXT: [[A:%.*]] = alloca [[A_T:%.*]], align 1 // CHECK-NEXT: [[T:%.*]] = alloca [[T_T:%.*]], align 1 // CHECK-NEXT: invoke void @@_ZN5test53fooEv() // CHECK: [[EXN:%.*]] = load i8** [[EXNSLOT]] // CHECK-NEXT: [[ADJ:%.*]] = call i8* @@__cxa_get_exception_ptr(i8* [[EXN]]) // CHECK-NEXT: [[SRC:%.*]] = bitcast i8* [[ADJ]] to [[A_T]]* // CHECK-NEXT: invoke void @@_ZN5test51TC1Ev([[T_T]]* [[T]]) // CHECK: invoke void @@_ZN5test51AC1ERKS0_RKNS_1TE([[A_T]]* [[A]], [[A_T]]* [[SRC]], [[T_T]]* [[T]]) // CHECK: invoke void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK: call i8* @@__cxa_begin_catch(i8* [[EXN]]) [[NUW]] // CHECK-NEXT: invoke void @@_ZN5test51AD1Ev([[A_T]]* [[A]]) // CHECK: call void @@__cxa_end_catch() void test() { try { foo(); } catch (A a) { } } } // PR9303: invalid assert on this namespace test6 { bool cond(); void test() { try { lbl: if (cond()) goto lbl; } catch (...) { } } } // PR9298 namespace test7 { struct A { A(); ~A(); }; struct B { // The throw() operator means that a bad allocation is signalled // with a null return, which means that the initializer is // evaluated conditionally. static void *operator new(size_t size) throw(); B(const A&, B*); ~B(); }; B *test() { // CHECK: define [[B:%.*]]* @@_ZN5test74testEv() // CHECK: [[OUTER_NEW:%.*]] = alloca i1 // CHECK-NEXT: alloca [[A:%.*]], // CHECK-NEXT: alloca i8* // CHECK-NEXT: alloca i32 // CHECK-NEXT: [[OUTER_A:%.*]] = alloca i1 // CHECK-NEXT: alloca i8* // CHECK-NEXT: [[INNER_NEW:%.*]] = alloca i1 // CHECK-NEXT: alloca [[A]] // CHECK-NEXT: [[INNER_A:%.*]] = alloca i1 // Allocate the outer object. // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test71BnwEm( // CHECK-NEXT: icmp eq i8* [[NEW]], null // These stores, emitted before the outermost conditional branch, // deactivate the temporary cleanups. // CHECK-NEXT: store i1 false, i1* [[OUTER_NEW]] // CHECK-NEXT: store i1 false, i1* [[OUTER_A]] // CHECK-NEXT: store i1 false, i1* [[INNER_NEW]] // CHECK-NEXT: store i1 false, i1* [[INNER_A]] // CHECK-NEXT: br i1 // We passed the first null check; activate that cleanup and continue. // CHECK: store i1 true, i1* [[OUTER_NEW]] // CHECK-NEXT: bitcast // Create the first A temporary and activate that cleanup. // CHECK-NEXT: invoke void @@_ZN5test71AC1Ev( // CHECK: store i1 true, i1* [[OUTER_A]] // Allocate the inner object. // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test71BnwEm( // CHECK-NEXT: icmp eq i8* [[NEW]], null // CHECK-NEXT: br i1 // We passed the second null check; save that pointer, activate // that cleanup, and continue. // CHECK: store i8* [[NEW]] // CHECK-NEXT: store i1 true, i1* [[INNER_NEW]] // CHECK-NEXT: bitcast // Build the second A temporary and activate that cleanup. // CHECK-NEXT: invoke void @@_ZN5test71AC1Ev( // CHECK: store i1 true, i1* [[INNER_A]] // Build the inner B object and deactivate the inner delete cleanup. // CHECK-NEXT: invoke void @@_ZN5test71BC1ERKNS_1AEPS0_( // CHECK: store i1 false, i1* [[INNER_NEW]] // CHECK: phi // Build the outer B object and deactivate the outer delete cleanup. // CHECK-NEXT: invoke void @@_ZN5test71BC1ERKNS_1AEPS0_( // CHECK: store i1 false, i1* [[OUTER_NEW]] // CHECK: phi // CHECK-NEXT: store [[B]]* // Destroy the inner A object. // CHECK-NEXT: load i1* [[INNER_A]] // CHECK-NEXT: br i1 // CHECK: invoke void @@_ZN5test71AD1Ev( // Destroy the outer A object. // CHECK: load i1* [[OUTER_A]] // CHECK-NEXT: br i1 // CHECK: invoke void @@_ZN5test71AD1Ev( return new B(A(), new B(A(), 0)); } } // Just don't crash. namespace test8 { struct A { // Having both of these is required to trigger the assert we're // trying to avoid. A(const A&); A&operator=(const A&); ~A(); }; A makeA(); void test() { throw makeA(); } // CHECK-LABEL: define void @@_ZN5test84testEv } // Make sure we generate the correct code for the delete[] call which // happens if A::A() throws. (We were previously calling delete[] on // a pointer to the first array element, not the pointer returned by new[].) // PR10870 namespace test9 { struct A { A(); ~A(); }; A* test() { return new A[10]; } // CHECK: define {{%.*}}* @@_ZN5test94testEv // CHECK: [[TEST9_NEW:%.*]] = call noalias i8* @@_Znam // CHECK: call void @@_ZdaPv(i8* [[TEST9_NEW]]) } // In a destructor with a function-try-block, a return statement in a // catch handler behaves differently from running off the end of the // catch handler. PR13102. namespace test10 { extern void cleanup(); extern bool suppress; struct A { ~A(); }; A::~A() try { cleanup(); } catch (...) { return; } // CHECK-LABEL: define void @@_ZN6test101AD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK-NOT: rethrow // CHECK: ret void struct B { ~B(); }; B::~B() try { cleanup(); } catch (...) {} // CHECK-LABEL: define void @@_ZN6test101BD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK: call i8* @@__cxa_begin_catch // CHECK-NEXT: invoke void @@__cxa_rethrow() // CHECK: unreachable struct C { ~C(); }; C::~C() try { cleanup(); } catch (...) { if (suppress) return; } // CHECK-LABEL: define void @@_ZN6test101CD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK: call i8* @@__cxa_begin_catch // CHECK-NEXT: load i8* @@_ZN6test108suppressE, align 1 // CHECK-NEXT: trunc // CHECK-NEXT: br i1 // CHECK: call void @@__cxa_end_catch() // CHECK-NEXT: br label // CHECK: invoke void @@__cxa_rethrow() // CHECK: unreachable } // Ensure that an exception in a constructor destroys // already-constructed array members. PR14514 namespace test11 { struct A { A(); ~A() {} }; struct C { A single; A array[2][3]; C(); }; C::C() { throw 0; } // CHECK-LABEL: define void @@_ZN6test111CC2Ev( // CHECK: [[THIS:%.*]] = load [[C:%.*]]** {{%.*}} // Construct single. // CHECK-NEXT: [[SINGLE:%.*]] = getelementptr inbounds [[C]]* [[THIS]], i32 0, i32 0 // CHECK-NEXT: call void @@_ZN6test111AC1Ev([[A:%.*]]* [[SINGLE]]) // Construct array. // CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds [[C]]* [[THIS]], i32 0, i32 1 // CHECK-NEXT: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]]* [[ARRAYBEGIN]], i64 6 // CHECK-NEXT: br label // CHECK: [[CUR:%.*]] = phi [[A]]* [ [[ARRAYBEGIN]], {{%.*}} ], [ [[NEXT:%.*]], {{%.*}} ] // CHECK-NEXT: invoke void @@_ZN6test111AC1Ev([[A:%.*]]* [[CUR]]) // CHECK: [[NEXT]] = getelementptr inbounds [[A]]* [[CUR]], i64 1 // CHECK-NEXT: [[DONE:%.*]] = icmp eq [[A]]* [[NEXT]], [[ARRAYEND]] // CHECK-NEXT: br i1 [[DONE]], // throw 0; // CHECK: invoke void @@__cxa_throw( // Landing pad 1, from constructor in array-initialization loop: // CHECK: landingpad // - First, destroy already-constructed bits of array. // CHECK: [[EMPTY:%.*]] = icmp eq [[A]]* [[ARRAYBEGIN]], [[CUR]] // CHECK-NEXT: br i1 [[EMPTY]] // CHECK: [[AFTER:%.*]] = phi [[A]]* [ [[CUR]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ] // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]]* [[AFTER]], i64 -1 // CHECK-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK: [[DONE:%.*]] = icmp eq [[A]]* [[ELT]], [[ARRAYBEGIN]] // CHECK-NEXT: br i1 [[DONE]], // - Next, chain to cleanup for single. // CHECK: br label // Landing pad 2, from throw site. // CHECK: landingpad // - First, destroy all of array. // CHECK: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]]* [[ARRAYBEGIN]], i64 6 // CHECK-NEXT: br label // CHECK: [[AFTER:%.*]] = phi [[A]]* [ [[ARRAYEND]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ] // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]]* [[AFTER]], i64 -1 // CHECK-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK: [[DONE:%.*]] = icmp eq [[A]]* [[ELT]], [[ARRAYBEGIN]] // CHECK-NEXT: br i1 [[DONE]], // - Next, chain to cleanup for single. // CHECK: br label // Finally, the cleanup for single. // CHECK: invoke void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) // CHECK: br label // CHECK: resume // (After this is a terminate landingpad.) } // CHECK: attributes [[NI_NR_NUW]] = { noinline noreturn nounwind } @ 1.1.1.1 log @Import Clang 3.4rc1 r195771. @ text @@ 1.1.1.1.2.1 log @Rebase. @ text @d282 1 a282 1 // CHECK: invoke void @@_ZN5test51AC1ERKS0_RKNS_1TE([[A_T]]* [[A]], [[A_T]]* nonnull [[SRC]], [[T_T]]* nonnull [[T]]) @ 1.1.1.2 log @Import Clang 3.5svn r209886. @ text @d282 1 a282 1 // CHECK: invoke void @@_ZN5test51AC1ERKS0_RKNS_1TE([[A_T]]* [[A]], [[A_T]]* nonnull [[SRC]], [[T_T]]* nonnull [[T]]) @ 1.1.1.3 log @Import clang 3.6svn r215315. @ text @d282 1 a282 1 // CHECK: invoke void @@_ZN5test51AC1ERKS0_RKNS_1TE([[A_T]]* [[A]], [[A_T]]* dereferenceable({{[0-9]+}}) [[SRC]], [[T_T]]* dereferenceable({{[0-9]+}}) [[T]]) @ 1.1.1.4 log @Import Clang 3.8.0rc3 r261930. @ text @d1 1 a1 1 // RUN: %clang_cc1 %s -triple=x86_64-linux-gnu -emit-llvm -o - -fcxx-exceptions -fexceptions | FileCheck %s d3 1 a3 4 typedef __typeof(sizeof(0)) size_t; // Declare the reserved global placement new. void *operator new(size_t, void*); d60 2 a61 2 // CHECK: [[T1:%.*]] = getelementptr inbounds [[B]], [[B]]* [[T0]], i32 0, i32 0 // CHECK-NEXT: [[T2:%.*]] = load i32, i32* [[T1]], align 4 d66 1 a66 1 // CHECK: [[ISACTIVE:%.*]] = load i1, i1* [[ACTIVE]] d74 1 a74 1 // CHECK: define linkonce_odr hidden void @@__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]] comdat d91 1 a91 1 // CHECK: [[ISACTIVE:%.*]] = load i1, i1* [[ACTIVE]] d112 1 a112 1 // CHECK: [[ISACTIVE:%.*]] = load i1, i1* [[ACTIVE]] d140 1 a140 1 // CHECK: [[RET:%.*]] = load [[A]]*, [[A]]** [[X]], align 8 d144 1 a144 1 // CHECK: [[ISACTIVE:%.*]] = load i1, i1* [[ACTIVE]] d231 1 a231 1 // CHECK: [[ISACTIVE:%.*]] = load i1, i1* [[CLEANUPACTIVE]] d233 2 a234 2 // CHECK: [[V0:%.*]] = load i8*, i8** [[SAVED0]] // CHECK-NEXT: [[V1:%.*]] = load i8*, i8** [[SAVED1]] d278 1 a278 1 // CHECK: [[EXN:%.*]] = load i8*, i8** [[EXNSLOT]] d378 1 a378 1 // CHECK-NEXT: load i1, i1* [[INNER_A]] d383 1 a383 1 // CHECK: load i1, i1* [[OUTER_A]] d453 1 a453 1 // CHECK-NEXT: load i8, i8* @@_ZN6test108suppressE, align 1 d481 1 a481 1 // CHECK: [[THIS:%.*]] = load [[C:%.*]]*, [[C:%.*]]** {{%.*}} d483 1 a483 1 // CHECK-NEXT: [[SINGLE:%.*]] = getelementptr inbounds [[C]], [[C]]* [[THIS]], i32 0, i32 0 d486 3 a488 3 // CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds [[C]], [[C]]* [[THIS]], i32 0, i32 1 // CHECK-NEXT: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]], [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]], [[A]]* [[ARRAYBEGIN]], i64 6 d492 1 a492 1 // CHECK: [[NEXT]] = getelementptr inbounds [[A]], [[A]]* [[CUR]], i64 1 d503 1 a503 1 // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]], [[A]]* [[AFTER]], i64 -1 d512 2 a513 2 // CHECK: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]], [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]], [[A]]* [[ARRAYBEGIN]], i64 6 d516 1 a516 1 // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]], [[A]]* [[AFTER]], i64 -1 a528 17 namespace test12 { struct A { void operator delete(void *, void *); A(); }; A *test(void *ptr) { return new (ptr) A(); } // CHECK-LABEL: define {{.*}} @@_ZN6test124testEPv( // CHECK: [[PTR:%.*]] = load i8*, i8* // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[PTR]] to [[A:%.*]]* // CHECK-NEXT: invoke void @@_ZN6test121AC1Ev([[A]]* [[CAST]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: invoke void @@_ZN6test121AdlEPvS1_(i8* [[PTR]], i8* [[PTR]]) } @ 1.1.1.4.2.1 log @Sync with HEAD @ text @d1 1 a1 2 // RUN: %clang_cc1 %s -triple=x86_64-linux-gnu -emit-llvm -std=c++98 -o - -fcxx-exceptions -fexceptions | FileCheck -check-prefix=CHECK -check-prefix=CHECK98 %s // RUN: %clang_cc1 %s -triple=x86_64-linux-gnu -emit-llvm -std=c++11 -o - -fcxx-exceptions -fexceptions | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s d33 1 a33 1 // CHECK: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d43 1 a43 1 // CHECK: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d59 1 a59 1 // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d67 1 a67 4 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d77 4 a80 4 // CHECK98: define linkonce_odr hidden void @@__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]] comdat // CHECK98-NEXT: [[T0:%.*]] = call i8* @@__cxa_begin_catch(i8* %0) [[NUW:#[0-9]+]] // CHECK98-NEXT: call void @@_ZSt9terminatev() [[NR_NUW:#[0-9]+]] // CHECK98-NEXT: unreachable d85 1 a85 1 // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d92 1 a92 4 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d103 1 a103 1 // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d112 2 a113 7 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d134 1 a134 1 // CHECK: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d144 2 a145 7 // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d169 2 a170 5 // CHECK98: invoke void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK11: call void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK98: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] d195 2 a196 5 // CHECK98: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK11: call void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK98: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] d238 1 a238 3 // CHECK98-NEXT: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) // CHECK11-NEXT: call void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) d286 3 a288 7 // CHECK98: invoke void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK11: call void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK98: call i8* @@__cxa_begin_catch(i8* [[EXN]]) [[NUW]] // CHECK98-NEXT: invoke void @@_ZN5test51AD1Ev([[A_T]]* [[A]]) d383 1 a383 3 // CHECK98: invoke void @@_ZN5test71AD1Ev( // CHECK11: call void @@_ZN5test71AD1Ev( d388 1 a388 3 // CHECK98: invoke void @@_ZN5test71AD1Ev( // CHECK11: call void @@_ZN5test71AD1Ev( d425 1 a425 1 // CHECK: [[TEST9_NEW:%.*]] = call i8* @@_Znam d459 2 a460 6 // CHECK98: call void @@__cxa_end_catch() // CHECK98-NEXT: br label // CHECK11: invoke void @@__cxa_end_catch() // CHECK11-NEXT: to label d507 1 a507 4 // CHECK98-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK11-NEXT: call void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) d520 1 a520 4 // CHECK98-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK11-NEXT: call void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) d526 1 a526 4 // CHECK98: invoke void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) // CHECK11: call void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) d546 1 a546 3 // CHECK98: invoke void @@_ZN6test121AdlEPvS1_(i8* [[PTR]], i8* [[PTR]]) // CHECK11: call void @@_ZN6test121AdlEPvS1_(i8* [[PTR]], i8* [[PTR]]) d549 1 a549 1 // CHECK98: attributes [[NI_NR_NUW]] = { noinline noreturn nounwind } @ 1.1.1.5 log @Import Clang pre-4.0.0 r291444. @ text @d33 1 a33 1 // CHECK: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d43 1 a43 1 // CHECK: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d59 1 a59 1 // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d85 1 a85 1 // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d103 1 a103 1 // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d134 1 a134 1 // CHECK: [[NEW:%.*]] = call i8* @@_Znwm(i64 8) d425 1 a425 1 // CHECK: [[TEST9_NEW:%.*]] = call i8* @@_Znam @ 1.1.1.5.2.1 log @Sync with HEAD @ text @d1 1 a1 2 // RUN: %clang_cc1 %s -triple=x86_64-linux-gnu -emit-llvm -std=c++98 -o - -fcxx-exceptions -fexceptions | FileCheck -check-prefix=CHECK -check-prefix=CHECK98 %s // RUN: %clang_cc1 %s -triple=x86_64-linux-gnu -emit-llvm -std=c++11 -o - -fcxx-exceptions -fexceptions | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s d67 1 a67 4 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d77 4 a80 4 // CHECK98: define linkonce_odr hidden void @@__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]] comdat // CHECK98-NEXT: [[T0:%.*]] = call i8* @@__cxa_begin_catch(i8* %0) [[NUW:#[0-9]+]] // CHECK98-NEXT: call void @@_ZSt9terminatev() [[NR_NUW:#[0-9]+]] // CHECK98-NEXT: unreachable d92 1 a92 4 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d112 2 a113 7 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d144 2 a145 7 // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d169 2 a170 5 // CHECK98: invoke void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK11: call void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK98: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] d195 2 a196 5 // CHECK98: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK11: call void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK98: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] d238 1 a238 3 // CHECK98-NEXT: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) // CHECK11-NEXT: call void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) d286 3 a288 7 // CHECK98: invoke void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK11: call void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK98: call i8* @@__cxa_begin_catch(i8* [[EXN]]) [[NUW]] // CHECK98-NEXT: invoke void @@_ZN5test51AD1Ev([[A_T]]* [[A]]) d383 1 a383 3 // CHECK98: invoke void @@_ZN5test71AD1Ev( // CHECK11: call void @@_ZN5test71AD1Ev( d388 1 a388 3 // CHECK98: invoke void @@_ZN5test71AD1Ev( // CHECK11: call void @@_ZN5test71AD1Ev( d459 2 a460 6 // CHECK98: call void @@__cxa_end_catch() // CHECK98-NEXT: br label // CHECK11: invoke void @@__cxa_end_catch() // CHECK11-NEXT: to label d507 1 a507 4 // CHECK98-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK11-NEXT: call void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) d520 1 a520 4 // CHECK98-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK11-NEXT: call void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) d526 1 a526 4 // CHECK98: invoke void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) // CHECK11: call void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) d546 1 a546 3 // CHECK98: invoke void @@_ZN6test121AdlEPvS1_(i8* [[PTR]], i8* [[PTR]]) // CHECK11: call void @@_ZN6test121AdlEPvS1_(i8* [[PTR]], i8* [[PTR]]) d549 1 a549 1 // CHECK98: attributes [[NI_NR_NUW]] = { noinline noreturn nounwind } @ 1.1.1.6 log @Import Clang 4.0RC1 r294123. @ text @d1 1 a1 2 // RUN: %clang_cc1 %s -triple=x86_64-linux-gnu -emit-llvm -std=c++98 -o - -fcxx-exceptions -fexceptions | FileCheck -check-prefix=CHECK -check-prefix=CHECK98 %s // RUN: %clang_cc1 %s -triple=x86_64-linux-gnu -emit-llvm -std=c++11 -o - -fcxx-exceptions -fexceptions | FileCheck -check-prefix=CHECK -check-prefix=CHECK11 %s d67 1 a67 4 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d77 4 a80 4 // CHECK98: define linkonce_odr hidden void @@__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]] comdat // CHECK98-NEXT: [[T0:%.*]] = call i8* @@__cxa_begin_catch(i8* %0) [[NUW:#[0-9]+]] // CHECK98-NEXT: call void @@_ZSt9terminatev() [[NR_NUW:#[0-9]+]] // CHECK98-NEXT: unreachable d92 1 a92 4 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d112 2 a113 7 // CHECK98-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK11-NEXT: call void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d144 2 a145 7 // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK98: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK11: call void @@_ZN5test11BD1Ev([[B]]* [[T0]]) d169 2 a170 5 // CHECK98: invoke void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK11: call void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK98: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] d195 2 a196 5 // CHECK98: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK11: call void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK98: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] d238 1 a238 3 // CHECK98-NEXT: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) // CHECK11-NEXT: call void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) d286 3 a288 7 // CHECK98: invoke void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK11: call void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK98: call i8* @@__cxa_begin_catch(i8* [[EXN]]) [[NUW]] // CHECK98-NEXT: invoke void @@_ZN5test51AD1Ev([[A_T]]* [[A]]) d383 1 a383 3 // CHECK98: invoke void @@_ZN5test71AD1Ev( // CHECK11: call void @@_ZN5test71AD1Ev( d388 1 a388 3 // CHECK98: invoke void @@_ZN5test71AD1Ev( // CHECK11: call void @@_ZN5test71AD1Ev( d459 2 a460 6 // CHECK98: call void @@__cxa_end_catch() // CHECK98-NEXT: br label // CHECK11: invoke void @@__cxa_end_catch() // CHECK11-NEXT: to label d507 1 a507 4 // CHECK98-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK11-NEXT: call void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) d520 1 a520 4 // CHECK98-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK11-NEXT: call void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) d526 1 a526 4 // CHECK98: invoke void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) // CHECK11: call void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) d546 1 a546 3 // CHECK98: invoke void @@_ZN6test121AdlEPvS1_(i8* [[PTR]], i8* [[PTR]]) // CHECK11: call void @@_ZN6test121AdlEPvS1_(i8* [[PTR]], i8* [[PTR]]) d549 1 a549 1 // CHECK98: attributes [[NI_NR_NUW]] = { noinline noreturn nounwind } @ 1.1.1.6.12.1 log @Mostly merge changes from HEAD upto 20200411 @ text @@ 1.1.1.7 log @Mark old LLVM instance as dead. @ text @@ 1.1.1.3.4.1 log @file exceptions.cpp was added on branch tls-maxphys on 2014-08-19 23:47:57 +0000 @ text @d1 529 @ 1.1.1.3.4.2 log @Rebase to HEAD as of a few days ago. @ text @a0 529 // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions | FileCheck %s typedef typeof(sizeof(0)) size_t; // This just shouldn't crash. namespace test0 { struct allocator { allocator(); allocator(const allocator&); ~allocator(); }; void f(); void g(bool b, bool c) { if (b) { if (!c) throw allocator(); return; } f(); } } namespace test1 { struct A { A(int); A(int, int); ~A(); void *p; }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test11aEv() // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(5); } A *b() { // CHECK: define [[A:%.*]]* @@_ZN5test11bEv() // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: [[FOO:%.*]] = invoke i32 @@_ZN5test13fooEv() // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[FOO]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) extern int foo(); return new A(foo()); } struct B { B(); ~B(); operator int(); int x; }; B makeB(); A *c() { // CHECK: define [[A:%.*]]* @@_ZN5test11cEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = getelementptr inbounds [[B]]* [[T0]], i32 0, i32 0 // CHECK-NEXT: [[T2:%.*]] = load i32* [[T1]], align 4 // CHECK-NEXT: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T2]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B().x); } // rdar://11904428 // Terminate landing pads should call __cxa_begin_catch first. // CHECK: define linkonce_odr hidden void @@__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]] // CHECK-NEXT: [[T0:%.*]] = call i8* @@__cxa_begin_catch(i8* %0) [[NUW:#[0-9]+]] // CHECK-NEXT: call void @@_ZSt9terminatev() [[NR_NUW:#[0-9]+]] // CHECK-NEXT: unreachable A *d() { // CHECK: define [[A:%.*]]* @@_ZN5test11dEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T1]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B()); } A *e() { // CHECK: define [[A:%.*]]* @@_ZN5test11eEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11BC1Ev([[B]]* [[T2:%.*]]) // CHECK: [[T3:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11AC1Eii([[A]]* [[CAST]], i32 [[T1]], i32 [[T3]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B(), B()); } A *f() { return new A(makeB().x); } A *g() { return new A(makeB()); } A *h() { return new A(makeB(), makeB()); } A *i() { // CHECK: define [[A:%.*]]* @@_ZN5test11iEv() // CHECK: [[X:%.*]] = alloca [[A]]*, align 8 // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test15makeBEv([[B:%.*]]* sret [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T1]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: store [[A]]* [[CAST]], [[A]]** [[X]], align 8 // CHECK: invoke void @@_ZN5test15makeBEv([[B:%.*]]* sret [[T2:%.*]]) // CHECK: [[RET:%.*]] = load [[A]]** [[X]], align 8 // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[RET]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) A *x; return (x = new A(makeB()), makeB(), x); } } namespace test2 { struct A { A(int); A(int, int); ~A(); void *p; void *operator new(size_t); void operator delete(void*, size_t); }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test21aEv() // CHECK: [[NEW:%.*]] = call i8* @@_ZN5test21AnwEm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test21AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: invoke void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] return new A(5); } } namespace test3 { struct A { A(int); A(int, int); A(const A&); ~A(); void *p; void *operator new(size_t, void*, double); void operator delete(void*, void*, double); }; void *foo(); double bar(); A makeA(), *makeAPtr(); A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test31aEv() // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test33fooEv() // CHECK: [[BAR:%.*]] = call double @@_ZN5test33barEv() // CHECK: [[NEW:%.*]] = call i8* @@_ZN5test31AnwEmPvd(i64 8, i8* [[FOO]], double [[BAR]]) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test31AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] return new(foo(),bar()) A(5); } // rdar://problem/8439196 A *b(bool cond) { // CHECK: define [[A:%.*]]* @@_ZN5test31bEb(i1 zeroext // CHECK: [[SAVED0:%.*]] = alloca i8* // CHECK-NEXT: [[SAVED1:%.*]] = alloca i8* // CHECK-NEXT: [[CLEANUPACTIVE:%.*]] = alloca i1 // CHECK: [[COND:%.*]] = trunc i8 {{.*}} to i1 // CHECK-NEXT: store i1 false, i1* [[CLEANUPACTIVE]] // CHECK-NEXT: br i1 [[COND]] return (cond ? // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test33fooEv() // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test31AnwEmPvd(i64 8, i8* [[FOO]], double [[CONST:.*]]) // CHECK-NEXT: store i8* [[NEW]], i8** [[SAVED0]] // CHECK-NEXT: store i8* [[FOO]], i8** [[SAVED1]] // CHECK-NEXT: store i1 true, i1* [[CLEANUPACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test35makeAEv([[A]]* sret [[CAST]]) // CHECK: br label // -> cond.end new(foo(),10.0) A(makeA()) : // CHECK: [[MAKE:%.*]] = call [[A]]* @@_ZN5test38makeAPtrEv() // CHECK: br label // -> cond.end makeAPtr()); // cond.end: // CHECK: [[RESULT:%.*]] = phi [[A]]* {{.*}}[[CAST]]{{.*}}[[MAKE]] // CHECK: ret [[A]]* [[RESULT]] // in the EH path: // CHECK: [[ISACTIVE:%.*]] = load i1* [[CLEANUPACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: [[V0:%.*]] = load i8** [[SAVED0]] // CHECK-NEXT: [[V1:%.*]] = load i8** [[SAVED1]] // CHECK-NEXT: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) } } namespace test4 { struct A { A(int); A(int, int); ~A(); void *p; void *operator new(size_t, void*, void*); void operator delete(void*, size_t, void*, void*); // not a match }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test41aEv() // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test43fooEv() // CHECK-NEXT: [[BAR:%.*]] = call i8* @@_ZN5test43barEv() // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test41AnwEmPvS1_(i64 8, i8* [[FOO]], i8* [[BAR]]) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: call void @@_ZN5test41AC1Ei([[A]]* [[CAST]], i32 5) // CHECK-NEXT: ret [[A]]* [[CAST]] extern void *foo(), *bar(); return new(foo(),bar()) A(5); } } // PR7908 namespace test5 { struct T { T(); ~T(); }; struct A { A(const A &x, const T &t = T()); ~A(); }; void foo(); // CHECK-LABEL: define void @@_ZN5test54testEv() // CHECK: [[EXNSLOT:%.*]] = alloca i8* // CHECK-NEXT: [[SELECTORSLOT:%.*]] = alloca i32 // CHECK-NEXT: [[A:%.*]] = alloca [[A_T:%.*]], align 1 // CHECK-NEXT: [[T:%.*]] = alloca [[T_T:%.*]], align 1 // CHECK-NEXT: invoke void @@_ZN5test53fooEv() // CHECK: [[EXN:%.*]] = load i8** [[EXNSLOT]] // CHECK-NEXT: [[ADJ:%.*]] = call i8* @@__cxa_get_exception_ptr(i8* [[EXN]]) // CHECK-NEXT: [[SRC:%.*]] = bitcast i8* [[ADJ]] to [[A_T]]* // CHECK-NEXT: invoke void @@_ZN5test51TC1Ev([[T_T]]* [[T]]) // CHECK: invoke void @@_ZN5test51AC1ERKS0_RKNS_1TE([[A_T]]* [[A]], [[A_T]]* dereferenceable({{[0-9]+}}) [[SRC]], [[T_T]]* dereferenceable({{[0-9]+}}) [[T]]) // CHECK: invoke void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK: call i8* @@__cxa_begin_catch(i8* [[EXN]]) [[NUW]] // CHECK-NEXT: invoke void @@_ZN5test51AD1Ev([[A_T]]* [[A]]) // CHECK: call void @@__cxa_end_catch() void test() { try { foo(); } catch (A a) { } } } // PR9303: invalid assert on this namespace test6 { bool cond(); void test() { try { lbl: if (cond()) goto lbl; } catch (...) { } } } // PR9298 namespace test7 { struct A { A(); ~A(); }; struct B { // The throw() operator means that a bad allocation is signalled // with a null return, which means that the initializer is // evaluated conditionally. static void *operator new(size_t size) throw(); B(const A&, B*); ~B(); }; B *test() { // CHECK: define [[B:%.*]]* @@_ZN5test74testEv() // CHECK: [[OUTER_NEW:%.*]] = alloca i1 // CHECK-NEXT: alloca [[A:%.*]], // CHECK-NEXT: alloca i8* // CHECK-NEXT: alloca i32 // CHECK-NEXT: [[OUTER_A:%.*]] = alloca i1 // CHECK-NEXT: alloca i8* // CHECK-NEXT: [[INNER_NEW:%.*]] = alloca i1 // CHECK-NEXT: alloca [[A]] // CHECK-NEXT: [[INNER_A:%.*]] = alloca i1 // Allocate the outer object. // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test71BnwEm( // CHECK-NEXT: icmp eq i8* [[NEW]], null // These stores, emitted before the outermost conditional branch, // deactivate the temporary cleanups. // CHECK-NEXT: store i1 false, i1* [[OUTER_NEW]] // CHECK-NEXT: store i1 false, i1* [[OUTER_A]] // CHECK-NEXT: store i1 false, i1* [[INNER_NEW]] // CHECK-NEXT: store i1 false, i1* [[INNER_A]] // CHECK-NEXT: br i1 // We passed the first null check; activate that cleanup and continue. // CHECK: store i1 true, i1* [[OUTER_NEW]] // CHECK-NEXT: bitcast // Create the first A temporary and activate that cleanup. // CHECK-NEXT: invoke void @@_ZN5test71AC1Ev( // CHECK: store i1 true, i1* [[OUTER_A]] // Allocate the inner object. // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test71BnwEm( // CHECK-NEXT: icmp eq i8* [[NEW]], null // CHECK-NEXT: br i1 // We passed the second null check; save that pointer, activate // that cleanup, and continue. // CHECK: store i8* [[NEW]] // CHECK-NEXT: store i1 true, i1* [[INNER_NEW]] // CHECK-NEXT: bitcast // Build the second A temporary and activate that cleanup. // CHECK-NEXT: invoke void @@_ZN5test71AC1Ev( // CHECK: store i1 true, i1* [[INNER_A]] // Build the inner B object and deactivate the inner delete cleanup. // CHECK-NEXT: invoke void @@_ZN5test71BC1ERKNS_1AEPS0_( // CHECK: store i1 false, i1* [[INNER_NEW]] // CHECK: phi // Build the outer B object and deactivate the outer delete cleanup. // CHECK-NEXT: invoke void @@_ZN5test71BC1ERKNS_1AEPS0_( // CHECK: store i1 false, i1* [[OUTER_NEW]] // CHECK: phi // CHECK-NEXT: store [[B]]* // Destroy the inner A object. // CHECK-NEXT: load i1* [[INNER_A]] // CHECK-NEXT: br i1 // CHECK: invoke void @@_ZN5test71AD1Ev( // Destroy the outer A object. // CHECK: load i1* [[OUTER_A]] // CHECK-NEXT: br i1 // CHECK: invoke void @@_ZN5test71AD1Ev( return new B(A(), new B(A(), 0)); } } // Just don't crash. namespace test8 { struct A { // Having both of these is required to trigger the assert we're // trying to avoid. A(const A&); A&operator=(const A&); ~A(); }; A makeA(); void test() { throw makeA(); } // CHECK-LABEL: define void @@_ZN5test84testEv } // Make sure we generate the correct code for the delete[] call which // happens if A::A() throws. (We were previously calling delete[] on // a pointer to the first array element, not the pointer returned by new[].) // PR10870 namespace test9 { struct A { A(); ~A(); }; A* test() { return new A[10]; } // CHECK: define {{%.*}}* @@_ZN5test94testEv // CHECK: [[TEST9_NEW:%.*]] = call noalias i8* @@_Znam // CHECK: call void @@_ZdaPv(i8* [[TEST9_NEW]]) } // In a destructor with a function-try-block, a return statement in a // catch handler behaves differently from running off the end of the // catch handler. PR13102. namespace test10 { extern void cleanup(); extern bool suppress; struct A { ~A(); }; A::~A() try { cleanup(); } catch (...) { return; } // CHECK-LABEL: define void @@_ZN6test101AD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK-NOT: rethrow // CHECK: ret void struct B { ~B(); }; B::~B() try { cleanup(); } catch (...) {} // CHECK-LABEL: define void @@_ZN6test101BD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK: call i8* @@__cxa_begin_catch // CHECK-NEXT: invoke void @@__cxa_rethrow() // CHECK: unreachable struct C { ~C(); }; C::~C() try { cleanup(); } catch (...) { if (suppress) return; } // CHECK-LABEL: define void @@_ZN6test101CD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK: call i8* @@__cxa_begin_catch // CHECK-NEXT: load i8* @@_ZN6test108suppressE, align 1 // CHECK-NEXT: trunc // CHECK-NEXT: br i1 // CHECK: call void @@__cxa_end_catch() // CHECK-NEXT: br label // CHECK: invoke void @@__cxa_rethrow() // CHECK: unreachable } // Ensure that an exception in a constructor destroys // already-constructed array members. PR14514 namespace test11 { struct A { A(); ~A() {} }; struct C { A single; A array[2][3]; C(); }; C::C() { throw 0; } // CHECK-LABEL: define void @@_ZN6test111CC2Ev( // CHECK: [[THIS:%.*]] = load [[C:%.*]]** {{%.*}} // Construct single. // CHECK-NEXT: [[SINGLE:%.*]] = getelementptr inbounds [[C]]* [[THIS]], i32 0, i32 0 // CHECK-NEXT: call void @@_ZN6test111AC1Ev([[A:%.*]]* [[SINGLE]]) // Construct array. // CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds [[C]]* [[THIS]], i32 0, i32 1 // CHECK-NEXT: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]]* [[ARRAYBEGIN]], i64 6 // CHECK-NEXT: br label // CHECK: [[CUR:%.*]] = phi [[A]]* [ [[ARRAYBEGIN]], {{%.*}} ], [ [[NEXT:%.*]], {{%.*}} ] // CHECK-NEXT: invoke void @@_ZN6test111AC1Ev([[A:%.*]]* [[CUR]]) // CHECK: [[NEXT]] = getelementptr inbounds [[A]]* [[CUR]], i64 1 // CHECK-NEXT: [[DONE:%.*]] = icmp eq [[A]]* [[NEXT]], [[ARRAYEND]] // CHECK-NEXT: br i1 [[DONE]], // throw 0; // CHECK: invoke void @@__cxa_throw( // Landing pad 1, from constructor in array-initialization loop: // CHECK: landingpad // - First, destroy already-constructed bits of array. // CHECK: [[EMPTY:%.*]] = icmp eq [[A]]* [[ARRAYBEGIN]], [[CUR]] // CHECK-NEXT: br i1 [[EMPTY]] // CHECK: [[AFTER:%.*]] = phi [[A]]* [ [[CUR]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ] // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]]* [[AFTER]], i64 -1 // CHECK-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK: [[DONE:%.*]] = icmp eq [[A]]* [[ELT]], [[ARRAYBEGIN]] // CHECK-NEXT: br i1 [[DONE]], // - Next, chain to cleanup for single. // CHECK: br label // Landing pad 2, from throw site. // CHECK: landingpad // - First, destroy all of array. // CHECK: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]]* [[ARRAYBEGIN]], i64 6 // CHECK-NEXT: br label // CHECK: [[AFTER:%.*]] = phi [[A]]* [ [[ARRAYEND]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ] // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]]* [[AFTER]], i64 -1 // CHECK-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK: [[DONE:%.*]] = icmp eq [[A]]* [[ELT]], [[ARRAYBEGIN]] // CHECK-NEXT: br i1 [[DONE]], // - Next, chain to cleanup for single. // CHECK: br label // Finally, the cleanup for single. // CHECK: invoke void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) // CHECK: br label // CHECK: resume // (After this is a terminate landingpad.) } // CHECK: attributes [[NI_NR_NUW]] = { noinline noreturn nounwind } @ 1.1.1.1.4.1 log @file exceptions.cpp was added on branch yamt-pagecache on 2014-05-22 16:18:56 +0000 @ text @d1 529 @ 1.1.1.1.4.2 log @sync with head. for a reference, the tree before this commit was tagged as yamt-pagecache-tag8. this commit was splitted into small chunks to avoid a limitation of cvs. ("Protocol error: too many arguments") @ text @a0 529 // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions | FileCheck %s typedef typeof(sizeof(0)) size_t; // This just shouldn't crash. namespace test0 { struct allocator { allocator(); allocator(const allocator&); ~allocator(); }; void f(); void g(bool b, bool c) { if (b) { if (!c) throw allocator(); return; } f(); } } namespace test1 { struct A { A(int); A(int, int); ~A(); void *p; }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test11aEv() // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(5); } A *b() { // CHECK: define [[A:%.*]]* @@_ZN5test11bEv() // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: [[FOO:%.*]] = invoke i32 @@_ZN5test13fooEv() // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[FOO]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) extern int foo(); return new A(foo()); } struct B { B(); ~B(); operator int(); int x; }; B makeB(); A *c() { // CHECK: define [[A:%.*]]* @@_ZN5test11cEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = getelementptr inbounds [[B]]* [[T0]], i32 0, i32 0 // CHECK-NEXT: [[T2:%.*]] = load i32* [[T1]], align 4 // CHECK-NEXT: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T2]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B().x); } // rdar://11904428 // Terminate landing pads should call __cxa_begin_catch first. // CHECK: define linkonce_odr hidden void @@__clang_call_terminate(i8*) [[NI_NR_NUW:#[0-9]+]] // CHECK-NEXT: [[T0:%.*]] = call i8* @@__cxa_begin_catch(i8* %0) [[NUW:#[0-9]+]] // CHECK-NEXT: call void @@_ZSt9terminatev() [[NR_NUW:#[0-9]+]] // CHECK-NEXT: unreachable A *d() { // CHECK: define [[A:%.*]]* @@_ZN5test11dEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T1]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B()); } A *e() { // CHECK: define [[A:%.*]]* @@_ZN5test11eEv() // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK-NEXT: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test11BC1Ev([[B:%.*]]* [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11BC1Ev([[B]]* [[T2:%.*]]) // CHECK: [[T3:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11AC1Eii([[A]]* [[CAST]], i32 [[T1]], i32 [[T3]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[CAST]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) return new A(B(), B()); } A *f() { return new A(makeB().x); } A *g() { return new A(makeB()); } A *h() { return new A(makeB(), makeB()); } A *i() { // CHECK: define [[A:%.*]]* @@_ZN5test11iEv() // CHECK: [[X:%.*]] = alloca [[A]]*, align 8 // CHECK: [[ACTIVE:%.*]] = alloca i1 // CHECK: [[NEW:%.*]] = call noalias i8* @@_Znwm(i64 8) // CHECK-NEXT: store i1 true, i1* [[ACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test15makeBEv([[B:%.*]]* sret [[T0:%.*]]) // CHECK: [[T1:%.*]] = invoke i32 @@_ZN5test11BcviEv([[B]]* [[T0]]) // CHECK: invoke void @@_ZN5test11AC1Ei([[A]]* [[CAST]], i32 [[T1]]) // CHECK: store i1 false, i1* [[ACTIVE]] // CHECK-NEXT: store [[A]]* [[CAST]], [[A]]** [[X]], align 8 // CHECK: invoke void @@_ZN5test15makeBEv([[B:%.*]]* sret [[T2:%.*]]) // CHECK: [[RET:%.*]] = load [[A]]** [[X]], align 8 // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T2]]) // CHECK: invoke void @@_ZN5test11BD1Ev([[B]]* [[T0]]) // CHECK: ret [[A]]* [[RET]] // CHECK: [[ISACTIVE:%.*]] = load i1* [[ACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: call void @@_ZdlPv(i8* [[NEW]]) A *x; return (x = new A(makeB()), makeB(), x); } } namespace test2 { struct A { A(int); A(int, int); ~A(); void *p; void *operator new(size_t); void operator delete(void*, size_t); }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test21aEv() // CHECK: [[NEW:%.*]] = call i8* @@_ZN5test21AnwEm(i64 8) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test21AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: invoke void @@_ZN5test21AdlEPvm(i8* [[NEW]], i64 8) // CHECK: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] return new A(5); } } namespace test3 { struct A { A(int); A(int, int); A(const A&); ~A(); void *p; void *operator new(size_t, void*, double); void operator delete(void*, void*, double); }; void *foo(); double bar(); A makeA(), *makeAPtr(); A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test31aEv() // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test33fooEv() // CHECK: [[BAR:%.*]] = call double @@_ZN5test33barEv() // CHECK: [[NEW:%.*]] = call i8* @@_ZN5test31AnwEmPvd(i64 8, i8* [[FOO]], double [[BAR]]) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test31AC1Ei([[A]]* [[CAST]], i32 5) // CHECK: ret [[A]]* [[CAST]] // CHECK: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[NEW]], i8* [[FOO]], double [[BAR]]) // CHECK: call void @@__clang_call_terminate(i8* {{%.*}}) [[NR_NUW]] return new(foo(),bar()) A(5); } // rdar://problem/8439196 A *b(bool cond) { // CHECK: define [[A:%.*]]* @@_ZN5test31bEb(i1 zeroext // CHECK: [[SAVED0:%.*]] = alloca i8* // CHECK-NEXT: [[SAVED1:%.*]] = alloca i8* // CHECK-NEXT: [[CLEANUPACTIVE:%.*]] = alloca i1 // CHECK: [[COND:%.*]] = trunc i8 {{.*}} to i1 // CHECK-NEXT: store i1 false, i1* [[CLEANUPACTIVE]] // CHECK-NEXT: br i1 [[COND]] return (cond ? // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test33fooEv() // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test31AnwEmPvd(i64 8, i8* [[FOO]], double [[CONST:.*]]) // CHECK-NEXT: store i8* [[NEW]], i8** [[SAVED0]] // CHECK-NEXT: store i8* [[FOO]], i8** [[SAVED1]] // CHECK-NEXT: store i1 true, i1* [[CLEANUPACTIVE]] // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: invoke void @@_ZN5test35makeAEv([[A]]* sret [[CAST]]) // CHECK: br label // -> cond.end new(foo(),10.0) A(makeA()) : // CHECK: [[MAKE:%.*]] = call [[A]]* @@_ZN5test38makeAPtrEv() // CHECK: br label // -> cond.end makeAPtr()); // cond.end: // CHECK: [[RESULT:%.*]] = phi [[A]]* {{.*}}[[CAST]]{{.*}}[[MAKE]] // CHECK: ret [[A]]* [[RESULT]] // in the EH path: // CHECK: [[ISACTIVE:%.*]] = load i1* [[CLEANUPACTIVE]] // CHECK-NEXT: br i1 [[ISACTIVE]] // CHECK: [[V0:%.*]] = load i8** [[SAVED0]] // CHECK-NEXT: [[V1:%.*]] = load i8** [[SAVED1]] // CHECK-NEXT: invoke void @@_ZN5test31AdlEPvS1_d(i8* [[V0]], i8* [[V1]], double [[CONST]]) } } namespace test4 { struct A { A(int); A(int, int); ~A(); void *p; void *operator new(size_t, void*, void*); void operator delete(void*, size_t, void*, void*); // not a match }; A *a() { // CHECK: define [[A:%.*]]* @@_ZN5test41aEv() // CHECK: [[FOO:%.*]] = call i8* @@_ZN5test43fooEv() // CHECK-NEXT: [[BAR:%.*]] = call i8* @@_ZN5test43barEv() // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test41AnwEmPvS1_(i64 8, i8* [[FOO]], i8* [[BAR]]) // CHECK-NEXT: [[CAST:%.*]] = bitcast i8* [[NEW]] to [[A]]* // CHECK-NEXT: call void @@_ZN5test41AC1Ei([[A]]* [[CAST]], i32 5) // CHECK-NEXT: ret [[A]]* [[CAST]] extern void *foo(), *bar(); return new(foo(),bar()) A(5); } } // PR7908 namespace test5 { struct T { T(); ~T(); }; struct A { A(const A &x, const T &t = T()); ~A(); }; void foo(); // CHECK-LABEL: define void @@_ZN5test54testEv() // CHECK: [[EXNSLOT:%.*]] = alloca i8* // CHECK-NEXT: [[SELECTORSLOT:%.*]] = alloca i32 // CHECK-NEXT: [[A:%.*]] = alloca [[A_T:%.*]], align 1 // CHECK-NEXT: [[T:%.*]] = alloca [[T_T:%.*]], align 1 // CHECK-NEXT: invoke void @@_ZN5test53fooEv() // CHECK: [[EXN:%.*]] = load i8** [[EXNSLOT]] // CHECK-NEXT: [[ADJ:%.*]] = call i8* @@__cxa_get_exception_ptr(i8* [[EXN]]) // CHECK-NEXT: [[SRC:%.*]] = bitcast i8* [[ADJ]] to [[A_T]]* // CHECK-NEXT: invoke void @@_ZN5test51TC1Ev([[T_T]]* [[T]]) // CHECK: invoke void @@_ZN5test51AC1ERKS0_RKNS_1TE([[A_T]]* [[A]], [[A_T]]* [[SRC]], [[T_T]]* [[T]]) // CHECK: invoke void @@_ZN5test51TD1Ev([[T_T]]* [[T]]) // CHECK: call i8* @@__cxa_begin_catch(i8* [[EXN]]) [[NUW]] // CHECK-NEXT: invoke void @@_ZN5test51AD1Ev([[A_T]]* [[A]]) // CHECK: call void @@__cxa_end_catch() void test() { try { foo(); } catch (A a) { } } } // PR9303: invalid assert on this namespace test6 { bool cond(); void test() { try { lbl: if (cond()) goto lbl; } catch (...) { } } } // PR9298 namespace test7 { struct A { A(); ~A(); }; struct B { // The throw() operator means that a bad allocation is signalled // with a null return, which means that the initializer is // evaluated conditionally. static void *operator new(size_t size) throw(); B(const A&, B*); ~B(); }; B *test() { // CHECK: define [[B:%.*]]* @@_ZN5test74testEv() // CHECK: [[OUTER_NEW:%.*]] = alloca i1 // CHECK-NEXT: alloca [[A:%.*]], // CHECK-NEXT: alloca i8* // CHECK-NEXT: alloca i32 // CHECK-NEXT: [[OUTER_A:%.*]] = alloca i1 // CHECK-NEXT: alloca i8* // CHECK-NEXT: [[INNER_NEW:%.*]] = alloca i1 // CHECK-NEXT: alloca [[A]] // CHECK-NEXT: [[INNER_A:%.*]] = alloca i1 // Allocate the outer object. // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test71BnwEm( // CHECK-NEXT: icmp eq i8* [[NEW]], null // These stores, emitted before the outermost conditional branch, // deactivate the temporary cleanups. // CHECK-NEXT: store i1 false, i1* [[OUTER_NEW]] // CHECK-NEXT: store i1 false, i1* [[OUTER_A]] // CHECK-NEXT: store i1 false, i1* [[INNER_NEW]] // CHECK-NEXT: store i1 false, i1* [[INNER_A]] // CHECK-NEXT: br i1 // We passed the first null check; activate that cleanup and continue. // CHECK: store i1 true, i1* [[OUTER_NEW]] // CHECK-NEXT: bitcast // Create the first A temporary and activate that cleanup. // CHECK-NEXT: invoke void @@_ZN5test71AC1Ev( // CHECK: store i1 true, i1* [[OUTER_A]] // Allocate the inner object. // CHECK-NEXT: [[NEW:%.*]] = call i8* @@_ZN5test71BnwEm( // CHECK-NEXT: icmp eq i8* [[NEW]], null // CHECK-NEXT: br i1 // We passed the second null check; save that pointer, activate // that cleanup, and continue. // CHECK: store i8* [[NEW]] // CHECK-NEXT: store i1 true, i1* [[INNER_NEW]] // CHECK-NEXT: bitcast // Build the second A temporary and activate that cleanup. // CHECK-NEXT: invoke void @@_ZN5test71AC1Ev( // CHECK: store i1 true, i1* [[INNER_A]] // Build the inner B object and deactivate the inner delete cleanup. // CHECK-NEXT: invoke void @@_ZN5test71BC1ERKNS_1AEPS0_( // CHECK: store i1 false, i1* [[INNER_NEW]] // CHECK: phi // Build the outer B object and deactivate the outer delete cleanup. // CHECK-NEXT: invoke void @@_ZN5test71BC1ERKNS_1AEPS0_( // CHECK: store i1 false, i1* [[OUTER_NEW]] // CHECK: phi // CHECK-NEXT: store [[B]]* // Destroy the inner A object. // CHECK-NEXT: load i1* [[INNER_A]] // CHECK-NEXT: br i1 // CHECK: invoke void @@_ZN5test71AD1Ev( // Destroy the outer A object. // CHECK: load i1* [[OUTER_A]] // CHECK-NEXT: br i1 // CHECK: invoke void @@_ZN5test71AD1Ev( return new B(A(), new B(A(), 0)); } } // Just don't crash. namespace test8 { struct A { // Having both of these is required to trigger the assert we're // trying to avoid. A(const A&); A&operator=(const A&); ~A(); }; A makeA(); void test() { throw makeA(); } // CHECK-LABEL: define void @@_ZN5test84testEv } // Make sure we generate the correct code for the delete[] call which // happens if A::A() throws. (We were previously calling delete[] on // a pointer to the first array element, not the pointer returned by new[].) // PR10870 namespace test9 { struct A { A(); ~A(); }; A* test() { return new A[10]; } // CHECK: define {{%.*}}* @@_ZN5test94testEv // CHECK: [[TEST9_NEW:%.*]] = call noalias i8* @@_Znam // CHECK: call void @@_ZdaPv(i8* [[TEST9_NEW]]) } // In a destructor with a function-try-block, a return statement in a // catch handler behaves differently from running off the end of the // catch handler. PR13102. namespace test10 { extern void cleanup(); extern bool suppress; struct A { ~A(); }; A::~A() try { cleanup(); } catch (...) { return; } // CHECK-LABEL: define void @@_ZN6test101AD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK-NOT: rethrow // CHECK: ret void struct B { ~B(); }; B::~B() try { cleanup(); } catch (...) {} // CHECK-LABEL: define void @@_ZN6test101BD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK: call i8* @@__cxa_begin_catch // CHECK-NEXT: invoke void @@__cxa_rethrow() // CHECK: unreachable struct C { ~C(); }; C::~C() try { cleanup(); } catch (...) { if (suppress) return; } // CHECK-LABEL: define void @@_ZN6test101CD1Ev( // CHECK: invoke void @@_ZN6test107cleanupEv() // CHECK: call i8* @@__cxa_begin_catch // CHECK-NEXT: load i8* @@_ZN6test108suppressE, align 1 // CHECK-NEXT: trunc // CHECK-NEXT: br i1 // CHECK: call void @@__cxa_end_catch() // CHECK-NEXT: br label // CHECK: invoke void @@__cxa_rethrow() // CHECK: unreachable } // Ensure that an exception in a constructor destroys // already-constructed array members. PR14514 namespace test11 { struct A { A(); ~A() {} }; struct C { A single; A array[2][3]; C(); }; C::C() { throw 0; } // CHECK-LABEL: define void @@_ZN6test111CC2Ev( // CHECK: [[THIS:%.*]] = load [[C:%.*]]** {{%.*}} // Construct single. // CHECK-NEXT: [[SINGLE:%.*]] = getelementptr inbounds [[C]]* [[THIS]], i32 0, i32 0 // CHECK-NEXT: call void @@_ZN6test111AC1Ev([[A:%.*]]* [[SINGLE]]) // Construct array. // CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds [[C]]* [[THIS]], i32 0, i32 1 // CHECK-NEXT: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]]* [[ARRAYBEGIN]], i64 6 // CHECK-NEXT: br label // CHECK: [[CUR:%.*]] = phi [[A]]* [ [[ARRAYBEGIN]], {{%.*}} ], [ [[NEXT:%.*]], {{%.*}} ] // CHECK-NEXT: invoke void @@_ZN6test111AC1Ev([[A:%.*]]* [[CUR]]) // CHECK: [[NEXT]] = getelementptr inbounds [[A]]* [[CUR]], i64 1 // CHECK-NEXT: [[DONE:%.*]] = icmp eq [[A]]* [[NEXT]], [[ARRAYEND]] // CHECK-NEXT: br i1 [[DONE]], // throw 0; // CHECK: invoke void @@__cxa_throw( // Landing pad 1, from constructor in array-initialization loop: // CHECK: landingpad // - First, destroy already-constructed bits of array. // CHECK: [[EMPTY:%.*]] = icmp eq [[A]]* [[ARRAYBEGIN]], [[CUR]] // CHECK-NEXT: br i1 [[EMPTY]] // CHECK: [[AFTER:%.*]] = phi [[A]]* [ [[CUR]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ] // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]]* [[AFTER]], i64 -1 // CHECK-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK: [[DONE:%.*]] = icmp eq [[A]]* [[ELT]], [[ARRAYBEGIN]] // CHECK-NEXT: br i1 [[DONE]], // - Next, chain to cleanup for single. // CHECK: br label // Landing pad 2, from throw site. // CHECK: landingpad // - First, destroy all of array. // CHECK: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]]* [[ARRAY]], i32 0, i32 0, i32 0 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds [[A]]* [[ARRAYBEGIN]], i64 6 // CHECK-NEXT: br label // CHECK: [[AFTER:%.*]] = phi [[A]]* [ [[ARRAYEND]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ] // CHECK-NEXT: [[ELT]] = getelementptr inbounds [[A]]* [[AFTER]], i64 -1 // CHECK-NEXT: invoke void @@_ZN6test111AD1Ev([[A]]* [[ELT]]) // CHECK: [[DONE:%.*]] = icmp eq [[A]]* [[ELT]], [[ARRAYBEGIN]] // CHECK-NEXT: br i1 [[DONE]], // - Next, chain to cleanup for single. // CHECK: br label // Finally, the cleanup for single. // CHECK: invoke void @@_ZN6test111AD1Ev([[A]]* [[SINGLE]]) // CHECK: br label // CHECK: resume // (After this is a terminate landingpad.) } // CHECK: attributes [[NI_NR_NUW]] = { noinline noreturn nounwind } @