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