clang/test/Modules/polluted-operator.cppm

   1 // RUN: rm -rf %t
   2 // RUN: mkdir -p %t
   3 // RUN: split-file %s %t
   4 //
   5 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/a.cppm -o %t/a.pcm
   6 // RUN: %clang_cc1 -std=c++20 %t/b.cppm -fprebuilt-module-path=%t -emit-module-interface -o %t/b.pcm -verify
   7
   8 //--- foo.h
   9
  10 namespace std
  11 {
  12     template<class _Dom1>
  13     void operator &&(_Dom1 __v, _Dom1 __w)
  14     {
  15         return;
  16     }
  17 }
  18
  19 //--- bar.h
  20 namespace std
  21 {
  22   template<typename... _Types>
  23     struct _Traits
  24     {
  25       static constexpr bool _S_copy_ctor =
  26    (__is_trivial(_Types) && ...);
  27     };
  28
  29   template<typename... _Types>
  30     struct variant
  31     {
  32       void
  33       swap(variant& __rhs)
  34       noexcept((__is_trivial(_Types) && ...))
  35       {
  36       }
  37     };
  38 }
  39
  40 //--- a.cppm
  41 module;
  42 // The operator&& defined in 'foo.h' will pollute the
  43 // expression '__is_trivial(_Types) && ...' in bar.h
  44 #include "foo.h"
  45 #include "bar.h"
  46 export module a;
  47
  48 //--- b.cppm
  49 module;
  50 #include "bar.h"
  51 export module b;
  52 import a;
  53
  54 // expected-error@* {{has different definitions in different modules; first difference is defined here found data member '_S_copy_ctor' with an initializer}}
  55 // expected-note@* {{but in 'a.<global>' found data member '_S_copy_ctor' with a different initializer}}
  56 // expected-error@* {{from module 'a.<global>' is not present in definition of 'variant<_Types...>' provided earlier}}
  57 // expected-note@* {{declaration of 'swap' does not match}}