clang/test/Modules/pr63544.cppm

   1 // RUN: rm -rf %t
   2 // RUN: mkdir -p %t
   3 // RUN: split-file %s %t
   4 //
   5 // RUN: %clang_cc1 -std=c++23 %t/a.cppm -emit-module-interface -o %t/m-a.pcm
   6 // RUN: %clang_cc1 -std=c++23 %t/b.cppm -emit-module-interface -o %t/m-b.pcm
   7 // RUN: %clang_cc1 -std=c++23 %t/m.cppm -emit-module-interface -o %t/m.pcm \
   8 // RUN:     -fprebuilt-module-path=%t
   9 // RUN: %clang_cc1 -std=c++23 %t/pr63544.cpp -fprebuilt-module-path=%t -fsyntax-only -verify
  10
  11 //--- foo.h
  12
  13 namespace std {
  14 struct strong_ordering {
  15   int n;
  16   constexpr operator int() const { return n; }
  17   static const strong_ordering equal, greater, less;
  18 };
  19 constexpr strong_ordering strong_ordering::equal = {0};
  20 constexpr strong_ordering strong_ordering::greater = {1};
  21 constexpr strong_ordering strong_ordering::less = {-1};
  22 } // namespace std
  23
  24 namespace std {
  25 template <typename _Tp>
  26 class optional {
  27 private:
  28     using value_type = _Tp;
  29     value_type __val_;
  30     bool __engaged_;
  31 public:
  32     constexpr bool has_value() const noexcept
  33     {
  34         return this->__engaged_;
  35     }
  36
  37     constexpr const value_type& operator*() const& noexcept
  38     {
  39         return __val_;
  40     }
  41
  42     optional(_Tp v) : __val_(v) {
  43         __engaged_ = true;
  44     }
  45 };
  46
  47 template <class _Tp>
  48 concept __is_derived_from_optional = requires(const _Tp& __t) { []<class __Up>(const optional<__Up>&) {}(__t); };
  49
  50 template <class _Tp, class _Up>
  51     requires(!__is_derived_from_optional<_Up>)
  52 constexpr strong_ordering
  53 operator<=>(const optional<_Tp>& __x, const _Up& __v) {
  54     return __x.has_value() ? *__x <=> __v : strong_ordering::less;
  55 }
  56 } // namespace std
  57
  58 //--- a.cppm
  59 module;
  60 #include "foo.h"
  61 export module m:a;
  62 export namespace std {
  63     using std::optional;
  64     using std::operator<=>;
  65 }
  66
  67 //--- b.cppm
  68 module;
  69 #include "foo.h"
  70 export module m:b;
  71 export namespace std {
  72     using std::optional;
  73     using std::operator<=>;
  74 }
  75
  76 //--- m.cppm
  77 export module m;
  78 export import :a;
  79 export import :b;
  80
  81 //--- pr63544.cpp
  82 // expected-no-diagnostics
  83 import m;
  84 int pr63544() {
  85     std::optional<int> a(43);
  86     int t{3};
  87     return a<=>t;
  88 }