1 // Tests for module-declaration syntax.
2 //
3 // RUN: rm -rf %t
4 // RUN: mkdir -p %t
5 // RUN: echo 'export module x; int a, b;' > %t/x.cppm
6 // RUN: echo 'export module x.y; int c;' > %t/x.y.cppm
7 //
8 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -emit-module-interface %t/x.cppm -o %t/x.pcm
9 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -emit-module-interface -fmodule-file=%t/x.pcm %t/x.y.cppm -o %t/x.y.pcm
10 //
11 // Module implementation for unknown and known module. (The former is ill-formed.)
12 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
13 // RUN:            -DTEST=1 -DEXPORT= -DPARTITION= -DMODULE_NAME=z
14 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
15 // RUN:            -DTEST=2 -DEXPORT= -DPARTITION= -DMODULE_NAME=x
16 //
17 // Module interface for unknown and known module. (The latter is ill-formed due to
18 // redefinition.)
19 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
20 // RUN:            -DTEST=3 -DEXPORT=export -DPARTITION= -DMODULE_NAME=z
21 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
22 // RUN:            -DTEST=4 -DEXPORT=export -DPARTITION= -DMODULE_NAME=x
23 //
24 // Defining a module partition.
25 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
26 // RUN:            -DTEST=5 -DEXPORT=export -DPARTITION=partition -DMODULE_NAME=z
27 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
28 // RUN:            -DTEST=6 -DEXPORT= -DPARTITION=partition -DMODULE_NAME=z
29 //
30 // Miscellaneous syntax.
31 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
32 // RUN:            -DTEST=7 -DEXPORT= -DPARTITION=elderberry -DMODULE_NAME=z
33 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
34 // RUN:            -DTEST=8 -DEXPORT=export -DPARTITION= -DMODULE_NAME='z [[]]'
35 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
36 // RUN:            -DTEST=9 -DEXPORT=export -DPARTITION= -DMODULE_NAME='z [[fancy]]'
37 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -verify %s \
38 // RUN:            -DTEST=10 -DEXPORT=export -DPARTITION= -DMODULE_NAME='z [[maybe_unused]]'
39 
40 EXPORT module PARTITION MODULE_NAME;
41 #if TEST == 4
42 // expected-error@-2 {{redefinition of module 'x'}}
43 // [email protected]:* {{loaded from '{{.*[/\\]}}x.pcm'}}
44 #elif TEST == 6
45 // expected-error@-5 {{module partition must be declared 'export'}}
46 #elif TEST == 7
47 // expected-error@-7 {{expected ';'}} expected-error@-7 {{requires a type specifier}} expected-error@-7 {{definition of module 'elderberry' is not available}}
48 #elif TEST == 9
49 // expected-warning@-9 {{unknown attribute 'fancy' ignored}}
50 #elif TEST == 10
51 // expected-error-re@-11 {{'maybe_unused' attribute cannot be applied to a module{{$}}}}
52 #elif TEST == 1
53 // expected-error@-13 {{definition of module 'z' is not available}}
54 #else
55 // expected-no-diagnostics
56 #endif
57