[gcc.git] / gcc / testsuite / g++.dg / cpp0x / constexpr-52892-1.C

// PR c++/52892
// { dg-do compile { target c++11 } }

constexpr __SIZE_TYPE__ fibonacci(__SIZE_TYPE__ val) {
  return (val <= 2) ? 1 : fibonacci(val - 1) + fibonacci(val - 2);
}

template <typename Function>
struct Defer {
  constexpr Defer(const Function func_) : func(func_) { }

  const Function func;

  template <typename... Args>
  constexpr auto operator () (const Args&... args) -> decltype(func(args...)) {
    return func(args...);
  }
};

template <typename Function>
constexpr Defer<Function> make_deferred(const Function f) {
  return Defer<Function>(f);
}

int main() {
  constexpr auto deferred = make_deferred(&fibonacci);
  static_assert(deferred(25) == 75025, "Static fibonacci call failed"); // { dg-error "no match for call" "" { target c++14 } }
}
Commit	Line	Data
d7afa673 PC	1	// PR c++/52892
	2	// { dg-do compile { target c++11 } }
	3
	4	constexpr __SIZE_TYPE__ fibonacci(__SIZE_TYPE__ val) {
	5	return (val <= 2) ? 1 : fibonacci(val - 1) + fibonacci(val - 2);
	6	}
	7
	8	template <typename Function>
	9	struct Defer {
	10	constexpr Defer(const Function func_) : func(func_) { }
	11
	12	const Function func;
	13
	14	template <typename... Args>
	15	constexpr auto operator () (const Args&... args) -> decltype(func(args...)) {
	16	return func(args...);
	17	}
	18	};
	19
	20	template <typename Function>
	21	constexpr Defer<Function> make_deferred(const Function f) {
	22	return Defer<Function>(f);
	23	}
	24
	25	int main() {
	26	constexpr auto deferred = make_deferred(&fibonacci);
d0ff1cb4	27	static_assert(deferred(25) == 75025, "Static fibonacci call failed"); // { dg-error "no match for call" "" { target c++14 } }
d7afa673	28	}