From: Weimin Pan Date: Wed, 28 Mar 2018 19:23:48 +0000 (-0600) Subject: Fix infinite recursion when printing static member with typedef X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=79f18731714e7f07af6e78b8da8a1ffacf4247b7;p=binutils-gdb.git Fix infinite recursion when printing static member with typedef The original problem was fixed (see related PR 22242). But using a typedef as the declared type for a static member variable, as commented in this PR, is still causing gdb to get into infinite loop when printing the static member's value. This problem can be reproduced as follows: % cat t.cc class A { typedef A type; public: bool operator==(const type& other) { return true; } static const type INSTANCE; }; const A A::INSTANCE; int main() { A a; if (a == A::INSTANCE) { return -1; } return 0; } % g++ -g t.cc % gdb -ex "start" -ex "p a" a.out The fix is rather trivial - in cp_print_static_field(), should call check_typedef() to get the static member's real type and use it to check whether it's a struct or an array. As Simon suggested, I've added a new test case to the testsuite and am passing the original type, not the real type, as argument to both cp_print_value_fields() and val_print(). Re-tested on both aarch64-linux-gnu and amd64-linux-gnu. No regressions. --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 0a0eabbb2d7..9ad04f28d7e 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +2018-03-30 Weimin Pan + + PR gdb/16959 + * cp-valprint.c: (cp_print_static_field) Fix infinite recursion when + printing static type. + 2018-04-01 Tom Tromey * rs6000-nat.c (rs6000_ptrace_ldinfo): Return a byte_vector. @@ -7,6 +13,13 @@ * common/gdb_vecs.h (char_ptr): Remove. * tracepoint.c (encode_actions_1): Remove usage of char_ptr. +======= +2018-03-30 Weimin Pan + + PR gdb/16959 + * cp-valprint.c: (cp_print_static_field) Fix infinite recursion when + printing static type. +>>>>>>> Fix infinite recursion when printing static member with typedef 2018-03-30 Simon Marchi @@ -2079,6 +2092,13 @@ * rs6000-tdep.c (ppc_insns_match_pattern): Make pattern const. Correct insns description. * ppc-tdep.h (ppc_insns_match_pattern): Update prototype. +======= +2018-02-07 Weimin Pan + + PR gdb/16959 + * cp-valprint.c: (cp_print_static_field) Fix infinite recursion when + printing static type. +>>>>>>> Fix infinite recursion when printing static member with typedef 2018-01-24 Pedro Alves diff --git a/gdb/cp-valprint.c b/gdb/cp-valprint.c index 486653f13ff..e019a60791e 100644 --- a/gdb/cp-valprint.c +++ b/gdb/cp-valprint.c @@ -633,7 +633,8 @@ cp_print_static_field (struct type *type, return; } - if (TYPE_CODE (type) == TYPE_CODE_STRUCT) + struct type *real_type = check_typedef (type); + if (TYPE_CODE (real_type) == TYPE_CODE_STRUCT) { CORE_ADDR *first_dont_print; CORE_ADDR addr; @@ -658,7 +659,6 @@ cp_print_static_field (struct type *type, addr = value_address (val); obstack_grow (&dont_print_statmem_obstack, (char *) &addr, sizeof (CORE_ADDR)); - type = check_typedef (type); cp_print_value_fields (type, value_enclosing_type (val), value_embedded_offset (val), addr, stream, recurse, val, @@ -666,7 +666,7 @@ cp_print_static_field (struct type *type, return; } - if (TYPE_CODE (type) == TYPE_CODE_ARRAY) + if (TYPE_CODE (real_type) == TYPE_CODE_ARRAY) { struct type **first_dont_print; int i; diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 806744dd45b..5b287ed21a5 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-03-30 Weimin Pan + + * gdb.cp/static-typedef-print.exp: New file. + * gdb.cp/static-typedef-print.cc: New file. + 2018-03-27 Joel Brobecker * gdb.ada/varsize_limit: New testcase. @@ -298,6 +303,12 @@ on break.c:47 was actually inserted when debugging the version compiled at -O2 and use it in the expected output of the "info break" test performed soon after. +======= +2018-03-20 Weimin Pan + + * gdb.cp/static-typedef-print.exp: New file. + * gdb.cp/static-typedef-print.cc: New file. +>>>>>>> Fix infinite recursion when printing static member with typedef 2018-01-22 Pedro Alves Sergio Durigan Junior diff --git a/gdb/testsuite/gdb.cp/static-typedef-print.cc b/gdb/testsuite/gdb.cp/static-typedef-print.cc new file mode 100644 index 00000000000..5faff3e37a9 --- /dev/null +++ b/gdb/testsuite/gdb.cp/static-typedef-print.cc @@ -0,0 +1,34 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2018 Free Software Foundation, Inc. + + This program 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 of the License, or + (at your option) any later version. + + This program 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 program. If not, see . */ + +class A { + typedef A type; +public: + bool operator==(const type& other) { return true; } + + static const type INSTANCE; +}; + +const A A::INSTANCE = {}; + +int main() { + A a; + if (a == A::INSTANCE) { + return -1; + } + return 0; +} diff --git a/gdb/testsuite/gdb.cp/static-typedef-print.exp b/gdb/testsuite/gdb.cp/static-typedef-print.exp new file mode 100644 index 00000000000..ff6756e4bb6 --- /dev/null +++ b/gdb/testsuite/gdb.cp/static-typedef-print.exp @@ -0,0 +1,37 @@ +# Copyright 2018 Free Software Foundation, Inc. + +# This program 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 of the License, or +# (at your option) any later version. +# +# This program 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 program. If not, see . + +if { [skip_cplus_tests] } { continue } + +standard_testfile .cc + +if [get_compiler_info "c++"] { + return -1 +} + +if {[prepare_for_testing "failed to prepare" $testfile $srcfile {debug c++}]} { + return -1 +} + +clean_restart $testfile + +if ![runto_main] { + untested "could not run to main" + return -1 +} + +gdb_test "print a" \ + "static INSTANCE = }}.*" \ + "print static member"