| Reid Kleckner | e502507 | 2014-05-01 16:50:23 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -triple i686-pc-win32 -std=c++11 -fms-compatibility -emit-llvm -o - | FileCheck %s |
| 2 | |
| David Majnemer | 6d1780c | 2015-07-17 23:36:49 +0000 | [diff] [blame] | 3 | template <typename> |
| 4 | struct S { |
| 5 | static const int x[]; |
| 6 | }; |
| 7 | |
| 8 | template <> |
| 9 | const int S<char>::x[] = {1}; |
| 10 | |
| 11 | // CHECK-LABEL: @"\01?x@?$S@D@@2QBHB" = weak_odr constant [1 x i32] [i32 1], comdat |
| 12 | |
| Reid Kleckner | e502507 | 2014-05-01 16:50:23 +0000 | [diff] [blame] | 13 | template<class T> |
| 14 | void destroy(T *p) { |
| 15 | p->~T(); |
| 16 | } |
| 17 | |
| 18 | extern "C" void f() { |
| 19 | int a; |
| 20 | destroy((void*)&a); |
| 21 | } |
| 22 | |
| 23 | // CHECK-LABEL: define void @f() |
| 24 | // CHECK: call void @"\01??$destroy@X@@YAXPAX@Z" |
| 25 | // CHECK: ret void |
| 26 | |
| 27 | // CHECK-LABEL: define linkonce_odr void @"\01??$destroy@X@@YAXPAX@Z"(i8* %p) |
| 28 | // The pseudo-dtor expr should not generate calls to anything. |
| 29 | // CHECK-NOT: call |
| 30 | // CHECK-NOT: invoke |
| 31 | // CHECK: ret void |