1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: echo '#ifndef FOO_H' > %t/foo.h
// RUN: echo '#define FOO_H' >> %t/foo.h
// RUN: echo 'extern int in_header;' >> %t/foo.h
// RUN: echo '#endif' >> %t/foo.h
// RUN: %clang_cc1 -std=c++2a -I%t -emit-module-interface -DINTERFACE %s -o %t.pcm
// RUN: %clang_cc1 -std=c++2a -I%t -fmodule-file=A=%t.pcm -DIMPLEMENTATION %s -verify -fno-modules-error-recovery
// RUN: %clang_cc1 -std=c++2a -I%t -fmodule-file=A=%t.pcm %s -verify -fno-modules-error-recovery
#ifdef INTERFACE
module;
#include "foo.h"
// FIXME: The following need to be moved to a header file. The global module
// fragment is only permitted to contain preprocessor directives.
int global_module_fragment;
export module A;
export int exported;
int not_exported;
static int internal;
module :private;
int not_exported_private;
static int internal_private;
#else
#ifdef IMPLEMENTATION
module;
#endif
void test_early() {
in_header = 1; // expected-error {{use of undeclared identifier 'in_header'}}
// expected-note@* {{not visible}}
global_module_fragment = 1; // expected-error {{use of undeclared identifier 'global_module_fragment'}}
exported = 1; // expected-error {{use of undeclared identifier 'exported'}}
not_exported = 1; // expected-error {{use of undeclared identifier 'not_exported'}}
// FIXME: We need better diagnostic message for static variable.
internal = 1; // expected-error {{use of undeclared identifier 'internal'}}
not_exported_private = 1; // expected-error {{undeclared identifier}}
internal_private = 1; // expected-error {{undeclared identifier}}
}
#ifdef IMPLEMENTATION
module A;
#else
import A;
#endif
void test_late() {
in_header = 1; // expected-error {{missing '#include "foo.h"'; 'in_header' must be declared before it is used}}
// expected-note@* {{not visible}}
global_module_fragment = 1; // expected-error {{missing '#include'; 'global_module_fragment' must be declared before it is used}}
exported = 1;
not_exported = 1;
#ifndef IMPLEMENTATION
// expected-error@-2 {{declaration of 'not_exported' must be imported from module 'A' before it is required}}
// expected-note@p2.cpp:19 {{declaration here is not visible}}
#endif
internal = 1;
#ifndef IMPLEMENTATION
// expected-error@-2 {{declaration of 'internal' must be imported from module 'A' before it is required}}
// expected-note@p2.cpp:20 {{declaration here is not visible}}
#endif
not_exported_private = 1;
#ifndef IMPLEMENTATION
// FIXME: should not be visible here
// expected-error@-3 {{undeclared identifier}}
#endif
internal_private = 1;
#ifndef IMPLEMENTATION
// FIXME: should not be visible here
// expected-error@-3 {{undeclared identifier}}
#endif
}
#endif
|
