Author: nwilson
Date: Thu Sep 17 21:50:53 2015
New Revision: 247966
URL: http://llvm.org/viewvc/llvm-project?rev=247966&view=rev
Log:
[Concepts] Moving tests to match the corresponding section of the TS
Added:
cfe/trunk/test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.concept/p1.cpp
- copied unchanged from r247963,
cfe/trunk/test/SemaCXX/cxx-concept-declaration.cpp
Removed:
cfe/trunk/test/SemaCXX/cxx-concept-declaration.cpp
Removed: cfe/trunk/test/SemaCXX/cxx-concept-declaration.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaCXX/cxx-concept-declaration.cpp?rev=247965&view=auto
==============================================================================
--- cfe/trunk/test/SemaCXX/cxx-concept-declaration.cpp (original)
+++ cfe/trunk/test/SemaCXX/cxx-concept-declaration.cpp (removed)
@@ -1,41 +0,0 @@
-// RUN: %clang_cc1 -std=c++14 -fconcepts-ts -fcxx-exceptions -x c++ -verify %s
-
-namespace A {
- template<typename T> concept bool C1() { return true; }
-
- template<typename T> concept bool C2 = true;
-}
-
-template<typename T> concept bool C3() { return (throw 0, true); }
-static_assert(noexcept(C3<int>()), "function concept should be treated as if
noexcept(true) specified");
-
-template<typename T> concept bool D1(); // expected-error {{function concept
declaration must be a definition}}
-
-struct B {
- template<typename T> concept bool D2() { return true; } // expected-error
{{concept declarations may only appear in namespace scope}}
-};
-
-struct C {
- template<typename T> static concept bool D3 = true; // expected-error
{{concept declarations may only appear in namespace scope}}
-};
-
-concept bool D4() { return true; } // expected-error {{'concept' can only
appear on the definition of a function template or variable template}}
-
-concept bool D5 = true; // expected-error {{'concept' can only appear on the
definition of a function template or variable template}}
-
-template<typename T>
-concept bool D6; // expected-error {{variable concept declaration must be
initialized}}
-
-template<typename T>
-concept bool D7() throw(int) { return true; } // expected-error {{function
concept cannot have exception specification}}
-
-// Tag
-concept class CC1 {}; // expected-error {{'concept' can only appear on the
definition of a function template or variable template}}
-concept struct CS1 {}; // expected-error {{'concept' can only appear on the
definition of a function template or variable template}}
-concept union CU1 {}; // expected-error {{'concept' can only appear on the
definition of a function template or variable template}}
-concept enum CE1 {}; // expected-error {{'concept' can only appear on the
definition of a function template or variable template}}
-template <typename T> concept class TCC1 {}; // expected-error {{'concept' can
only appear on the definition of a function template or variable template}}
-template <typename T> concept struct TCS1 {}; // expected-error {{'concept'
can only appear on the definition of a function template or variable template}}
-template <typename T> concept union TCU1 {}; // expected-error {{'concept' can
only appear on the definition of a function template or variable template}}
-
-concept bool; // expected-error {{'concept' can only appear on the definition
of a function template or variable template}}
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
