From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8019 invoked by alias); 8 Nov 2007 05:14:24 -0000 Received: (qmail 7996 invoked by uid 22791); 8 Nov 2007 05:14:22 -0000 X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (66.187.233.31) by sourceware.org (qpsmtpd/0.31) with ESMTP; Thu, 08 Nov 2007 05:14:20 +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.1) with ESMTP id lA85CHMu031769; Thu, 8 Nov 2007 00:12:17 -0500 Received: from pobox.corp.redhat.com (pobox.corp.redhat.com [10.11.255.20]) by int-mx1.corp.redhat.com (8.13.1/8.13.1) with ESMTP id lA85CGnA031936; Thu, 8 Nov 2007 00:12:16 -0500 Received: from free.oliva.athome.lsd.ic.unicamp.br (vpn-14-51.rdu.redhat.com [10.11.14.51]) by pobox.corp.redhat.com (8.13.1/8.13.1) with ESMTP id lA85CFCx008395; Thu, 8 Nov 2007 00:12:16 -0500 Received: from free.oliva.athome.lsd.ic.unicamp.br (localhost.localdomain [127.0.0.1]) by free.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1) with ESMTP id lA85CEFx022438; Thu, 8 Nov 2007 03:12:14 -0200 Received: (from aoliva@localhost) by free.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1/Submit) id lA85CErU022437; Thu, 8 Nov 2007 03:12:14 -0200 To: Mark Mitchell Cc: David Edelsohn , Ian Lance Taylor , Richard Guenther , gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org Subject: Re: Designs for better debug info in GCC References: <84fc9c000711050327x74845c78ya18a3329fcf9e4d2@mail.gmail.com> <4732519C.6070802@codesourcery.com> <200711080014.lA80EEiA028452@makai.watson.ibm.com> <473259AA.1070400@codesourcery.com> From: Alexandre Oliva Errors-To: aoliva@oliva.athome.lsd.ic.unicamp.br Date: Thu, 08 Nov 2007 05:15:00 -0000 In-Reply-To: <473259AA.1070400@codesourcery.com> (Mark Mitchell's message of "Wed\, 07 Nov 2007 16\:34\:50 -0800") Message-ID: User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2007-11/txt/msg00228.txt.bz2 On Nov 7, 2007, Mark Mitchell wrote: > First and foremost, I want to know what, concretely, Alexandre is > trying to achieve, beyond "better debugging info for optimized > code". I'm not really going for "better". I'm going for "correct" first, while making room for "better", and hopefully already getting better, in the process. -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ FSF Latin America Board Member http://www.fsfla.org/ Red Hat Compiler Engineer aoliva@{redhat.com, gcc.gnu.org} Free Software Evangelist oliva@{lsd.ic.unicamp.br, gnu.org} From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 472 invoked by alias); 8 Nov 2007 18:00:39 -0000 Received: (qmail 321 invoked by uid 22791); 8 Nov 2007 18:00:37 -0000 X-Spam-Check-By: sourceware.org Received: from lsd-gw.ic.unicamp.br (HELO marquesa.lsd.ic.unicamp.br) (143.106.7.165) by sourceware.org (qpsmtpd/0.31) with ESMTP; Thu, 08 Nov 2007 18:00:10 +0000 Received: from freie.oliva.athome.lsd.ic.unicamp.br (gw-to-emilia.oliva.athome.lsd.ic.unicamp.br [172.31.160.17] (may be forged)) by marquesa.lsd.ic.unicamp.br (8.14.1/8.14.1) with ESMTP id lA8HxnSk008719; Thu, 8 Nov 2007 15:59:49 -0200 Received: from free.oliva.athome.lsd.ic.unicamp.br (free.oliva.athome.lsd.ic.unicamp.br [172.31.160.1]) by freie.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1) with ESMTP id lA8HxnDp022433; Thu, 8 Nov 2007 15:59:49 -0200 Received: from free.oliva.athome.lsd.ic.unicamp.br (localhost.localdomain [127.0.0.1]) by free.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1) with ESMTP id lA8HxmxJ002928; Thu, 8 Nov 2007 15:59:48 -0200 Received: (from aoliva@localhost) by free.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1/Submit) id lA8HxmFl002927; Thu, 8 Nov 2007 15:59:48 -0200 Resent-To: Mark Mitchell , David Edelsohn , Ian Lance Taylor , Richard Guenther , gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org Resent-From: Alexandre Oliva Resent-Date: Thu, 08 Nov 2007 15:59:48 -0200 Resent-Message-ID: Received: from free (localhost.localdomain [127.0.0.1]) by free.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1) with ESMTP id lA85s23X018629 for ; Thu, 8 Nov 2007 03:54:28 -0200 Received: from gmail-pop.l.google.com [72.14.247.109] by free with POP3 (fetchmail-6.3.8) for (single-drop); Thu, 08 Nov 2007 03:54:28 -0200 (BRST) Received: by 10.115.58.17 with SMTP id l17cs96517wak; Wed, 7 Nov 2007 21:14:25 -0800 (PST) Received: by 10.70.48.15 with SMTP id v15mr268867wxv.1194498864727; Wed, 07 Nov 2007 21:14:24 -0800 (PST) Received: from mx1.redhat.com (mx1.redhat.com [66.187.233.31]) by mx.google.com with ESMTP id i37si466076wxd.2007.11.07.21.14.23; Wed, 07 Nov 2007 21:14:24 -0800 (PST) Received-SPF: pass (google.com: domain of aoliva@redhat.com designates 66.187.233.31 as permitted sender) client-ip=66.187.233.31; Authentication-Results: mx.google.com; spf=pass (google.com: domain of aoliva@redhat.com designates 66.187.233.31 as permitted sender) smtp.mail=aoliva@redhat.com 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.1) with ESMTP id lA85CHMu031769; Thu, 8 Nov 2007 00:12:17 -0500 Received: from pobox.corp.redhat.com (pobox.corp.redhat.com [10.11.255.20]) by int-mx1.corp.redhat.com (8.13.1/8.13.1) with ESMTP id lA85CGnA031936; Thu, 8 Nov 2007 00:12:16 -0500 Received: from free.oliva.athome.lsd.ic.unicamp.br (vpn-14-51.rdu.redhat.com [10.11.14.51]) by pobox.corp.redhat.com (8.13.1/8.13.1) with ESMTP id lA85CFCx008395; Thu, 8 Nov 2007 00:12:16 -0500 Received: from free.oliva.athome.lsd.ic.unicamp.br (localhost.localdomain [127.0.0.1]) by free.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1) with ESMTP id lA85CEFx022438; Thu, 8 Nov 2007 03:12:14 -0200 Received: (from aoliva@localhost) by free.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.14.1/Submit) id lA85CErU022437; Thu, 8 Nov 2007 03:12:14 -0200 To: Mark Mitchell Cc: David Edelsohn , Ian Lance Taylor , Richard Guenther , gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org Subject: Re: Designs for better debug info in GCC References: <84fc9c000711050327x74845c78ya18a3329fcf9e4d2@mail.gmail.com> <4732519C.6070802@codesourcery.com> <200711080014.lA80EEiA028452@makai.watson.ibm.com> <473259AA.1070400@codesourcery.com> From: Alexandre Oliva Errors-To: aoliva@lsd.ic.unicamp.br Date: Thu, 08 Nov 2007 18:44:00 -0000 In-Reply-To: <473259AA.1070400@codesourcery.com> (Mark Mitchell's message of "Wed\, 07 Nov 2007 16\:34\:50 -0800") Message-ID: User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2007-11/txt/msg00251.txt.bz2 Message-ID: <20071108184400.657JK4RGHfrQwUpkg2GI6i7XA7Rbv-vlXptkUhuoMhw@z> On Nov 7, 2007, Mark Mitchell wrote: > First and foremost, I want to know what, concretely, Alexandre is > trying to achieve, beyond "better debugging info for optimized > code". I'm not really going for "better". I'm going for "correct" first, while making room for "better", and hopefully already getting better, in the process. -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ FSF Latin America Board Member http://www.fsfla.org/ Red Hat Compiler Engineer aoliva@{redhat.com, gcc.gnu.org} Free Software Evangelist oliva@{lsd.ic.unicamp.br, gnu.org}