From f221dc810d12ca6005ecee515f786eef31f81960 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Thu, 30 Jan 2014 22:47:22 -0500 Subject: [PATCH] re PR c++/57899 (bind/function with data member: infinite recursion) PR c++/57899 * cp-tree.h (struct saved_scope): Add x_local_specializations. (local_specializations): New macro. * pt.c (local_specializations): Remove variable. From-SVN: r207332 --- gcc/cp/ChangeLog | 7 ++++ gcc/cp/cp-tree.h | 8 +++++ gcc/cp/pt.c | 5 --- libstdc++-v3/testsuite/20_util/bind/57899.cc | 48 ++++++++++++++++++++++++++++ 4 files changed, 63 insertions(+), 5 deletions(-) create mode 100644 libstdc++-v3/testsuite/20_util/bind/57899.cc diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 625a880..223e1f3 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2014-01-30 Jason Merrill + + PR c++/57899 + * cp-tree.h (struct saved_scope): Add x_local_specializations. + (local_specializations): New macro. + * pt.c (local_specializations): Remove variable. + 2014-01-30 Richard Sandiford PR c++/58708 diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h index 7f46499..7681b27 100644 --- a/gcc/cp/cp-tree.h +++ b/gcc/cp/cp-tree.h @@ -1049,6 +1049,8 @@ struct GTY(()) saved_scope { cp_binding_level *class_bindings; cp_binding_level *bindings; + struct pointer_map_t *x_local_specializations; + struct saved_scope *prev; }; @@ -1098,6 +1100,12 @@ struct GTY(()) saved_scope { #define previous_class_level scope_chain->x_previous_class_level +/* A map from local variable declarations in the body of the template + presently being instantiated to the corresponding instantiated + local variables. */ + +#define local_specializations scope_chain->x_local_specializations + /* A list of private types mentioned, for deferred access checking. */ extern GTY(()) struct saved_scope *scope_chain; diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 4a5b6cc..981e2e0 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -78,11 +78,6 @@ static GTY(()) tree saved_access_scope; to the EXPR_STMT that is its result. */ static tree cur_stmt_expr; -/* A map from local variable declarations in the body of the template - presently being instantiated to the corresponding instantiated - local variables. */ -static struct pointer_map_t *local_specializations; - /* True if we've recursed into fn_type_unification too many times. */ static bool excessive_deduction_depth; diff --git a/libstdc++-v3/testsuite/20_util/bind/57899.cc b/libstdc++-v3/testsuite/20_util/bind/57899.cc new file mode 100644 index 0000000..d46d53e --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/bind/57899.cc @@ -0,0 +1,48 @@ +// Copyright (C) 2010-2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +// 20.7.11 Function template bind + +// PR c++/57899 +// { dg-do compile } +// { dg-options -std=c++11 } + +#include +using std::bind; +using std::placeholders::_1; + +struct S { int i; }; + +struct P { S s; }; + +struct get_s +{ + const S& operator()(const P& p) const { return p.s; } +} gs; + +int gi(const S& s) { return s.i; } + +bool cmp(int, int) { return true; } + +int main() +{ + P p{}; + auto f1 = bind(gs, _1); + auto f2 = bind(gi, f1); + auto f3 = bind(cmp, f2, 5); + f3(p); +} -- 2.7.4