Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -ast-print %s -std=gnu++11 | FileCheck %s |
Eli Friedman | a143a9d | 2012-10-12 22:45:14 +0000 | [diff] [blame] | 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 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 56 | // CHECK: S s(1, 2); |
Eli Friedman | e1aebe1 | 2012-10-19 20:36:44 +0000 | [diff] [blame] | 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) {} |
Rafael Espindola | d3bb9ff | 2013-05-24 16:11:44 +0000 | [diff] [blame] | 106 | DefaultArgClass(int a, int b, int c = 1) {} |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 107 | }; |
| 108 | |
| 109 | struct NoArgClass |
| 110 | { |
| 111 | NoArgClass() {} |
| 112 | }; |
| 113 | |
Dmitri Gribenko | 93aa2db | 2013-02-03 23:02:47 +0000 | [diff] [blame] | 114 | struct VirualDestrClass |
| 115 | { |
| 116 | VirualDestrClass(int arg); |
| 117 | virtual ~VirualDestrClass(); |
| 118 | }; |
| 119 | |
| 120 | struct ConstrWithCleanupsClass |
| 121 | { |
| 122 | ConstrWithCleanupsClass(const VirualDestrClass& cplx = VirualDestrClass(42)); |
| 123 | }; |
| 124 | |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 125 | // CHECK: test12 |
| 126 | // CHECK-NEXT: DefaultArgClass useDefaultArg; |
| 127 | // CHECK-NEXT: DefaultArgClass overrideDefaultArg(1); |
Rafael Espindola | d3bb9ff | 2013-05-24 16:11:44 +0000 | [diff] [blame] | 128 | // CHECK-NEXT: DefaultArgClass(1, 2); |
| 129 | // CHECK-NEXT: DefaultArgClass(1, 2, 3); |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 130 | // CHECK-NEXT: NoArgClass noArg; |
Dmitri Gribenko | 93aa2db | 2013-02-03 23:02:47 +0000 | [diff] [blame] | 131 | // CHECK-NEXT: ConstrWithCleanupsClass cwcNoArg; |
| 132 | // CHECK-NEXT: ConstrWithCleanupsClass cwcOverrideArg(48); |
| 133 | // CHECK-NEXT: ConstrWithCleanupsClass cwcExplicitArg(VirualDestrClass(56)); |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 134 | void test12() { |
| 135 | DefaultArgClass useDefaultArg; |
| 136 | DefaultArgClass overrideDefaultArg(1); |
Rafael Espindola | d3bb9ff | 2013-05-24 16:11:44 +0000 | [diff] [blame] | 137 | DefaultArgClass tempWithDefaultArg = DefaultArgClass(1, 2); |
| 138 | DefaultArgClass tempWithExplictArg = DefaultArgClass(1, 2, 3); |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 139 | NoArgClass noArg; |
Dmitri Gribenko | 93aa2db | 2013-02-03 23:02:47 +0000 | [diff] [blame] | 140 | ConstrWithCleanupsClass cwcNoArg; |
| 141 | ConstrWithCleanupsClass cwcOverrideArg(48); |
| 142 | ConstrWithCleanupsClass cwcExplicitArg(VirualDestrClass(56)); |
Dmitri Gribenko | 5250e2b | 2013-01-27 21:28:24 +0000 | [diff] [blame] | 143 | } |
| 144 | |
Richard Smith | 28fff53 | 2013-05-01 19:02:43 +0000 | [diff] [blame] | 145 | // CHECK: void test13() { |
| 146 | // CHECK: _Atomic(int) i; |
| 147 | // CHECK: __c11_atomic_init(&i, 0); |
| 148 | // CHECK: __c11_atomic_load(&i, 0); |
| 149 | // CHECK: } |
| 150 | void test13() { |
| 151 | _Atomic(int) i; |
| 152 | __c11_atomic_init(&i, 0); |
| 153 | __c11_atomic_load(&i, 0); |
| 154 | } |
| 155 | |
Eli Friedman | 42acc0c | 2013-08-12 21:54:04 +0000 | [diff] [blame] | 156 | |
| 157 | // CHECK: void test14() { |
| 158 | // CHECK: struct X { |
| 159 | // CHECK: union { |
| 160 | // CHECK: int x; |
| 161 | // CHECK: } x; |
| 162 | // CHECK: }; |
| 163 | // CHECK: } |
| 164 | void test14() { |
| 165 | struct X { union { int x; } x; }; |
| 166 | } |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 167 | |
| 168 | |
| 169 | // CHECK: float test15() { |
| 170 | // CHECK: return __builtin_asinf(1.F); |
| 171 | // CHECK: } |
| 172 | // CHECK-NOT: extern "C" |
| 173 | float test15() { |
| 174 | return __builtin_asinf(1.0F); |
| 175 | } |
| 176 | |
| 177 | namespace PR18776 { |
| 178 | struct A { |
| 179 | operator void *(); |
| 180 | explicit operator bool(); |
| 181 | A operator&(A); |
| 182 | }; |
| 183 | |
| 184 | // CHECK: struct A |
| 185 | // CHECK-NEXT: {{^[ ]*operator}} void *(); |
| 186 | // CHECK-NEXT: {{^[ ]*explicit}} operator bool(); |
| 187 | |
| 188 | void bar(void *); |
| 189 | |
| 190 | void foo() { |
| 191 | A a, b; |
| 192 | bar(a & b); |
| 193 | // CHECK: bar(a & b); |
| 194 | if (a & b) |
| 195 | // CHECK: if (a & b) |
| 196 | return; |
| 197 | } |
| 198 | }; |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 199 | |
| 200 | namespace { |
| 201 | void test(int i) { |
| 202 | switch (i) { |
| 203 | case 1: |
| 204 | // CHECK: {{\[\[clang::fallthrough\]\]}} |
| 205 | [[clang::fallthrough]]; |
| 206 | case 2: |
| 207 | break; |
| 208 | } |
| 209 | } |
| 210 | } |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 211 | |
| 212 | namespace { |
| 213 | // CHECK: struct {{\[\[gnu::visibility\(\"hidden\"\)\]\]}} S; |
| 214 | struct [[gnu::visibility("hidden")]] S; |
| 215 | } |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 216 | |
| 217 | // CHECK: struct CXXFunctionalCastExprPrint fce = CXXFunctionalCastExprPrint{}; |
| 218 | struct CXXFunctionalCastExprPrint {} fce = CXXFunctionalCastExprPrint{}; |
| 219 | |
| 220 | // CHECK: struct CXXTemporaryObjectExprPrint toe = CXXTemporaryObjectExprPrint{}; |
| 221 | struct CXXTemporaryObjectExprPrint { CXXTemporaryObjectExprPrint(); } toe = CXXTemporaryObjectExprPrint{}; |