blob: ddebae4df24ac6455cf7d6a3a6fe0fda568f5291 [file] [log] [blame]
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001// Test this without pch.
Richard Smithb15fe3a2012-09-12 00:56:43 +00002// RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -fexceptions -include %S/cxx-templates.h -verify %s -ast-dump -o -
3// RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -fexceptions -include %S/cxx-templates.h %s -emit-llvm -o - | FileCheck %s
Argyrios Kyrtzidis106caf922010-06-19 19:28:53 +00004
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00005// Test with pch.
Richard Smithb15fe3a2012-09-12 00:56:43 +00006// RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -fexceptions -x c++-header -emit-pch -o %t %S/cxx-templates.h
7// RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -fexceptions -include-pch %t -verify %s -ast-dump -o -
8// RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -fexceptions -include-pch %t %s -emit-llvm -o - | FileCheck %s
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00009
Andy Gibbsc6e68da2012-10-19 12:44:48 +000010// expected-no-diagnostics
11
Argyrios Kyrtzidis7f76d112010-08-05 09:48:16 +000012// CHECK: define weak_odr void @_ZN2S4IiE1mEv
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +000013// CHECK: define linkonce_odr void @_ZN2S3IiE1mEv
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +000014
15struct A {
16 typedef int type;
17 static void my_f();
18 template <typename T>
19 static T my_templf(T x) { return x; }
20};
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +000021
Douglas Gregorf86c9392010-10-26 00:51:02 +000022void test(const int (&a6)[17]) {
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +000023 int x = templ_f<int, 5>(3);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +000024
25 S<char, float>::templ();
26 S<int, char>::partial();
27 S<int, float>::explicit_special();
Argyrios Kyrtzidisbfcacee2010-06-24 08:57:31 +000028
29 Dep<A>::Ty ty;
30 Dep<A> a;
31 a.f();
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +000032
33 S3<int> s3;
34 s3.m();
Argyrios Kyrtzidisd05f3e32010-09-06 19:04:27 +000035
36 TS5 ts(0);
Douglas Gregorf86c9392010-10-26 00:51:02 +000037
38 S6<const int[17]>::t2 b6 = a6;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +000039}
Argyrios Kyrtzidis7f76d112010-08-05 09:48:16 +000040
41template struct S4<int>;
Douglas Gregord4c5ed02010-10-29 22:39:52 +000042
43S7<int[5]> s7_5;
Douglas Gregor87866ce2011-02-04 12:01:24 +000044
45namespace ZeroLengthExplicitTemplateArgs {
46 template void f<X>(X*);
47}
Anders Carlsson80756f62011-03-06 18:19:42 +000048
49// This used to overwrite memory and crash.
50namespace Test1 {
51 struct StringHasher {
52 template<typename T, char Converter(T)> static inline unsigned createHash(const T*, unsigned) {
53 return 0;
54 }
55 };
56
57 struct CaseFoldingHash {
58 static inline char foldCase(char) {
59 return 0;
60 }
61
62 static unsigned hash(const char* data, unsigned length) {
63 return StringHasher::createHash<char, foldCase>(data, length);
64 }
65 };
66}
Douglas Gregor9f218892012-03-26 15:52:37 +000067
68template< typename D >
69Foo< D >& Foo< D >::operator=( const Foo& other )
70{
71 return *this;
72}
Richard Smithb15fe3a2012-09-12 00:56:43 +000073
74namespace TestNestedExpansion {
75 struct Int {
76 Int(int);
77 friend Int operator+(Int, Int);
78 };
79 Int &g(Int, int, double);
80 Int &test = NestedExpansion<char, char, char>().f(0, 1, 2, Int(3), 4, 5.0);
81}
Argyrios Kyrtzidis83a6e3b2013-02-16 00:48:59 +000082
83namespace rdar13135282 {
84 void test() {
85 __mt_alloc<> mt = __mt_alloc<>();
86 }
87}