From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22836 invoked by alias); 17 Mar 2009 20:06:56 -0000 Received: (qmail 22828 invoked by uid 22791); 17 Mar 2009 20:06:55 -0000 X-SWARE-Spam-Status: No, hits=-2.3 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS,SPF_PASS X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (66.187.233.31) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 17 Mar 2009 20:06:51 +0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.13.8/8.13.8) with ESMTP id n2HK6STU004547; Tue, 17 Mar 2009 16:06:28 -0400 Received: from opsy.redhat.com (vpn-14-28.rdu.redhat.com [10.11.14.28]) by int-mx1.corp.redhat.com (8.13.1/8.13.1) with ESMTP id n2HK6S3b022991; Tue, 17 Mar 2009 16:06:28 -0400 Received: by opsy.redhat.com (Postfix, from userid 500) id B0CCF508085; Tue, 17 Mar 2009 14:06:25 -0600 (MDT) To: Joel Brobecker Cc: gdb-patches@sourceware.org Subject: Re: [commit/Ada] Use our builtin type when evaluating conditional expressions References: <20090313012134.GA11284@adacore.com> From: Tom Tromey Reply-To: tromey@redhat.com Date: Tue, 17 Mar 2009 20:12:00 -0000 In-Reply-To: <20090313012134.GA11284@adacore.com> (Joel Brobecker's message of "Thu\, 12 Mar 2009 18\:21\:34 -0700") Message-ID: User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii 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 X-SW-Source: 2009-03/txt/msg00329.txt.bz2 >>>>> "Joel" == Joel Brobecker writes: Joel> (gdb) p null /= null Jerome> The problem comes from the fact that GDB casts "null /= null" Jerome> into the language boolean type (i.e. "standard.boolean"). And Jerome> it lookups the boolean type into the debug info of the Jerome> application. As type boolean is defined in every compilation Jerome> unit, every psymtabs matchs; as a consequence, all the Jerome> corresponding symtabs are built. This roughly means that the Jerome> debugger loads every symbols when evaluating a conditional Jerome> expression. I'm curious whether this will be a problem for any language defining bool_type_symbol. If so, perhaps a language-neutral fix could be found. If not, what is it that makes this specific to Ada? Tom