Viewing file:  Winfinite-recursion-2.C (1.9 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR middle-end/88232 - Please implement -Winfinite-recursion
Test case from PR 87742 (see PR 88232, comment 2.
{ dg-do compile { target c++11 } }
{ dg-options "-Wall -Winfinite-recursion" } */
namespace std
{
class type_info {
public:
void k() const;
};
} // namespace std
using std::type_info;
template <int a> struct f { static constexpr int c = a; };
struct h {
typedef int e;
};
template <unsigned long, typename...> struct m;
template <unsigned long ab, typename i, typename j, typename... ac>
struct m<ab, i, j, ac...> : m<ab + 1, i, ac...> {};
template <unsigned long ab, typename j, typename... ac>
struct m<ab, j, j, ac...> : f<ab> {};
template <unsigned long, typename...> struct n;
template <unsigned long ab, typename j, typename... ac>
struct n<ab, j, ac...> : n<ab - 1, ac...> {};
template <typename j, typename... ac> struct n<0, j, ac...> : h {};
template <typename... l> class F {
template <typename i> struct I : m<0, i, l...> {};
template <int ab> struct s : n<ab, l...> {};
static const type_info *const b[];
struct G {
template <typename ag>
operator ag() const // { dg-warning "-Winfinite-recursion" }
{
return *this;
}
};
unsigned o;
G ah;
public:
F();
long t() const { return o; }
const type_info &m_fn3() const { return *b[o]; }
template <int ab> typename s<ab>::e *m_fn4() const {
if (o != ab)
return nullptr;
return ah;
}
template <int ab> void m_fn5() const {
m_fn4<ab>();
const type_info &r = m_fn3();
r.k();
}
template <typename i> void u() const { m_fn5<I<i>::c>(); }
};
template <typename... l> const type_info *const F<l...>::b[] {&typeid(l)...};
using am = unsigned char;
class H {
enum bd : am { be = 2 };
using bf = F<int, int, H>;
bf ah;
template <typename bg> void v() const { ah.u<bg>(); }
void w() const;
};
void H::w() const {
bd d = bd(ah.t());
switch (d)
case be:
v<H>();
}
|
