From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14479 invoked by alias); 12 Nov 2007 16:24:18 -0000 Received: (qmail 14454 invoked by uid 22791); 12 Nov 2007 16:24:17 -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; Mon, 12 Nov 2007 16:24:08 +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 lACGNVwx031960; Mon, 12 Nov 2007 11:23:31 -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 lACGNUVd004415; Mon, 12 Nov 2007 11:23:30 -0500 Received: from livre.oliva.athome.lsd.ic.unicamp.br (vpn-15-85.rdu.redhat.com [10.11.15.85]) by pobox.corp.redhat.com (8.13.1/8.13.1) with ESMTP id lACGNR8e004245; Mon, 12 Nov 2007 11:23:28 -0500 Received: from livre.oliva.athome.lsd.ic.unicamp.br (localhost.localdomain [127.0.0.1]) by livre.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.13.8) with ESMTP id lACGNOOT006604; Mon, 12 Nov 2007 14:23:24 -0200 Received: (from aoliva@localhost) by livre.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.13.5/Submit) id lACGNNcY006603; Mon, 12 Nov 2007 14:23:23 -0200 To: Robert Dewar Cc: Michael Matz , 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> <47331636.9010308@adacore.com> <4733A4B2.5020301@adacore.com> From: Alexandre Oliva Errors-To: aoliva@oliva.athome.lsd.ic.unicamp.br Date: Mon, 12 Nov 2007 17:52:00 -0000 In-Reply-To: <4733A4B2.5020301@adacore.com> (Robert Dewar's message of "Thu\, 08 Nov 2007 19\:07\:14 -0500") 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/msg00316.txt.bz2 On Nov 8, 2007, Robert Dewar wrote: > Alexandre Oliva wrote: >>> 1. I don't think we should care much about the ability to >>> *SET* values of variables in optimized code. >> >> Indeed. We should care about correctness of debug information, and >> then this ability will come naturally ;-) > Not really, there are optimizations that will still allow > reading the value of a variable, but not setting it, Indeed. I was thinking implementation-level variables, rather than source-level variables. -- 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}