From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-209529-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 15749 invoked by alias); 18 Dec 2007 06:16:57 -0000
Received: (qmail 15734 invoked by uid 22791); 18 Dec 2007 06:16:57 -0000
X-Spam-Check-By: sourceware.org
Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15)     by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 18 Dec 2007 06:16:51 +0000
Received: from localhost (localhost.localdomain [127.0.0.1]) 	by filtered-rock.gnat.com (Postfix) with ESMTP id A648F2A961F; 	Tue, 18 Dec 2007 01:16:49 -0500 (EST)
Received: from rock.gnat.com ([127.0.0.1]) 	by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) 	with LMTP id sGz6d9CnKGBq; Tue, 18 Dec 2007 01:16:49 -0500 (EST)
Received: from [127.0.0.1] (nile.gnat.com [205.232.38.5]) 	by rock.gnat.com (Postfix) with ESMTP id 17C9A2A9614; 	Tue, 18 Dec 2007 01:16:46 -0500 (EST)
Message-ID: <476765C7.5050106@adacore.com>
Date: Tue, 18 Dec 2007 07:42:00 -0000
From: Robert Dewar <dewar@adacore.com>
User-Agent: Thunderbird 2.0.0.9 (Windows/20071031)
MIME-Version: 1.0
To: Alexandre Oliva <aoliva@redhat.com>
CC: Joe Buck <Joe.Buck@synopsys.COM>, Geert Bosch <bosch@adacore.com>,   Daniel Berlin <dberlin@dberlin.org>,  Diego Novillo <dnovillo@google.com>,   Mark Mitchell <mark@codesourcery.com>,  Ian Lance Taylor <iant@google.com>,   Richard Guenther <richard.guenther@gmail.com>,  gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org
Subject: Re: Designs for better debug info in GCC
References: <ory7cok8u6.fsf@oliva.athome.lsd.ic.unicamp.br>	<4749DE66.1090602@codesourcery.com> <4756B02D.9010302@google.com>	<ory7bv3adb.fsf@oliva.athome.lsd.ic.unicamp.br>	<4aca3dc20712151903r46c9eceane35edb92d08240ac@mail.gmail.com>	<oraboaero7.fsf@oliva.athome.lsd.ic.unicamp.br>	<4aca3dc20712161712w1133fb96qd66be0e9a0bb1716@mail.gmail.com>	<20071217012735.GA9275@synopsys.com>	<8DF14649-456C-40D6-94C5-DC3285EFD7C2@adacore.com>	<orabo8zu0d.fsf@oliva.athome.lsd.ic.unicamp.br>	<20071218012438.GD2908@synopsys.com> <or1w9kzkyk.fsf@oliva.athome.lsd.ic.unicamp.br>
In-Reply-To: <or1w9kzkyk.fsf@oliva.athome.lsd.ic.unicamp.br>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
X-SW-Source: 2007-12/txt/msg00862.txt.bz2

Alexandre Oliva wrote:

> Yep.  Sometimes code just is optimized away.  Can't stop that without
> harming optimizations.

OK, so you are agreeing that good debuggability is impossible
with all the optimizations in place, so once again, let's have
an optimziation level that optimizes as far as possible without
harming debuggability.
> 
> If dwarf line number programs were smarter, we could perhaps encode
> multiple lines for the same instruction, along with conditions to tell
> when the instruction applies to such or such lines, and even more
> fancy stuff like that.  But line number programs don't let us express
> this in Dwarf3.

So, that's not an option.