1 // RUN: rm -rf %t 2 // RUN: mkdir -p %t 3 // RUN: echo 'export module x; export int a, b;' > %t/x.cppm 4 // RUN: echo 'export module x.y; export int c;' > %t/x.y.cppm 5 // RUN: echo 'export module a.b; export int d;' > %t/a.b.cppm 6 // 7 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -emit-module-interface %t/x.cppm -o %t/x.pcm 8 // 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 9 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -emit-module-interface %t/a.b.cppm -o %t/a.b.pcm 10 // 11 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -fmodule-file=%t/a.b.pcm -verify %s \ 12 // RUN: -DMODULE_NAME=z -DINTERFACE 13 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -fmodule-file=%t/a.b.pcm -verify %s \ 14 // RUN: -DMODULE_NAME=a.b 15 // RUN: %clang_cc1 -std=c++1z -fmodules-ts -I%t -fmodule-file=%t/x.y.pcm -fmodule-file=%t/a.b.pcm -verify %s \ 16 // RUN: -DMODULE_X -DMODULE_NAME=x 17 18 #ifdef INTERFACE 19 export 20 #endif 21 module MODULE_NAME; 22 23 int use_1 = a; 24 #if !MODULE_X 25 // expected-error@-2 {{declaration of 'a' must be imported from module 'x' before it is required}} 26 // [email protected]:1 {{here}} 27 #endif 28 29 import x; 30 31 int use_2 = b; // ok 32 33 // There is no relation between module x and module x.y. 34 int use_3 = c; // expected-error {{declaration of 'c' must be imported from module 'x.y'}} 35 // [email protected]:1 {{here}} 36 37 import x [[]]; 38 import x [[foo]]; // expected-warning {{unknown attribute 'foo' ignored}} 39 import x [[noreturn]]; // expected-error {{'noreturn' attribute cannot be applied to a module import}} 40 import x [[blarg::noreturn]]; // expected-warning {{unknown attribute 'noreturn' ignored}} 41 42 import x.y; 43 import a.b; // Does not imply existence of module a. 44 import x.; // expected-error {{expected a module name after 'import'}} 45 import .x; // expected-error {{expected a module name after 'import'}} 46 47 int use_4 = c; // ok 48 49 import blarg; // expected-error {{module 'blarg' not found}} 50