Eli Friedman | a143a9d | 2012-10-12 22:45:14 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -ast-print %s | FileCheck %s |
| 2 | |
| 3 | // CHECK: r; |
| 4 | // CHECK-NEXT: (r->method()); |
| 5 | struct MyClass |
| 6 | { |
| 7 | void method() {} |
| 8 | }; |
| 9 | |
| 10 | struct Reference |
| 11 | { |
| 12 | MyClass* object; |
| 13 | MyClass* operator ->() { return object; } |
| 14 | }; |
| 15 | |
Eli Friedman | 25c9bc1 | 2012-10-18 21:53:46 +0000 | [diff] [blame] | 16 | void test1() { |
Eli Friedman | a143a9d | 2012-10-12 22:45:14 +0000 | [diff] [blame] | 17 | Reference r; |
| 18 | (r->method()); |
| 19 | } |
| 20 | |
Eli Friedman | 915c07d | 2012-10-16 23:45:15 +0000 | [diff] [blame] | 21 | // CHECK: if (int a = 1) |
| 22 | // CHECK: while (int a = 1) |
| 23 | // CHECK: switch (int a = 1) |
| 24 | |
Eli Friedman | 25c9bc1 | 2012-10-18 21:53:46 +0000 | [diff] [blame] | 25 | void test2() |
Eli Friedman | 915c07d | 2012-10-16 23:45:15 +0000 | [diff] [blame] | 26 | { |
| 27 | if (int a = 1) { } |
| 28 | while (int a = 1) { } |
| 29 | switch (int a = 1) { } |
| 30 | } |
| 31 | |
Eli Friedman | d03ef04 | 2012-10-18 20:54:37 +0000 | [diff] [blame] | 32 | // CHECK: new (1) int; |
| 33 | void *operator new (typeof(sizeof(1)), int, int = 2); |
Eli Friedman | 25c9bc1 | 2012-10-18 21:53:46 +0000 | [diff] [blame] | 34 | void test3() { |
Eli Friedman | d03ef04 | 2012-10-18 20:54:37 +0000 | [diff] [blame] | 35 | new (1) int; |
| 36 | } |
| 37 | |
| 38 | // CHECK: new X; |
| 39 | struct X { |
| 40 | void *operator new (typeof(sizeof(1)), int = 2); |
| 41 | }; |
Eli Friedman | 25c9bc1 | 2012-10-18 21:53:46 +0000 | [diff] [blame] | 42 | void test4() { new X; } |
Eli Friedman | eafa9d4 | 2012-10-18 20:58:58 +0000 | [diff] [blame] | 43 | |
| 44 | // CHECK: for (int i = 2097, j = 42; false;) |
Eli Friedman | 25c9bc1 | 2012-10-18 21:53:46 +0000 | [diff] [blame] | 45 | void test5() { |
Eli Friedman | eafa9d4 | 2012-10-18 20:58:58 +0000 | [diff] [blame] | 46 | for (int i = 2097, j = 42; false;) {} |
| 47 | } |
Eli Friedman | 25c9bc1 | 2012-10-18 21:53:46 +0000 | [diff] [blame] | 48 | |
| 49 | // CHECK: test6fn((int &)y); |
| 50 | void test6fn(int& x); |
| 51 | void test6() { |
| 52 | unsigned int y = 0; |
| 53 | test6fn((int&)y); |
| 54 | } |
Eli Friedman | e1aebe1 | 2012-10-19 20:36:44 +0000 | [diff] [blame] | 55 | |
| 56 | // CHECK: S s( 1, 2 ); |
| 57 | |
| 58 | template <class S> void test7() |
| 59 | { |
| 60 | S s( 1,2 ); |
| 61 | } |
| 62 | |
Eli Friedman | a7a38cb | 2012-10-23 20:26:57 +0000 | [diff] [blame] | 63 | |
| 64 | // CHECK: t.~T(); |
| 65 | |
| 66 | template <typename T> void test8(T t) { t.~T(); } |
Eli Friedman | a45451d | 2012-10-24 20:21:25 +0000 | [diff] [blame] | 67 | |
| 68 | |
| 69 | // CHECK: enum E { |
| 70 | // CHECK-NEXT: A, |
| 71 | // CHECK-NEXT: B, |
| 72 | // CHECK-NEXT: C |
| 73 | // CHECK-NEXT: }; |
| 74 | // CHECK-NEXT: {{^[ ]+}}E a = A; |
| 75 | |
| 76 | struct test9 |
| 77 | { |
| 78 | void f() |
| 79 | { |
| 80 | enum E { A, B, C }; |
| 81 | E a = A; |
| 82 | } |
| 83 | }; |
Dmitri Gribenko | 0a04cbd | 2013-01-24 23:21:11 +0000 | [diff] [blame] | 84 | |
| 85 | namespace test10 { |
| 86 | namespace M { |
| 87 | template<typename T> |
| 88 | struct X { |
| 89 | enum { value }; |
| 90 | }; |
| 91 | } |
| 92 | } |
| 93 | |
| 94 | typedef int INT; |
| 95 | |
| 96 | // CHECK: test11 |
| 97 | // CHECK-NEXT: return test10::M::X<INT>::value; |
| 98 | int test11() { |
| 99 | return test10::M::X<INT>::value; |
| 100 | } |
| 101 | |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 102 | |
| 103 | struct DefaultArgClass |
| 104 | { |
| 105 | DefaultArgClass(int a = 1) {} |
| 106 | }; |
| 107 | |
| 108 | struct NoArgClass |
| 109 | { |
| 110 | NoArgClass() {} |
| 111 | }; |
| 112 | |
Dmitri Gribenko | 93aa2db | 2013-02-03 23:02:47 +0000 | [diff] [blame] | 113 | struct VirualDestrClass |
| 114 | { |
| 115 | VirualDestrClass(int arg); |
| 116 | virtual ~VirualDestrClass(); |
| 117 | }; |
| 118 | |
| 119 | struct ConstrWithCleanupsClass |
| 120 | { |
| 121 | ConstrWithCleanupsClass(const VirualDestrClass& cplx = VirualDestrClass(42)); |
| 122 | }; |
| 123 | |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 124 | // CHECK: test12 |
| 125 | // CHECK-NEXT: DefaultArgClass useDefaultArg; |
| 126 | // CHECK-NEXT: DefaultArgClass overrideDefaultArg(1); |
| 127 | // CHECK-NEXT: NoArgClass noArg; |
Dmitri Gribenko | 93aa2db | 2013-02-03 23:02:47 +0000 | [diff] [blame] | 128 | // CHECK-NEXT: ConstrWithCleanupsClass cwcNoArg; |
| 129 | // CHECK-NEXT: ConstrWithCleanupsClass cwcOverrideArg(48); |
| 130 | // CHECK-NEXT: ConstrWithCleanupsClass cwcExplicitArg(VirualDestrClass(56)); |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 131 | void test12() { |
| 132 | DefaultArgClass useDefaultArg; |
| 133 | DefaultArgClass overrideDefaultArg(1); |
| 134 | NoArgClass noArg; |
Dmitri Gribenko | 93aa2db | 2013-02-03 23:02:47 +0000 | [diff] [blame] | 135 | ConstrWithCleanupsClass cwcNoArg; |
| 136 | ConstrWithCleanupsClass cwcOverrideArg(48); |
| 137 | ConstrWithCleanupsClass cwcExplicitArg(VirualDestrClass(56)); |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 138 | } |
| 139 | |
Richard Smith | 28fff53 | 2013-05-01 19:02:43 +0000 | [diff] [blame] | 140 | // CHECK: void test13() { |
| 141 | // CHECK: _Atomic(int) i; |
| 142 | // CHECK: __c11_atomic_init(&i, 0); |
| 143 | // CHECK: __c11_atomic_load(&i, 0); |
| 144 | // CHECK: } |
| 145 | void test13() { |
| 146 | _Atomic(int) i; |
| 147 | __c11_atomic_init(&i, 0); |
| 148 | __c11_atomic_load(&i, 0); |
| 149 | } |
| 150 | |