blob: a468cc055ebf6343a713f450a1eb81e7c8356c7e [file] [log] [blame]
// PR c++/94038
// { dg-do compile { target c++11 } }
// { dg-additional-options "-O -Wall" }
static constexpr int x = 0;
template<typename T>
constexpr const int&
foo()
{
static_assert(T(1) == 0, "");
return x;
}
template<typename T>
constexpr const int&
bar()
{
return foo<T>();
}
constexpr int
baz(int a)
{
return a;
}
static_assert(decltype(baz(bar<int>())){} == 0, "");