gcc/testsuite/g++.dg/cpp0x/alias-decl-78.C

   1 // PR c++/115897
   2 // { dg-do compile { target c++11 } }
   3
   4 template<class T, class U>
   5 struct is_same { static constexpr bool value = __is_same(T, U); };
   6
   7 #if __cpp_variable_templates
   8 template<class T, class U>
   9 constexpr bool is_same_v = __is_same(T, U);
  10 #endif
  11
  12 template<class T>
  13 using A [[gnu::vector_size(16)]] = T;
  14
  15 template<class T>
  16 void f() {
  17   using B = A<T>;
  18   static_assert(!is_same<T, B>::value, "");
  19 #if __cpp_variable_templates
  20   static_assert(!is_same_v<T, B>, "");
  21 #endif
  22 };
  23
  24 template<class T>
  25 void g() {
  26   using C = A<T*>;
  27   static_assert(!is_same<T*, C>::value, "");
  28 #if __cpp_variable_templates
  29   static_assert(!is_same_v<T*, C>, "");
  30 #endif
  31 };
  32
  33 template void f<float>();
  34 template void g<float>();