1 // Clear and create directories
2 // RUN: rm -rf %t
3 // RUN: mkdir %t
4 // RUN: mkdir %t/cache
5 // RUN: mkdir %t/Inputs
6 
7 // Build first header file
8 // RUN: echo "#define FIRST" >> %t/Inputs/first.h
9 // RUN: cat %s               >> %t/Inputs/first.h
10 
11 // Build second header file
12 // RUN: echo "#define SECOND" >> %t/Inputs/second.h
13 // RUN: cat %s                >> %t/Inputs/second.h
14 
15 // Test that each header can compile
16 // RUN: %clang_cc1 -fsyntax-only -x c++ -std=c++11 -fblocks %t/Inputs/first.h
17 // RUN: %clang_cc1 -fsyntax-only -x c++ -std=c++11 -fblocks %t/Inputs/second.h
18 
19 // Build module map file
20 // RUN: echo "module FirstModule {"     >> %t/Inputs/module.map
21 // RUN: echo "    header \"first.h\""   >> %t/Inputs/module.map
22 // RUN: echo "}"                        >> %t/Inputs/module.map
23 // RUN: echo "module SecondModule {"    >> %t/Inputs/module.map
24 // RUN: echo "    header \"second.h\""  >> %t/Inputs/module.map
25 // RUN: echo "}"                        >> %t/Inputs/module.map
26 
27 // Run test
28 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps \
29 // RUN:            -fmodules-cache-path=%t/cache -x c++ -I%t/Inputs \
30 // RUN:            -verify %s -std=c++11 -fblocks
31 
32 #if !defined(FIRST) && !defined(SECOND)
33 #include "first.h"
34 #include "second.h"
35 #endif
36 
37 // Used for testing
38 #if defined(FIRST)
39 #define ACCESS public:
40 #elif defined(SECOND)
41 #define ACCESS private:
42 #endif
43 
44 // TODO: S1, S2, and S3 should generate errors.
45 namespace Blocks {
46 #if defined(FIRST)
47 struct S1 {
48   void (^block)(int x) = ^(int x) { };
49 };
50 #elif defined(SECOND)
51 struct S1 {
52   void (^block)(int x) = ^(int y) { };
53 };
54 #else
55 S1 s1;
56 #endif
57 
58 #if defined(FIRST)
59 struct S2 {
60   int (^block)(int x) = ^(int x) { return x + 1; };
61 };
62 #elif defined(SECOND)
63 struct S2 {
64   int (^block)(int x) = ^(int x) { return x; };
65 };
66 #else
67 S2 s2;
68 #endif
69 
70 #if defined(FIRST)
71 struct S3 {
72   void run(int (^block)(int x));
73 };
74 #elif defined(SECOND)
75 struct S3 {
76   void run(int (^block)(int x, int y));
77 };
78 #else
79 S3 s3;
80 #endif
81 
82 #define DECLS                                       \
83   int (^block)(int x) = ^(int x) { return x + x; }; \
84   void run(int (^block)(int x, int y));
85 
86 #if defined(FIRST) || defined(SECOND)
87 struct Valid1 {
88   DECLS
89 };
90 #else
91 Valid1 v1;
92 #endif
93 
94 #if defined(FIRST) || defined(SECOND)
95 struct Invalid1 {
96   DECLS
97   ACCESS
98 };
99 #else
100 Invalid1 i1;
101 // [email protected]:* {{'Blocks::Invalid1' has different definitions in different modules; first difference is definition in module 'SecondModule' found private access specifier}}
102 // [email protected]:* {{but in 'FirstModule' found public access specifier}}
103 #endif
104 
105 #undef DECLS
106 }
107 
108 // Keep macros contained to one file.
109 #ifdef FIRST
110 #undef FIRST
111 #endif
112 
113 #ifdef SECOND
114 #undef SECOND
115 #endif
116 
117 #ifdef ACCESS
118 #undef ACCESS
119 #endif
120