1 // RUN: rm -rf %t.mcp
2 // RUN: mkdir -p %t
3 
4 // RUN: %clang_cc1 -triple x86_64-apple-darwin -fcxx-exceptions -verify -std=c++2a -fmodules -fmodules-cache-path=%t.mcp -I%S/Inputs %s -fno-modules-error-recovery -fmodule-map-file=%S/Inputs/compare.modulemap
5 
6 struct CC { CC(...); };
7 
a()8 void a() { void(0 <=> 0); } // expected-error {{include <compare>}}
9 
10 struct A {
11   CC operator<=>(const A&) const = default; // expected-error {{include <compare>}}
12 };
13 auto va = A() <=> A(); // expected-note {{required here}}
14 
15 #pragma clang module import compare.other
16 
17 // [email protected]:* 2+{{not reachable}}
18 
b()19 void b() { void(0 <=> 0); } // expected-error 1+{{definition of 'strong_ordering' must be imported from module 'compare.cmp' before it is required}}
20 
21 struct B {
22   CC operator<=>(const B&) const = default; // expected-error 1+{{definition of 'strong_ordering' must be imported from module 'compare.cmp' before it is required}}
23 };
24 auto vb = B() <=> B(); // expected-note {{required here}}
25 
26 #pragma clang module import compare.cmp
27 
c()28 void c() { void(0 <=> 0); }
29 
30 struct C {
31   CC operator<=>(const C&) const = default;
32 };
33 auto vc = C() <=> C();
34 
35 
36 #pragma clang module build compare2
37 module compare2 {}
38 #pragma clang module contents
39 #pragma clang module begin compare2
40 #include "std-compare.h"
41 #pragma clang module end
42 #pragma clang module endbuild
43 
44 #pragma clang module import compare2
45 
46 void g() { void(0.0 <=> 0.0); }
47