Clang Project

clang_source_code/test/Modules/odr_hash-blocks.cpp
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 and S2 should generate errors.
45namespace Blocks {
46#if defined(FIRST)
47struct S1 {
48  void (^block)(int x) = ^(int x) { };
49};
50#elif defined(SECOND)
51struct S1 {
52  void (^block)(int x) = ^(int y) { };
53};
54#else
55S1 s1;
56#endif
57
58#if defined(FIRST)
59struct S2 {
60  int (^block)(int x) = ^(int x) { return x + 1; };
61};
62#elif defined(SECOND)
63struct S2 {
64  int (^block)(int x) = ^(int x) { return x; };
65};
66#else
67S2 s2;
68#endif
69
70#if defined(FIRST)
71struct S3 {
72  void run(int (^block)(int x));
73};
74#elif defined(SECOND)
75struct S3 {
76  void run(int (^block)(int x, int y));
77};
78#else
79S3 s3;
80// expected-error@first.h:* {{'Blocks::S3::run' from module 'FirstModule' is not present in definition of 'Blocks::S3' in module 'SecondModule'}}
81// expected-note@second.h:* {{declaration of 'run' does not match}}
82#endif
83
84#define DECLS                                       \
85  int (^block)(int x) = ^(int x) { return x + x; }; \
86  void run(int (^block)(int x, int y));
87
88#if defined(FIRST) || defined(SECOND)
89struct Valid1 {
90  DECLS
91};
92#else
93Valid1 v1;
94#endif
95
96#if defined(FIRST) || defined(SECOND)
97struct Invalid1 {
98  DECLS
99  ACCESS
100};
101#else
102Invalid1 i1;
103// expected-error@second.h:* {{'Blocks::Invalid1' has different definitions in different modules; first difference is definition in module 'SecondModule' found private access specifier}}
104// expected-note@first.h:* {{but in 'FirstModule' found public access specifier}}
105#endif
106
107#undef DECLS
108}
109
110// Keep macros contained to one file.
111#ifdef FIRST
112#undef FIRST
113#endif
114
115#ifdef SECOND
116#undef SECOND
117#endif
118
119#ifdef ACCESS
120#undef ACCESS
121#endif
122
CodeThinker, Enjoy your reading code