diff options
author | Richard Smith <richard-llvm@metafoo.co.uk> | 2019-04-18 21:12:54 +0000 |
---|---|---|
committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2019-04-18 21:12:54 +0000 |
commit | ae7a41c9de3c3c0327600705619d05ec5b02b5b6 (patch) | |
tree | 59a93164adad81770a8b15e7eb3a5667f17e404a /test/CXX/basic | |
parent | c6dbb7392497a0f52a5631e12e56b491db2dc59c (diff) | |
download | clang-ae7a41c9de3c3c0327600705619d05ec5b02b5b6.tar.gz |
[c++2a] Add semantic support for private module fragments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@358713 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CXX/basic')
-rw-r--r-- | test/CXX/basic/basic.link/p1.cpp | 40 | ||||
-rw-r--r-- | test/CXX/basic/basic.link/p2.cpp | 16 |
2 files changed, 46 insertions, 10 deletions
diff --git a/test/CXX/basic/basic.link/p1.cpp b/test/CXX/basic/basic.link/p1.cpp index b94e57017f..c6a119aa7f 100644 --- a/test/CXX/basic/basic.link/p1.cpp +++ b/test/CXX/basic/basic.link/p1.cpp @@ -1,24 +1,31 @@ // RUN: %clang_cc1 -std=c++2a -verify %s // RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG %s // RUN: %clang_cc1 -std=c++2a -verify -DNO_MODULE_DECL %s +// RUN: %clang_cc1 -std=c++2a -verify -DNO_PRIVATE_FRAG %s +// RUN: %clang_cc1 -std=c++2a -verify -DNO_MODULE_DECL -DNO_PRIVATE_FRAG %s +// RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG -DNO_PRIVATE_FRAG %s +// RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG -DNO_MODULE_DECL %s +// RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG -DNO_MODULE_DECL -DNO_PRIVATE_FRAG %s // RUN: %clang_cc1 -std=c++2a -verify -DEXPORT_FRAGS %s -#ifdef NO_GLOBAL_FRAG -// expected-error@#mod-decl {{module declaration must occur at the start of the translation unit}} -// expected-note@1 {{add 'module;' to the start of the file to introduce a global module fragment}} -#else +#ifndef NO_GLOBAL_FRAG #ifdef EXPORT_FRAGS export // expected-error {{global module fragment cannot be exported}} #endif -module; // #glob-frag +module; +#ifdef NO_MODULE_DECL +// expected-error@-2 {{missing 'module' declaration at end of global module fragment introduced here}} +#endif #endif extern int a; // #a1 -#ifdef NO_MODULE_DECL -// expected-error@#glob-frag {{missing 'module' declaration at end of global module fragment introduced here}} -#else -export module Foo; // #mod-decl +#ifndef NO_MODULE_DECL +export module Foo; +#ifdef NO_GLOBAL_FRAG +// expected-error@-2 {{module declaration must occur at the start of the translation unit}} +// expected-note@1 {{add 'module;' to the start of the file to introduce a global module fragment}} +#endif // expected-error@#a2 {{declaration of 'a' in module Foo follows declaration in the global module}} // expected-note@#a1 {{previous decl}} @@ -29,9 +36,22 @@ extern int b; module; // expected-error {{'module;' introducing a global module fragment can appear only at the start of the translation unit}} +#ifndef NO_PRIVATE_FRAG #ifdef EXPORT_FRAGS export // expected-error {{private module fragment cannot be exported}} #endif -module :private; +module :private; // #priv-frag +#ifdef NO_MODULE_DECL +// expected-error@-2 {{private module fragment declaration with no preceding module declaration}} +#endif +#endif int b; // ok + + +#ifndef NO_PRIVATE_FRAG +#ifndef NO_MODULE_DECL +module :private; // expected-error {{private module fragment redefined}} +// expected-note@#priv-frag {{previous definition is here}} +#endif +#endif diff --git a/test/CXX/basic/basic.link/p2.cpp b/test/CXX/basic/basic.link/p2.cpp new file mode 100644 index 0000000000..54e347c91e --- /dev/null +++ b/test/CXX/basic/basic.link/p2.cpp @@ -0,0 +1,16 @@ +// RUN: %clang_cc1 -std=c++2a -DEXPORT %s -verify +// RUN: %clang_cc1 -std=c++2a -DEXPORT %s -emit-module-interface -o %t.pcm +// RUN: %clang_cc1 -std=c++2a -UEXPORT %s -verify -fmodule-file=%t.pcm + +#ifdef EXPORT +// expected-no-diagnostics +export +#else +// expected-note@+2 {{add 'export' here}} +#endif +module M; + +#ifndef EXPORT +// expected-error@+2 {{private module fragment in module implementation unit}} +#endif +module :private; |