clang/test/SemaTemplate/cxx17-inline-variables.cpp

   1 // RUN: %clang_cc1 -std=c++17 -verify %s
   2 // expected-no-diagnostics
   3 template<bool> struct DominatorTreeBase {
   4   static constexpr bool IsPostDominator = true;
   5 };
   6 extern template class DominatorTreeBase<false>;
   7 constexpr bool k = DominatorTreeBase<false>::IsPostDominator;
   8
   9 namespace CompleteType {
  10   template<unsigned N> constexpr int f(const bool (&)[N]) { return 0; }
  11
  12   template<bool ...V> struct X {
  13     static constexpr bool arr[] = {V...};
  14     static constexpr int value = f(arr);
  15   };
  16
  17   constexpr int n = X<true>::value;
  18 }
  19
  20 template <typename T> struct A {
  21   static const int n;
  22   static const int m;
  23   constexpr int f() { return n; }
  24   constexpr int g() { return n; }
  25 };
  26 template <typename T> constexpr int A<T>::n = sizeof(A) + sizeof(T);
  27 template <typename T> inline constexpr int A<T>::m = sizeof(A) + sizeof(T);
  28 static_assert(A<int>().f() == 5);
  29 static_assert(A<int>().g() == 5);