Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s |
Fariborz Jahanian | e946fc8 | 2010-10-25 23:27:26 +0000 | [diff] [blame] | 2 | // rdar: //8540501 |
| 3 | extern "C" int printf(...); |
| 4 | extern "C" void abort(); |
| 5 | |
| 6 | struct A |
| 7 | { |
| 8 | int i; |
| 9 | A (int j) : i(j) {printf("this = %p A(%d)\n", this, j);} |
| 10 | A (const A &j) : i(j.i) {printf("this = %p const A&(%d)\n", this, i);} |
| 11 | A& operator= (const A &j) { i = j.i; abort(); return *this; } |
| 12 | ~A() { printf("this = %p ~A(%d)\n", this, i); } |
| 13 | }; |
| 14 | |
| 15 | struct B |
| 16 | { |
| 17 | int i; |
| 18 | B (const A& a) { i = a.i; } |
| 19 | B() {printf("this = %p B()\n", this);} |
| 20 | B (const B &j) : i(j.i) {printf("this = %p const B&(%d)\n", this, i);} |
| 21 | ~B() { printf("this = %p ~B(%d)\n", this, i); } |
| 22 | }; |
| 23 | |
| 24 | A foo(int j) |
| 25 | { |
| 26 | return ({ j ? A(1) : A(0); }); |
| 27 | } |
| 28 | |
| 29 | |
| 30 | void foo2() |
| 31 | { |
| 32 | A b = ({ A a(1); A a1(2); A a2(3); a1; a2; a; }); |
| 33 | if (b.i != 1) |
| 34 | abort(); |
| 35 | A c = ({ A a(1); A a1(2); A a2(3); a1; a2; a; A a3(4); a2; a3; }); |
| 36 | if (c.i != 4) |
| 37 | abort(); |
| 38 | } |
| 39 | |
| 40 | void foo3() |
| 41 | { |
| 42 | const A &b = ({ A a(1); a; }); |
| 43 | if (b.i != 1) |
| 44 | abort(); |
| 45 | } |
| 46 | |
| 47 | void foo4() |
| 48 | { |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 49 | // CHECK: call {{.*}} @_ZN1AC1Ei |
| 50 | // CHECK: call {{.*}} @_ZN1AC1ERKS_ |
| 51 | // CHECK: call {{.*}} @_ZN1AD1Ev |
| 52 | // CHECK: call {{.*}} @_ZN1BC1ERK1A |
| 53 | // CHECK: call {{.*}} @_ZN1AD1Ev |
Fariborz Jahanian | e946fc8 | 2010-10-25 23:27:26 +0000 | [diff] [blame] | 54 | const B &b = ({ A a(1); a; }); |
| 55 | if (b.i != 1) |
| 56 | abort(); |
| 57 | } |
| 58 | |
| 59 | int main() |
| 60 | { |
| 61 | foo2(); |
| 62 | foo3(); |
| 63 | foo4(); |
| 64 | return foo(1).i-1; |
| 65 | } |
Fariborz Jahanian | 500b782 | 2010-10-27 20:10:28 +0000 | [diff] [blame] | 66 | |
| 67 | // rdar: // 8600553 |
| 68 | int a[128]; |
| 69 | int* foo5() { |
| 70 | // CHECK-NOT: memcpy |
| 71 | // Check that array-to-pointer conversion occurs in a |
| 72 | // statement-expression. |
| 73 | return (({ a; })); |
| 74 | } |
| 75 | |
Eli Friedman | 2ac2fa7 | 2013-06-10 22:04:49 +0000 | [diff] [blame] | 76 | // <rdar://problem/14074868> |
| 77 | // Make sure this doesn't crash. |
| 78 | int foo5(bool b) { |
| 79 | int y = 0; |
| 80 | y = ({ A a(1); if (b) goto G; a.i; }); |
| 81 | G: return y; |
| 82 | } |