1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 3f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournetemplate <typename T, typename U = void*> 4f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestruct A { 5f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne enum { 6f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne id = _Generic(T(), // expected-error {{controlling expression type 'char' not compatible with any generic association type}} 7f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne int: 1, // expected-note {{compatible type 'int' specified here}} 8f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne float: 2, 9f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne U: 3) // expected-error {{type 'int' in generic association compatible with previously specified type 'int'}} 10f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne }; 11f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne}; 12f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 13f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestatic_assert(A<int>::id == 1, "fail"); 14f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestatic_assert(A<float>::id == 2, "fail"); 15f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestatic_assert(A<double, double>::id == 3, "fail"); 16f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 17f111d935722ed488144600cea5ed03a6b5069e8fPeter CollingbourneA<char> a1; // expected-note {{in instantiation of template class 'A<char, void *>' requested here}} 18f111d935722ed488144600cea5ed03a6b5069e8fPeter CollingbourneA<short, int> a2; // expected-note {{in instantiation of template class 'A<short, int>' requested here}} 19f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 20f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournetemplate <typename T, typename U> 21f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestruct B { 22f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne enum { 23f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne id = _Generic(T(), 24f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne int: 1, // expected-note {{compatible type 'int' specified here}} 25f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne int: 2, // expected-error {{type 'int' in generic association compatible with previously specified type 'int'}} 26f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne U: 3) 27f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne }; 28f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne}; 29f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 30f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournetemplate <unsigned Arg, unsigned... Args> struct Or { 31f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne enum { result = Arg | Or<Args...>::result }; 32f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne}; 33f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 34f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournetemplate <unsigned Arg> struct Or<Arg> { 35f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne enum { result = Arg }; 36f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne}; 37f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 38f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournetemplate <class... Args> struct TypeMask { 39f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne enum { 40f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne result = Or<_Generic(Args(), int: 1, long: 2, short: 4, float: 8)...>::result 41f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne }; 42f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne}; 43f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbourne 44f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestatic_assert(TypeMask<int, long, short>::result == 7, "fail"); 45f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestatic_assert(TypeMask<float, short>::result == 12, "fail"); 46f111d935722ed488144600cea5ed03a6b5069e8fPeter Collingbournestatic_assert(TypeMask<int, float, float>::result == 9, "fail"); 47