From 222e2a7620e6520ffaf4fc4e69d79c18da31542e Mon Sep 17 00:00:00 2001 From: "Zancanaro; Carlo" Date: Mon, 24 Sep 2012 09:58:17 +1000 Subject: Add the clang library to the repo (with some of my changes, too). --- .../temp.decls/temp.fct/temp.over.link/p4-neg.cpp | 27 ++++++++++++++++++++++ .../temp/temp.decls/temp.fct/temp.over.link/p4.cpp | 13 +++++++++++ .../temp/temp.decls/temp.fct/temp.over.link/p6.cpp | 16 +++++++++++++ 3 files changed, 56 insertions(+) create mode 100644 clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4-neg.cpp create mode 100644 clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4.cpp create mode 100644 clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p6.cpp (limited to 'clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link') diff --git a/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4-neg.cpp b/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4-neg.cpp new file mode 100644 index 0000000..e9a3eaa --- /dev/null +++ b/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4-neg.cpp @@ -0,0 +1,27 @@ +// RUN: %clang_cc1 -fsyntax-only -verify %s + +template void f0(T) { } // expected-note{{previous}} +template void f0(U) { } // expected-error{{redefinition}} + +template void f0() { } // expected-note{{previous}} +template void f0() { } // expected-error{{redefinition}} + +typedef int INT; + +template class X> + void f0() { } // expected-note{{previous}} +template class> + void f0() { } // expected-error{{redefinition}} + +template +struct MetaFun; + +template + typename MetaFun::type f0(const T&) { while (1) {} } // expected-note{{previous}} +template + typename MetaFun::type f0(const U&) { while (1) {} } // expected-error{{redefinition}} + +// FIXME: We need canonicalization of expressions for this to work +// template struct A { }; +// template void f0(A) { } // Xpected-note{{previous}} +// template void f0(A) { } // Xpected-error{{redefinition}} diff --git a/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4.cpp b/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4.cpp new file mode 100644 index 0000000..f42b94a --- /dev/null +++ b/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p4.cpp @@ -0,0 +1,13 @@ +// RUN: %clang_cc1 -fsyntax-only -verify %s + +// All of these function templates are distinct. +template void f0(T) { } +template void f0(T) { } +template void f0(U) { } +void f0(); +template void f0(T*); +void f0(int); +template void f0(); +template void f0(); + + diff --git a/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p6.cpp b/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p6.cpp new file mode 100644 index 0000000..a668ada --- /dev/null +++ b/clang/test/CXX/temp/temp.decls/temp.fct/temp.over.link/p6.cpp @@ -0,0 +1,16 @@ +// RUN: %clang_cc1 -fsyntax-only -verify %s + +template +struct A0 { + void g0(); +}; + +template void f0(A0) { } // expected-note{{previous}} +template void f0(A0) { } +template void f0(A0) { } // expected-error{{redefinition}} + +template void f1(A0<0, (X + Y)>) { } // expected-note{{previous}} +template void f1(A0<0, (X - Y)>) { } +template void f1(A0<0, (A + B)>) { } // expected-error{{redefinition}} + +template void A0::g0() { } -- cgit v1.2.3