105 lines · plain
1// RUN: rm -rf %t2// RUN: mkdir %t3// RUN: split-file %s %t4//5// RUN: %clang_cc1 -std=c++20 %t/A.cppm -emit-module-interface -o %t/A.pcm6// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t -I%t -DDIFFERENT %t/B.cppm -verify7// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t -I%t %t/B.cppm -verify8//9// Testing the behavior of `-fskip-odr-check-in-gmf`10// RUN: %clang_cc1 -std=c++20 -fskip-odr-check-in-gmf %t/A.cppm -emit-module-interface -o %t/A.pcm11// RUN: %clang_cc1 -std=c++20 -fskip-odr-check-in-gmf -fprebuilt-module-path=%t -I%t \12// RUN: -DDIFFERENT -DSKIP_ODR_CHECK_IN_GMF %t/B.cppm -verify13 14//--- foo.h15#ifndef FOO_H16#define FOO_H17 18template <class T>19concept Range = requires(T &t) { t.begin(); };20 21template<class _Tp>22concept __integer_like = true;23 24template <class _Tp>25concept __member_size = requires(_Tp &&t) { t.size(); };26 27template <class First, class Second>28concept C = requires(First x, Second y) { x + y; };29 30struct A {31public:32 template <Range T>33 using range_type = T;34};35 36struct __fn {37 template <__member_size _Tp>38 constexpr __integer_like auto operator()(_Tp&& __t) const {39 return __t.size();40 }41 42 template <__integer_like _Tp, C<_Tp> Sentinel>43 constexpr _Tp operator()(_Tp &&__t, Sentinel &&last) const {44 return __t;45 }46 47 template <template <class> class H, class S, C<H<S>> Sentinel>48 constexpr H<S> operator()(H<S> &&__s, Sentinel &&last) const {49 return __s;50 }51 52// Tests that we could find different concept definition indeed.53#ifndef DIFFERENT54 template <__integer_like _Tp, __integer_like _Up, C<_Tp> Sentinel>55 constexpr _Tp operator()(_Tp &&__t, _Up _u, Sentinel &&last) const {56 return __t;57 }58#else59 template <__integer_like _Tp, __integer_like _Up, C<_Up> Sentinel>60 constexpr _Tp operator()(_Tp &&__t, _Up _u, Sentinel &&last) const {61 return __t;62 }63#endif64};65#endif66 67//--- A.cppm68module;69#include "foo.h"70export module A;71 72//--- B.cppm73module;74#include "foo.h"75export module B;76import A;77 78#ifdef SKIP_ODR_CHECK_IN_GMF79// expected-error@B.cppm:* {{call to object of type '__fn' is ambiguous}}80// expected-note@* 1+{{candidate function}}81#elif defined(DIFFERENT)82// expected-error@foo.h:41 {{'__fn::operator()' from module 'A.<global>' is not present in definition of '__fn' provided earlier}}83// expected-note@* 1+{{declaration of 'operator()' does not match}}84#else85// expected-no-diagnostics86#endif87 88template <class T>89struct U {90 auto operator+(U) { return 0; }91};92 93void foo() {94 A a;95 struct S {96 int size() { return 0; }97 auto operator+(S s) { return 0; }98 };99 __fn{}(S());100 __fn{}(S(), S());101 __fn{}(S(), S(), S());102 103 __fn{}(U<int>(), U<int>());104}105