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