102 lines · cpp
1// RUN: rm -rf %t2// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify %s -DORDER=13// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify -std=c++98 %s -DORDER=14// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify -std=c++11 %s -DORDER=15// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify -std=c++17 %s -DORDER=16// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify %s -DORDER=27// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify -std=c++98 %s -DORDER=28// RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify -std=c++11 %s -DORDER=29 10// RUN: %clang_cc1 -fexperimental-new-constant-interpreter -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify -std=c++17 %s -DORDER=211// RUN: %clang_cc1 -fexperimental-new-constant-interpreter -fmodules -fimplicit-module-maps -fexperimental-new-constant-interpreter -fmodules-cache-path=%t -x c++ -I%S/Inputs/merge-using-decls -verify -std=c++98 %s -DORDER=112 13#if ORDER == 114#include "a.h"15#include "b.h"16#else17#include "b.h"18#include "a.h"19#endif20 21struct Y {22 int value; // expected-note 0-1{{target of using}}23 typedef int type; // expected-note 0-1{{target of using}}24};25 26template<typename T> int Use() {27 int k = T().v + T().value; // expected-note 0-2{{instantiation of}}28 typedef typename T::type I;29 typedef typename T::t I;30 typedef int I;31 return k;32}33 34template<typename T> int UseAll() {35#if __cplusplus <= 199711L // C++11 does not allow access declarations36 return Use<C<T> >() + Use<D<T> >() + Use<E<T> >() + Use<F<T> >(); // expected-note 0-2{{instantiation of}}37#else38 return Use<C<T> >() + Use<D<T> >() + Use<F<T> >(); // expected-note 0-2{{instantiation of}}39#endif40}41 42template int UseAll<YA>();43template int UseAll<YB>();44template int UseAll<Y>();45 46#if __cplusplus >= 201702L47void use_g(Q q) {48 q.f(q); // expected-error {{ambiguous}}49#if ORDER == 150 // expected-note@a.h:* {{candidate function}}51 // expected-note@a.h:* {{candidate function}}52#else53 // expected-note@b.h:* {{candidate function}}54 // expected-note@b.h:* {{candidate function}}55#endif56}57#endif58 59// Which of these two sets of diagnostics is chosen is not important. It's OK60// if this varies with ORDER, but it must be consistent across runs.61#if ORDER == 162// Here, we're instantiating the definition from 'A' and merging the definition63// from 'B' into it.64 65#if __cplusplus <= 199711L // C++11 does not allow access declarations66// expected-error@b.h:* {{'E::value' from module 'B' is not present in definition of 'E<T>' in module 'A'}}67// expected-error@b.h:* {{'E::v' from module 'B' is not present in definition of 'E<T>' in module 'A'}}68#endif69 70// expected-error@b.h:* {{'F::type' from module 'B' is not present in definition of 'F<T>' in module 'A'}}71// expected-error@b.h:* {{'F::t' from module 'B' is not present in definition of 'F<T>' in module 'A'}}72// expected-error@b.h:* {{'F::value' from module 'B' is not present in definition of 'F<T>' in module 'A'}}73// expected-error@b.h:* {{'F::v' from module 'B' is not present in definition of 'F<T>' in module 'A'}}74 75// expected-note@a.h:* +{{does not match}}76#else77// Here, we're instantiating the definition from 'B' and merging the definition78// from 'A' into it.79 80// expected-error@a.h:* {{'D::type' from module 'A' is not present in definition of 'D<T>' in module 'B'}}81// expected-error@a.h:* {{'D::value' from module 'A' is not present in definition of 'D<T>' in module 'B'}}82// expected-error@b.h:* 2{{'typename' keyword used on a non-type}}83// expected-error@b.h:* 2{{dependent using declaration resolved to type without 'typename'}}84 85#if __cplusplus <= 199711L // C++11 does not allow access declarations86// expected-error@a.h:* {{'E::type' from module 'A' is not present in definition of 'E<T>' in module 'B'}}87// expected-error@a.h:* {{'E::t' from module 'A' is not present in definition of 'E<T>' in module 'B'}}88// expected-error@a.h:* {{'E::value' from module 'A' is not present in definition of 'E<T>' in module 'B'}}89// expected-error@a.h:* {{'E::v' from module 'A' is not present in definition of 'E<T>' in module 'B'}}90// expected-note@b.h:* 2{{definition has no member}}91#endif92 93 94// expected-error@a.h:* {{'F::type' from module 'A' is not present in definition of 'F<T>' in module 'B'}}95// expected-error@a.h:* {{'F::t' from module 'A' is not present in definition of 'F<T>' in module 'B'}}96// expected-error@a.h:* {{'F::value' from module 'A' is not present in definition of 'F<T>' in module 'B'}}97// expected-error@a.h:* {{'F::v' from module 'A' is not present in definition of 'F<T>' in module 'B'}}98 99// expected-note@b.h:* +{{does not match}}100// expected-note@b.h:* +{{target of using}}101#endif102