From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 50806 invoked by alias); 23 Oct 2017 16:09:25 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 49563 invoked by uid 89); 23 Oct 2017 16:09:24 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-25.4 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_0,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,SPF_PASS autolearn=ham version=3.3.2 spammy=Hx-spam-relays-external:153.88.183.33, 3709, (unknown), H*RU:153.88.183.33 X-HELO: sesbmg22.ericsson.net Received: from sesbmg22.ericsson.net (HELO sesbmg22.ericsson.net) (193.180.251.48) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 23 Oct 2017 16:09:22 +0000 Received: from ESESSHC005.ericsson.se (Unknown_Domain [153.88.183.33]) by sesbmg22.ericsson.net (Symantec Mail Security) with SMTP id 4A.38.07039.F241EE95; Mon, 23 Oct 2017 18:09:19 +0200 (CEST) Received: from EUR01-VE1-obe.outbound.protection.outlook.com (153.88.183.145) by oa.msg.ericsson.com (153.88.183.33) with Microsoft SMTP Server (TLS) id 14.3.352.0; Mon, 23 Oct 2017 18:09:18 +0200 Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=simon.marchi@ericsson.com; Received: from [142.133.48.78] (192.75.88.130) by DBXPR07MB318.eurprd07.prod.outlook.com (2a01:111:e400:941d::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.156.3; Mon, 23 Oct 2017 16:09:16 +0000 Subject: Re: [PATCH] Fix faulty use of obstack_free() to *shrink* dont_print_statmem_obstack. Instead use obstack_blank_fast() with a "negative" size. A real stack data structured would be appropriate here. Added unit test gdb/testsuite/gdb.cp/printstaticrecursion.exp. To: Patrick Frants , References: <1508405381-16638-1-git-send-email-osscontribute@gmail.com> From: Simon Marchi Message-ID: Date: Mon, 23 Oct 2017 16:09:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: <1508405381-16638-1-git-send-email-osscontribute@gmail.com> Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit X-ClientProxiedBy: BN6PR08CA0081.namprd08.prod.outlook.com (2603:10b6:404:b6::19) To DBXPR07MB318.eurprd07.prod.outlook.com (2a01:111:e400:941d::12) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: b4c5dec4-0cf7-4758-3076-08d51a30694c X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(4534020)(4602075)(4627075)(201703031133081)(201702281549075)(2017052603199);SRVR:DBXPR07MB318; X-Microsoft-Exchange-Diagnostics: 1;DBXPR07MB318;3:Ud09cX2eHMLQhsgOiMmcLuue+vjgBkOpdshLAtcpw6BqqTA8BhFem9U1En+p2P2FKsNl26mParvAkxujVwL3w8jjeADzZl0cHqCYCPT8Ho9zb3atO6AZrMQVZJNGaFnHdTL33WHzOYUkEt5PcIcND+JvSjJQqWHKc9UB8NMC1un1fIxa/ZaGDlMTkpDSlwzx1xTkTCjAOCbv16y8AS4EiRwPLuZp0Y+QopdfEo5Yoqxn87SBO2GRT/g0hMThKK1g;25:wU7B2r26oNiDDFxm5Ev0xX974U4w9B3mZQoX+rW1X34OErYw+mfur8c/n6P5bzrrr7kcnw4r1o+NywR6sqYQZY9qzlBFx+arXRc+LcJmI1tnEOaYvFtgdJ7kkEsJNp4+hbl/CrnvKiWrgD5a8zEz7/CJsJF9Y5rc18aPrFRujUJ+xe2d0/zBDuLdr58OZwr6op0cFiCIz3TxXxTDW5CXJWDCyChHhuXb3m+Z/dGALzWDIusczAXJQnrhNgW8yWR5lMh2Mc0dX+bvHGlcYlQ0LaCCdTLxAoEZ/0t9KyB0LDS3oXoD0SJGa/NotwmUSqgDNWDLKCSQsNSIg748i5IEzA==;31:WEzVC/A2N724BpBo45+rRI+WJX+JWtwHjJzb1P9JZO4/JQhHXd9abG2oGHD3rOvgUyks4vXT7EcuHTr+B3Vk8bVKM0azYjR+cGkleAlGdmNbnDXa/kq9euQqJt6bEtxYpIg2v+k9PLdwWydOpxYRVKJIQTnfLfDTXXo/90Q3csn44jHSP692cTaNJOwHJhDYC2IReHvS3O8dX6VOtrhzQa/TLquaxwWLJyggUH5YW+s= X-MS-TrafficTypeDiagnostic: DBXPR07MB318: X-Microsoft-Exchange-Diagnostics: 1;DBXPR07MB318;20:jK0YDwGVMHa6TBpsSGieiST58jpscnvSKsZmLAfEMS4NX9/sYHbQ0CCKmYBMYh3b88PrwjW00e11jf+spTdeUEic8Qf6zFf51Ab9rI5otBoORMjKmGPRwZrghNZABbPPjNr68EciB5m450FRL70llkfuoOycROor6RaiL4FjMv1Z81QMhhLBoGdizOrHlypAi0nMpzbss4PYmYNgbX1BIqLm0xSIvkhO5l9lOGQD0U66TRuSswzriupC24F1hryMpOGorf4M89jgjXMWP3EAy0IJBQ0S7OiNQLWRa91iN1VKnUiBJkva+7aItxVQIiWKdN9ZDvuzKqI8/Et7QenIM/W+zw/zo/iaiU2elK5cSpMkkQ146IJvM/wA3EcUxxu64cfVsnBekEcQqrav1K86xmAz0JSjO0VXPTSkQMIYSjINq49OUMSL+tX+6xhpvlv1RZthR9EQvZ+NvrK1acvQvq3ZKXiU46WDa/83AElL7DyXKoTofPQMabnEvrKHrkGA;4:eBlMt9j+xV/tTatziSyvWjZozJgXVNk8BZuCBgo7n/2tncsOnzb7NTqRAx9KKfAQxXKggFvgENPOZvmhgiZ1IRQgb+UGNXuxHVm2aQDh7mLKfJ+GWIgqNuTKwMezwWRLNnBkEJ80MVpxtWtykwgJwitcwKjNiuWY2FMIZkBqVgzwbyCk1+g4j+S2l3LgZqpNoqB//O3JrS0UEZz4c9cbB6cpwn+daPRlHjYXPcVMKS+IXsQON5aRDyJLK4Z3qi6xnoyjK3OhHoQDW7I9QhsboSB6kjq/FsOgGSo4fDfdtHSxcAwb2oD8Rb27YRoA1xB61WjDIuMi6GUzZ/NyT1ikvA== X-Exchange-Antispam-Report-Test: UriScan:(250305191791016)(22074186197030); X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(100000700101)(100105000095)(100000701101)(100105300095)(100000702101)(100105100095)(6040450)(2401047)(8121501046)(5005006)(10201501046)(100000703101)(100105400095)(3002001)(3231020)(93006095)(93001095)(6041248)(20161123562025)(20161123564025)(20161123558100)(20161123560025)(20161123555025)(201703131423075)(201702281528075)(201703061421075)(201703061406153)(6072148)(201708071742011)(100000704101)(100105200095)(100000705101)(100105500095);SRVR:DBXPR07MB318;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:DBXPR07MB318; X-Forefront-PRVS: 046985391D X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10009020)(6009001)(6049001)(376002)(346002)(39860400002)(189002)(377424004)(24454002)(199003)(6306002)(6486002)(53546010)(229853002)(6116002)(47776003)(3846002)(6246003)(36756003)(230700001)(16526018)(2950100002)(39060400002)(4001150100001)(5660300001)(83506002)(97736004)(31686004)(68736007)(65826007)(478600001)(16576012)(189998001)(49976008)(81166006)(316002)(7736002)(101416001)(25786009)(33646002)(76176999)(50466002)(8936002)(81156014)(305945005)(8676002)(105586002)(106356001)(53936002)(65806001)(58126008)(54356999)(50986999)(6666003)(23676002)(65956001)(86362001)(66066001)(64126003)(2906002)(31696002)(78286006)(219693003)(2004002);DIR:OUT;SFP:1101;SCL:1;SRVR:DBXPR07MB318;H:[142.133.48.78];FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; Received-SPF: None (protection.outlook.com: ericsson.com does not designate permitted sender hosts) X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtEQlhQUjA3TUIzMTg7MjM6SkI4V1ZzejlncW1LQ1JQZXdWcHNYcUtJVmZL?= =?utf-8?B?bG52eGtrdGo1VlRsS29JTERoZThVempDS2gzajFRMzdiVklLTnR5bXk5U1dw?= =?utf-8?B?MmErZ1ZjSFRqcS9RRmJmQlJLZExjZlplU2pSN1VwZHNWMGJuQ0o0TlRScCtk?= =?utf-8?B?ek92WWx4VUF6SWFsS1lYOTZXT0Nxdi9oS3gxUDNtZlpwVHAwc2RPNnRDZU1D?= =?utf-8?B?blRrdjlsYUR6NnJKQ2gwUml5QVVmWHRsMEI3K3graE9WZDFtdCtTb3Fqam9t?= =?utf-8?B?ODhrSktPSDFxcG9DTWtUYVZNNXY5L1VIUzBvSGU1Tm1WVmlYNDl3cnFFSmw4?= =?utf-8?B?Y2t6ZW1RZW1GWWo3Ry9iTjhsb3krc0Y2U2FCTVJ4dThJRDNaRmhRQXR3ZVdh?= =?utf-8?B?MFBVaGFsT0w3dnZEOHVHcmR4Znd1c2pDbUNVSlhTckJYRVJNY0ptYkM5cVRL?= =?utf-8?B?MzVJTTZ0ZlZlYUEwYWJMSlg4VHI4aWRWdERBSjBnTGovdUd2QWRvUkpza0RV?= =?utf-8?B?eEV1K1Z0c09mVGUza1AraDVHOEQ4NjIwa1ZiTndmWFAvR2ZvTVJWNW91Z3RT?= =?utf-8?B?cE1WdkRyMUdEc2hIK0RrNFAxdkZLOGxVb1FjdFgzNVlPQzJnaEZMOWNJbElo?= =?utf-8?B?ZEJMbEZZTjFCMVh1QmYzd2Npbkk5WHNsUmtsZHJIbit4RzhaYlp1dmNxTC9x?= =?utf-8?B?czVXV2c0MHRWY0NRQlB1S08zR09WWitrWWRHM3ZvQ3dDdnFIa1lGMnY1ajB3?= =?utf-8?B?OUFtQjdSSkdZaGlJRmErbFJuWXJwcCt2dHEzajZGSmgxVEh1ck14dlFBc0Zv?= =?utf-8?B?bjA3MGxRKy9Gb2ljTVBFYTBjNGtzRWltY1o0b0hidWx3NkJiZ01LU3E2TFZ1?= =?utf-8?B?T0krUmlGSmdHUm9XUnU2TndrOGlBcjE1MXJoZWU5bzVLRjZobXc3T2k5dlJ1?= =?utf-8?B?Q2RzWHl3a2Jzd0VUSmNCbVIveitZSTl2N214T2l3SjJ1Mkw0d2lITHNERzlv?= =?utf-8?B?TG52ZFpFNDlzQ0xoMjlma3RicXpXeFhrSFZpQ1l0SjlGaU1KUVlXb3JvTW16?= =?utf-8?B?VXNOYy9mNjgweVkrVGtNOVgveTRzamVVUVBVcFhCOUZIVysvNnVOM1J2L0JC?= =?utf-8?B?YWJFWnEzdGdtSmdTYkZ3RzM5bWhTVWt6Z0JCU2czL1pFeXhYK0xPeFhMZ3Bo?= =?utf-8?B?WThJZkgxWWZTOEpOSEJmcFRLU2JpVTQwYXRKa2d6a21ZaXNYYjM0b3pTcU1z?= =?utf-8?B?ZVZDVjczVXR2cmFrTmZ4ZytEdSs4eVBndW9nMVdScm1FWFFCR0ZWK3ppaEZi?= =?utf-8?B?cjZZK0ZwdnRxV1gzSm5nYzQzakZuK1pnWGg3V1RRRkdRSjRmRHNoQ05ORVg2?= =?utf-8?B?c3RZL1hBM3M3Q0JVdWthcTNoMjJGT1hxb21uV05SYVdSSFRBd28vY2FxRlNj?= =?utf-8?B?UUlwNGtDZ3UwRVJoQWJsdWw1cVJqdWVjTDAzc3pNY2pHZ2xHMExhMHVZTE9D?= =?utf-8?B?dURIVGR6UlBJNEI4WGo5YmVSdjNXSEhXR3NiQU8yR2dScDAzS2l2dGxnazFI?= =?utf-8?B?TS8wc0p6NCtkTDRuS1JTT2dSUHFOc3lUZk1yMG9Ra0g4TXA2eU9tRkNjUEd2?= =?utf-8?B?Z3RudVFNUk91anU3S2IrV1RDU0FiU1luU0MxWHRsNE5lWnFqY1Jxcno0YWw2?= =?utf-8?B?S1l1UGdGNWhEem9VTU9sN3NQbXN0c2tXam1nNkVET0xacXU4Y1V2ZkZiYmFE?= =?utf-8?B?bTYzRmttaHJUZWhlVmgxRk5hNlN5cjM3Z09VcURDYk1jeWkrWDQ3UmoyZ1Fx?= =?utf-8?B?SHZpVVZvWWs4VHQzdE5CNE9FVEUvMTFsWTM4U0grcGhDMU9zYmhmaCt0ZUtl?= =?utf-8?B?TStMOVBxbDFZYTJXOURGdGZMSjVZdTJSWW9weDBBNDFHbk1PTENKcXFqbWF6?= =?utf-8?B?OFN4TjB5SkM3dXZHQUhGYS9kUE4vK0cvdW1qMFQzeW93REpmcEsrVTZ6RlhR?= =?utf-8?Q?sXypR?= X-Microsoft-Exchange-Diagnostics: 1;DBXPR07MB318;6:IV0I2j/RTpdkULa7bj1iDpEhKFUJE8ERJwJrAHjxXmVkkD+kJuE/7XLMVGIM3KtE3RVelHn2ttop7wB/VL9lfS+aFgZIMoAtKr1eq3+j53ql/Nb2Mi2KY+9OqAQ13wGhg0AHyGYlPJrCbH6wmVin3XbChkz6EQXEr/BRLqkQJDYzZqgAAYdnA4gL8jTmJJxYc6oLpK/TC8VcsBaaKcFw8XOnU/knxZ8iNu58Tf54ihAXPikzYsoyj+LMp6dbIbYDsFzvQL5mfCzq2ZVdJwxjSBsmT3xXEvORjGIEhS9t5dfcihwYrCMc0vJtBQTlAz/KFTZtTIHtSN2XfzweHU7zhg==;5:zaNMVHCU84bXzP7ba7mVjVF/UIVltpLBSHvskx1U8/rhiyFErZbiex2DN2fj6BEWoy3Upw6EV48lI2Y1m+PUaZydgnbMW/dT/+CdMTRPaJThcpP8GSKNeGRDi8W7fJGGFyPRZZxINxz01B9ijS4G8Q==;24:8HgMfxDCJ8ZKs1yzZqFTRJeMKnmFwXtasmoWSqUzJGFht7b3LfLUPbCBWcdPalLhahQUAYu8CwTTUrKR1+QZkFNXiqtj5fvIeR65btJyF7U=;7:lhL7ZpqvKTMQF8ljWqNqVZRgnFN0+/eKCOX4mj2dC59CzQkUNqFaF9xr3moY2vejRaWFHBmNABEK13B9lOmn5cq+IWm2MVwTqB/glh+qYfPP5biu7U5QI3ArjV+GoW+hhTydWRnm7n/Wf1pWVXtP1jPYxuBMPi4ISEP3Soufi98Io0neYSNK+QgHWte0BnvB6QBElbEKUlVyjqLaAdkrGUYuuznISqw+XoXY74SMeSk= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Oct 2017 16:09:16.4833 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: b4c5dec4-0cf7-4758-3076-08d51a30694c X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 92e84ceb-fbfd-47ab-be52-080c6b87953f X-MS-Exchange-Transport-CrossTenantHeadersStamped: DBXPR07MB318 X-OriginatorOrg: ericsson.com X-IsSubscribed: yes X-SW-Source: 2017-10/txt/msg00724.txt.bz2 Hi Patrick, When creating your commit, please make sure you put the subject (something short but descriptive) on the first line and follow with an empty line. git-send-email will use that as the subject of the email. On 2017-10-19 05:29 AM, Patrick Frants wrote: > Recursion detection for static members was not working because when popping addresses of the stack, the stack was unintentionally cleared, leaving the stack empty. This was caused by a call to obstack_next_free(), which frees the current object. I am not very familiar with how obstacks work, but I don't understand what you mean. How does calling obstack_next_free frees the current object, since it only does this: /* Pointer to next byte not yet allocated in current chunk. */ #define obstack_next_free(h) ((h)->next_free) >From what I read about obstack_free, it sounds like the current code is doing the same thing as the code in this patch. It computes how far to go back and then frees everything past that. That should effectively reset obstack->next_free to its original position at function entry. Where is it going wrong? > The fix uses obstack_blank_fast with a negative size to shrink the current object with the desired amount. > A unit test (gdb.cp/printstaticrecursion.exp) was added. No new regression has been observed in testsuite/gdb.cp/*.exp. There is already a test for "same as static member of an already seen type" in gdb.cp/classes.exp. Could you check why it doesn't catch this bug? Could you also check if it would be feasible/easy to improve that test, instead of creating a new test file? > --- > gdb/cp-valprint.c | 11 +++----- > gdb/testsuite/gdb.cp/printstaticrecursion.cc | 21 +++++++++++++++ > gdb/testsuite/gdb.cp/printstaticrecursion.exp | 39 +++++++++++++++++++++++++++ > 3 files changed, 63 insertions(+), 8 deletions(-) > create mode 100644 gdb/testsuite/gdb.cp/printstaticrecursion.cc > create mode 100644 gdb/testsuite/gdb.cp/printstaticrecursion.exp > > diff --git a/gdb/cp-valprint.c b/gdb/cp-valprint.c > index fb9bfd9..8f9658d 100644 > --- a/gdb/cp-valprint.c > +++ b/gdb/cp-valprint.c > @@ -370,14 +370,9 @@ cp_print_value_fields (struct type *type, struct type *real_type, > > if (obstack_final_size > statmem_obstack_initial_size) > { > - /* In effect, a pop of the printed-statics stack. */ > - > - void *free_to_ptr = > - (char *) obstack_next_free (&dont_print_statmem_obstack) - > - (obstack_final_size - statmem_obstack_initial_size); > - > - obstack_free (&dont_print_statmem_obstack, > - free_to_ptr); > + /* In effect, a pop of the printed-statics stack. */ > + size_t shrink_bytes = statmem_obstack_initial_size - obstack_final_size; > + obstack_blank_fast(&dont_print_statmem_obstack, shrink_bytes); The indentation should be 1 tab + 6 spaces. > } > > if (last_set_recurse != recurse) The code below that (which seems to be handling a similar situation, but for arrays) uses obstack_next_free as well. Is there the same problem there? > diff --git a/gdb/testsuite/gdb.cp/printstaticrecursion.cc b/gdb/testsuite/gdb.cp/printstaticrecursion.cc > new file mode 100644 > index 0000000..616c00d > --- /dev/null > +++ b/gdb/testsuite/gdb.cp/printstaticrecursion.cc > @@ -0,0 +1,21 @@ > +#include You can remove this include. > + > +struct Inner > +{ > + static Inner instance; In the test.c file, please use standard GNU code style/indentation (2 columns) (unless the purpose of the test is related to how the code is formatted). > +}; > + > + > +struct Outer > +{ > + Inner inner; > + static Outer instance; > +}; > + > +Inner Inner::instance; > +Outer Outer::instance; > + > +int main() > +{ > + return 0; /* break-here */ > +} > \ No newline at end of file > diff --git a/gdb/testsuite/gdb.cp/printstaticrecursion.exp b/gdb/testsuite/gdb.cp/printstaticrecursion.exp > new file mode 100644 > index 0000000..1407c12 > --- /dev/null > +++ b/gdb/testsuite/gdb.cp/printstaticrecursion.exp > @@ -0,0 +1,39 @@ > +# Copyright 2008-2017 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 printstaticrecursion.cc > + > +# Create and source the file that provides information about the compiler > +# used to compile the test case. > +if [get_compiler_info "c++"] { > + untested "couldn't find a valid c++ compiler" > + return -1 > +} > + > +if {[prepare_for_testing "failed to prepare" $testfile $srcfile {debug c++}]} { > + return -1 > +} > + > +if ![runto_main] then { > + perror "couldn't run to main" > + continue > +} > + > +gdb_test "print Outer::instance" "{inner = {static instance = {static instance = }}, static instance = {inner = {static instance = {static instance = }}, static instance = }}" "Print recursive static member" The test name should begin with a lowercase letter, "print recursive static member". > +gdb_exit > +return 0 > You don't need gdb_exit / return 0 at the end. Thanks! Simon