1d652bdd0SRichard Smith // RUN: %clang_cc1 -std=c++2a -verify %s 2d652bdd0SRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG %s 3d652bdd0SRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DNO_MODULE_DECL %s 4*a5bbbfefSRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DNO_PRIVATE_FRAG %s 5*a5bbbfefSRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DNO_MODULE_DECL -DNO_PRIVATE_FRAG %s 6*a5bbbfefSRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG -DNO_PRIVATE_FRAG %s 7*a5bbbfefSRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG -DNO_MODULE_DECL %s 8*a5bbbfefSRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DNO_GLOBAL_FRAG -DNO_MODULE_DECL -DNO_PRIVATE_FRAG %s 9d652bdd0SRichard Smith // RUN: %clang_cc1 -std=c++2a -verify -DEXPORT_FRAGS %s 10d652bdd0SRichard Smith 11*a5bbbfefSRichard Smith #ifndef NO_GLOBAL_FRAG 12d652bdd0SRichard Smith #ifdef EXPORT_FRAGS 13d652bdd0SRichard Smith export // expected-error {{global module fragment cannot be exported}} 14d652bdd0SRichard Smith #endif 15*a5bbbfefSRichard Smith module; 16*a5bbbfefSRichard Smith #ifdef NO_MODULE_DECL 17*a5bbbfefSRichard Smith // expected-error@-2 {{missing 'module' declaration at end of global module fragment introduced here}} 18*a5bbbfefSRichard Smith #endif 19d652bdd0SRichard Smith #endif 20d652bdd0SRichard Smith 21d652bdd0SRichard Smith extern int a; // #a1 22d652bdd0SRichard Smith 23*a5bbbfefSRichard Smith #ifndef NO_MODULE_DECL 24*a5bbbfefSRichard Smith export module Foo; 25*a5bbbfefSRichard Smith #ifdef NO_GLOBAL_FRAG 26*a5bbbfefSRichard Smith // expected-error@-2 {{module declaration must occur at the start of the translation unit}} 27*a5bbbfefSRichard Smith // expected-note@1 {{add 'module;' to the start of the file to introduce a global module fragment}} 28*a5bbbfefSRichard Smith #endif 29d652bdd0SRichard Smith 30d652bdd0SRichard Smith // expected-error@#a2 {{declaration of 'a' in module Foo follows declaration in the global module}} 31d652bdd0SRichard Smith // expected-note@#a1 {{previous decl}} 32d652bdd0SRichard Smith #endif 33d652bdd0SRichard Smith 34d652bdd0SRichard Smith int a; // #a2 35d652bdd0SRichard Smith extern int b; 36d652bdd0SRichard Smith 37d652bdd0SRichard Smith module; // expected-error {{'module;' introducing a global module fragment can appear only at the start of the translation unit}} 38d652bdd0SRichard Smith 39*a5bbbfefSRichard Smith #ifndef NO_PRIVATE_FRAG 40d652bdd0SRichard Smith #ifdef EXPORT_FRAGS 41d652bdd0SRichard Smith export // expected-error {{private module fragment cannot be exported}} 42d652bdd0SRichard Smith #endif 43*a5bbbfefSRichard Smith module :private; // #priv-frag 44*a5bbbfefSRichard Smith #ifdef NO_MODULE_DECL 45*a5bbbfefSRichard Smith // expected-error@-2 {{private module fragment declaration with no preceding module declaration}} 46*a5bbbfefSRichard Smith #endif 47*a5bbbfefSRichard Smith #endif 48d652bdd0SRichard Smith 49d652bdd0SRichard Smith int b; // ok 50*a5bbbfefSRichard Smith 51*a5bbbfefSRichard Smith 52*a5bbbfefSRichard Smith #ifndef NO_PRIVATE_FRAG 53*a5bbbfefSRichard Smith #ifndef NO_MODULE_DECL 54*a5bbbfefSRichard Smith module :private; // expected-error {{private module fragment redefined}} 55*a5bbbfefSRichard Smith // expected-note@#priv-frag {{previous definition is here}} 56*a5bbbfefSRichard Smith #endif 57*a5bbbfefSRichard Smith #endif 58