constexpr-instantiate.cpp revision 57b9c4e9d85971e20ab0dac3eadabae672c43c62 
1// RUN: %clang_cc1 -std=c++11 -verify %s
2
3namespace UseBeforeDefinition {
4  struct A {
5    template<typename T> static constexpr T get() { return T(); }
6    // ok, not a constant expression.
7    int n = get<int>();
8  };
9
10  // ok, constant expression.
11  constexpr int j = A::get<int>();
12
13  template<typename T> constexpr int consume(T);
14  // ok, not a constant expression.
15  const int k = consume(0); // expected-note {{here}}
16
17  template<typename T> constexpr int consume(T) { return 0; }
18  // ok, constant expression.
19  constexpr int l = consume(0);
20
21  constexpr int m = k; // expected-error {{constant expression}} expected-note {{initializer of 'k'}}
22}
23
24namespace IntegralConst {
25  template<typename T> constexpr T f(T n) { return n; }
26  enum E {
27    v = f(0), w = f(1) // ok
28  };
29  static_assert(w == 1, "");
30
31  char arr[f('x')]; // ok
32  static_assert(sizeof(arr) == 'x', "");
33}
34
35namespace ConvertedConst {
36  template<typename T> constexpr T f(T n) { return n; }
37  int f() {
38    switch (f()) {
39      case f(4): return 0;
40    }
41    return 1;
42  }
43}
44
45namespace OverloadResolution {
46  template<typename T> constexpr T f(T t) { return t; }
47
48  template<int n> struct S { };
49
50  template<typename T> auto g(T t) -> S<f(sizeof(T))> &;
51  char &f(...);
52
53  template<typename T> auto h(T t[f(sizeof(T))]) -> decltype(&*t) {
54    return t;
55  }
56
57  S<4> &k = g(0);
58  int *p, *q = h(p);
59}
60