From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from alt-proxy28.mail.unifiedlayer.com (alt-proxy28.mail.unifiedlayer.com [74.220.216.123]) by sourceware.org (Postfix) with ESMTPS id BDC06385417B for ; Fri, 21 Oct 2022 15:36:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org BDC06385417B Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=tromey.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tromey.com Received: from cmgw13.mail.unifiedlayer.com (unknown [10.0.90.128]) by progateway1.mail.pro1.eigbox.com (Postfix) with ESMTP id C8177100403E1 for ; Fri, 21 Oct 2022 15:35:56 +0000 (UTC) Received: from box5379.bluehost.com ([162.241.216.53]) by cmsmtp with ESMTP id lu3wo9ncYMFuLlu3woVcux; Fri, 21 Oct 2022 15:35:56 +0000 X-Authority-Reason: nr=8 X-Authority-Analysis: v=2.4 cv=F9ySyotN c=1 sm=1 tr=0 ts=6352bc5c a=ApxJNpeYhEAb1aAlGBBbmA==:117 a=ApxJNpeYhEAb1aAlGBBbmA==:17 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19 a=Qawa6l4ZSaYA:10:nop_rcvd_month_year a=Qbun_eYptAEA:10:endurance_base64_authed_username_1 a=CCpqsmhAAAAA:8 a=5B5xCCqnVwXjG-jwE0sA:9 a=ul9cdbp4aOFLsgKbc677:22 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tromey.com; s=default; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References :Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=wwpedMw19fuaS4VtVP+gmKGTRaODJW4eZAAvHUy6dis=; b=MTJ4mBnkm92ZU5Qb/CHr4U3o7d 8JH5/aLP1KEKkgg/G6AIfNlkcYye7yLr80Z1jGKtDdzcIPN14bUpub+F1xJ6mfwyW6+KeetBgs2Oz rgZzN58xiJOaLVbhuv/TRQHYi; Received: from 97-122-76-186.hlrn.qwest.net ([97.122.76.186]:56740 helo=murgatroyd) by box5379.bluehost.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1olu3v-0022xB-Ja; Fri, 21 Oct 2022 09:35:55 -0600 From: Tom Tromey To: Simon Marchi via Gdb-patches Subject: Re: [PATCH 1/2] gdb: check for empty offsets vector in inherit_abstract_dies References: <20221021132104.1772565-1-simon.marchi@polymtl.ca> X-Attribution: Tom Date: Fri, 21 Oct 2022 09:35:53 -0600 In-Reply-To: <20221021132104.1772565-1-simon.marchi@polymtl.ca> (Simon Marchi via Gdb-patches's message of "Fri, 21 Oct 2022 09:21:03 -0400") Message-ID: <87czalchpi.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - box5379.bluehost.com X-AntiAbuse: Original Domain - sourceware.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - tromey.com X-BWhitelist: no X-Source-IP: 97.122.76.186 X-Source-L: No X-Exim-ID: 1olu3v-0022xB-Ja X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 97-122-76-186.hlrn.qwest.net (murgatroyd) [97.122.76.186]:56740 X-Source-Auth: tom+tromey.com X-Email-Count: 10 X-Source-Cap: ZWx5bnJvYmk7ZWx5bnJvYmk7Ym94NTM3OS5ibHVlaG9zdC5jb20= X-Local-Domain: yes X-Spam-Status: No, score=-3022.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, JMQ_SPF_NEUTRAL, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 21 Oct 2022 15:38:09 -0000 >>>>> "Simon" == Simon Marchi via Gdb-patches writes: Simon> + if (!offsets.empty ()) Simon> + { Simon> + std::sort (offsets.begin (), offsets.end ()); Simon> + sect_offset *offsets_end = offsets.data () + offsets.size (); Simon> + for (sect_offset *offsetp = offsets.data () + 1; Simon> + offsetp < offsets_end; Simon> + offsetp++) Simon> + if (offsetp[-1] == *offsetp) Simon> + complaint (_("Multiple children of DIE %s refer " Simon> + "to DIE %s as their abstract origin"), Simon> + sect_offset_str (die->sect_off), Simon> + sect_offset_str (*offsetp)); Simon> + } Simon> sect_offset *offsetp = offsets.data (); Simon> + sect_offset *offsets_end = offsets.data () + offsets.size (); Simon> die_info *origin_child_die = origin_die->child; Simon> while (origin_child_die != nullptr && origin_child_die->tag != 0) Simon> { This subsequent loop does stuff like: while (offsetp < offsets_end && *offsetp < origin_child_die->sect_off) offsetp++; which in this scenario would be comparing null pointers using "<"? I'm guessing this whole loop should be hoisted into the 'if'. Tom From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from alt-proxy28.mail.unifiedlayer.com (alt-proxy28.mail.unifiedlayer.com [74.220.216.123]) by sourceware.org (Postfix) with ESMTPS id BDC06385417B for ; Fri, 21 Oct 2022 15:36:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org BDC06385417B Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=tromey.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tromey.com Received: from cmgw13.mail.unifiedlayer.com (unknown [10.0.90.128]) by progateway1.mail.pro1.eigbox.com (Postfix) with ESMTP id C8177100403E1 for ; Fri, 21 Oct 2022 15:35:56 +0000 (UTC) Received: from box5379.bluehost.com ([162.241.216.53]) by cmsmtp with ESMTP id lu3wo9ncYMFuLlu3woVcux; Fri, 21 Oct 2022 15:35:56 +0000 X-Authority-Reason: nr=8 X-Authority-Analysis: v=2.4 cv=F9ySyotN c=1 sm=1 tr=0 ts=6352bc5c a=ApxJNpeYhEAb1aAlGBBbmA==:117 a=ApxJNpeYhEAb1aAlGBBbmA==:17 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19 a=Qawa6l4ZSaYA:10:nop_rcvd_month_year a=Qbun_eYptAEA:10:endurance_base64_authed_username_1 a=CCpqsmhAAAAA:8 a=5B5xCCqnVwXjG-jwE0sA:9 a=ul9cdbp4aOFLsgKbc677:22 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tromey.com; s=default; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References :Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=wwpedMw19fuaS4VtVP+gmKGTRaODJW4eZAAvHUy6dis=; b=MTJ4mBnkm92ZU5Qb/CHr4U3o7d 8JH5/aLP1KEKkgg/G6AIfNlkcYye7yLr80Z1jGKtDdzcIPN14bUpub+F1xJ6mfwyW6+KeetBgs2Oz rgZzN58xiJOaLVbhuv/TRQHYi; Received: from 97-122-76-186.hlrn.qwest.net ([97.122.76.186]:56740 helo=murgatroyd) by box5379.bluehost.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1olu3v-0022xB-Ja; Fri, 21 Oct 2022 09:35:55 -0600 From: Tom Tromey To: Simon Marchi via Gdb-patches Cc: Simon Marchi Subject: Re: [PATCH 1/2] gdb: check for empty offsets vector in inherit_abstract_dies References: <20221021132104.1772565-1-simon.marchi@polymtl.ca> X-Attribution: Tom Date: Fri, 21 Oct 2022 09:35:53 -0600 In-Reply-To: <20221021132104.1772565-1-simon.marchi@polymtl.ca> (Simon Marchi via Gdb-patches's message of "Fri, 21 Oct 2022 09:21:03 -0400") Message-ID: <87czalchpi.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - box5379.bluehost.com X-AntiAbuse: Original Domain - sourceware.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - tromey.com X-BWhitelist: no X-Source-IP: 97.122.76.186 X-Source-L: No X-Exim-ID: 1olu3v-0022xB-Ja X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 97-122-76-186.hlrn.qwest.net (murgatroyd) [97.122.76.186]:56740 X-Source-Auth: tom+tromey.com X-Email-Count: 10 X-Source-Cap: ZWx5bnJvYmk7ZWx5bnJvYmk7Ym94NTM3OS5ibHVlaG9zdC5jb20= X-Local-Domain: yes X-Spam-Status: No, score=-3022.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,JMQ_SPF_NEUTRAL,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Message-ID: <20221021153553.LRleca8LaHz5VzzcSnui4VzMQpncN_C5oxm0Mqj002A@z> >>>>> "Simon" == Simon Marchi via Gdb-patches writes: Simon> + if (!offsets.empty ()) Simon> + { Simon> + std::sort (offsets.begin (), offsets.end ()); Simon> + sect_offset *offsets_end = offsets.data () + offsets.size (); Simon> + for (sect_offset *offsetp = offsets.data () + 1; Simon> + offsetp < offsets_end; Simon> + offsetp++) Simon> + if (offsetp[-1] == *offsetp) Simon> + complaint (_("Multiple children of DIE %s refer " Simon> + "to DIE %s as their abstract origin"), Simon> + sect_offset_str (die->sect_off), Simon> + sect_offset_str (*offsetp)); Simon> + } Simon> sect_offset *offsetp = offsets.data (); Simon> + sect_offset *offsets_end = offsets.data () + offsets.size (); Simon> die_info *origin_child_die = origin_die->child; Simon> while (origin_child_die != nullptr && origin_child_die->tag != 0) Simon> { This subsequent loop does stuff like: while (offsetp < offsets_end && *offsetp < origin_child_die->sect_off) offsetp++; which in this scenario would be comparing null pointers using "<"? I'm guessing this whole loop should be hoisted into the 'if'. Tom