From: Robert Dewar <dewar@adacore.com>
To: Andrew Haley <aph@redhat.com>
Cc: Ian Lance Taylor <iant@google.com>,
Alexandre Oliva <aoliva@redhat.com>,
gcc@gcc.gnu.org
Subject: Re: Designs for better debug info in GCC
Date: Tue, 18 Dec 2007 16:42:00 -0000 [thread overview]
Message-ID: <4767F60A.5060505@adacore.com> (raw)
In-Reply-To: <18279.62756.166164.494778@zebedee.pink>
Andrew Haley wrote:
=
> > I don't think it is fine, we have constant complaints from our
> > users about this. I think we definitely need an optimization
> > level that avoids this.
>
> Short of putting a barrier at every sequence point, how would you stop
> the debugger from jumping all over the place? I'm assuming that you
> do want the debugger to show what is actually going on, not fake it.
Note that putting a barrier at every sequence point is exactly what
Geert proposed, and I think we really need an optimization level
that does the equivalent of this. It is also needed for effective
source-object traceability for certification purposes. Yes, you
can use -O0, but the trouble is that we generate so much rubbish
at this level, much worse than commpetitive compilers with "optimization
off", and the shear amount of object code makes the traceability
analysis harder (and makes executables unnecessarily huge).
>
> Andrew.
>
next prev parent reply other threads:[~2007-12-18 16:32 UTC|newest]
Thread overview: 192+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <or4pg114h5.fsf@oliva.athome.lsd.ic.unicamp.br>
[not found] ` <84fc9c000711050327x74845c78ya18a3329fcf9e4d2@mail.gmail.com>
2007-11-07 8:03 ` Designs for better debug info in GCC (was: Re: [vta] don't let debug insns get in the way of simple vect reduction) Alexandre Oliva
2007-11-07 16:37 ` Ian Lance Taylor
2007-11-07 21:43 ` Designs for better debug info in GCC Alexandre Oliva
2007-11-07 23:05 ` Ian Lance Taylor
2007-11-07 23:28 ` Daniel Jacobowitz
2007-11-08 0:01 ` Mark Mitchell
2007-11-08 0:28 ` David Edelsohn
2007-11-08 5:01 ` Mark Mitchell
2007-11-08 5:15 ` Alexandre Oliva
2007-11-08 18:44 ` Alexandre Oliva
2007-11-23 2:20 ` Frank Ch. Eigler
2007-11-23 2:30 ` Richard Guenther
2007-11-23 23:40 ` Frank Ch. Eigler
2007-11-23 23:56 ` Alexandre Oliva
2007-11-24 13:52 ` Robert Dewar
2007-11-08 5:44 ` Alexandre Oliva
2007-11-08 18:37 ` Alexandre Oliva
2007-11-08 20:51 ` Andrew Pinski
2007-11-09 1:11 ` Alexandre Oliva
2007-11-09 11:28 ` Robert Dewar
2007-11-08 6:39 ` Alexandre Oliva
2007-11-08 19:13 ` Alexandre Oliva
2007-11-08 20:07 ` Mark Mitchell
2007-11-08 20:14 ` David Daney
2007-11-08 20:41 ` Mark Mitchell
2007-11-09 9:10 ` Alexandre Oliva
2007-11-12 10:55 ` Mark Mitchell
2007-11-12 18:22 ` Alexandre Oliva
2007-11-12 20:08 ` Joe Buck
2007-11-24 22:12 ` Alexandre Oliva
2007-11-24 22:42 ` Richard Kenner
2007-11-12 22:43 ` Ian Lance Taylor
2007-11-24 1:44 ` Alexandre Oliva
2007-11-13 10:50 ` Mark Mitchell
2007-11-24 4:05 ` Alexandre Oliva
2007-11-13 15:46 ` Michael Matz
2007-11-23 23:56 ` Alexandre Oliva
2007-11-26 18:19 ` Michael Matz
2007-11-27 7:31 ` Alexandre Oliva
2007-11-27 18:33 ` Michael Matz
2007-11-27 20:37 ` Alexandre Oliva
2007-11-08 10:11 ` Richard Guenther
2007-11-08 5:14 ` Alexandre Oliva
2007-11-08 18:28 ` Alexandre Oliva
2007-11-08 19:23 ` Ian Lance Taylor
2007-11-09 0:08 ` Alexandre Oliva
2007-11-09 1:26 ` Ian Lance Taylor
2007-11-09 12:22 ` Robert Dewar
2007-11-12 12:59 ` Mark Mitchell
2007-11-12 18:05 ` Alexandre Oliva
2007-11-12 18:09 ` Mark Mitchell
2007-11-24 4:31 ` Alexandre Oliva
2007-11-26 6:10 ` Mark Mitchell
2007-12-05 14:21 ` Diego Novillo
2007-12-05 22:10 ` Joe Buck
2007-12-15 22:51 ` Alexandre Oliva
2007-12-16 6:27 ` Daniel Berlin
2007-12-16 12:47 ` Alexandre Oliva
2007-12-17 1:27 ` Daniel Berlin
2007-12-17 5:38 ` Joe Buck
2007-12-17 8:20 ` Geert Bosch
2007-12-18 1:24 ` Alexandre Oliva
2007-12-18 2:02 ` Joe Buck
2007-12-18 4:40 ` Alexandre Oliva
2007-12-18 7:45 ` Robert Dewar
2007-12-18 7:56 ` Alexandre Oliva
2007-12-18 13:29 ` Robert Dewar
2007-12-18 22:15 ` Alexandre Oliva
2007-12-18 6:16 ` Robert Dewar
2007-12-18 8:09 ` Alexandre Oliva
2007-12-17 18:33 ` Alexandre Oliva
2007-12-17 17:59 ` Alexandre Oliva
2007-12-17 18:02 ` Diego Novillo
2007-12-17 20:43 ` Alexandre Oliva
2007-12-17 21:20 ` Diego Novillo
2007-12-18 1:01 ` Alexandre Oliva
2007-12-18 1:14 ` Diego Novillo
2007-12-18 5:17 ` Alexandre Oliva
2007-12-18 8:06 ` Kai Henningsen
2007-12-18 8:39 ` Alexandre Oliva
2007-12-18 13:15 ` Diego Novillo
2007-12-18 15:06 ` Alexandre Oliva
2007-12-18 16:22 ` Ian Lance Taylor
2007-12-18 16:28 ` Robert Dewar
2007-12-18 16:31 ` Andrew Haley
2007-12-18 16:42 ` Robert Dewar [this message]
2007-12-18 17:04 ` Andrew Haley
2007-12-18 17:12 ` Richard Kenner
2007-12-18 16:32 ` Daniel Jacobowitz
2007-12-18 16:44 ` Robert Dewar
2007-12-19 4:30 ` Alexandre Oliva
2007-12-19 18:41 ` Ian Lance Taylor
2007-12-19 19:00 ` Daniel Jacobowitz
2007-12-19 19:53 ` Janis Johnson
2007-12-19 21:17 ` Ian Lance Taylor
2007-12-20 6:10 ` Alexandre Oliva
2007-12-20 16:52 ` Ian Lance Taylor
2007-12-20 21:38 ` Alexandre Oliva
2007-12-21 1:54 ` Ian Lance Taylor
[not found] ` <orprx0izhp.fsf@oliva.atho! me.lsd.ic.unicamp.br>
2007-12-21 2:11 ` Alexandre Oliva
2007-12-21 3:16 ` Robert Dewar
2007-12-21 5:10 ` Ian Lance Taylor
2007-12-21 18:12 ` Alexandre Oliva
2007-12-21 19:32 ` Ian Lance Taylor
2007-12-21 22:46 ` Alexandre Oliva
2007-12-22 0:07 ` Ian Lance Taylor
2007-12-22 0:09 ` Andrew Pinski
2007-12-22 3:16 ` Andrew Pinski
2007-12-22 11:44 ` Chris Lattner
2007-12-22 21:27 ` Ian Lance Taylor
2007-12-23 17:40 ` Frank Ch. Eigler
2007-12-22 7:38 ` Robert Dewar
2007-12-22 13:33 ` Andrew Haley
2007-12-22 17:11 ` Robert Dewar
2007-12-31 19:39 ` Alexandre Oliva
2007-12-20 8:00 ` Alexandre Oliva
2007-12-20 8:01 ` Alexandre Oliva
2007-12-20 17:02 ` Ian Lance Taylor
2007-12-31 16:55 ` Richard Guenther
[not found] ` <y0my7baigdf.fsf@ton.toronto.redhat.com>
2008-01-01 17:31 ` Richard Guenther
2007-12-18 23:19 ` Daniel Berlin
2007-12-19 6:07 ` Alexandre Oliva
2007-12-19 6:18 ` Daniel Berlin
2007-12-19 16:01 ` Daniel Berlin
2007-12-19 16:29 ` Andrew MacLeod
2007-12-19 19:25 ` Daniel Berlin
2007-12-19 20:00 ` Alexandre Oliva
2007-12-19 21:11 ` Daniel Berlin
2007-12-20 5:16 ` Alexandre Oliva
2007-12-20 16:44 ` Ian Lance Taylor
2007-12-20 20:42 ` Alexandre Oliva
2007-12-19 20:00 ` Andrew MacLeod
2007-12-19 20:40 ` Daniel Berlin
2007-12-19 20:03 ` Alexandre Oliva
2007-12-18 23:31 ` Daniel Berlin
2007-12-19 4:35 ` Alexandre Oliva
2007-12-19 16:12 ` Daniel Berlin
2007-12-19 19:13 ` Alexandre Oliva
2007-12-19 20:11 ` Daniel Jacobowitz
2007-12-31 14:45 ` Richard Guenther
2007-12-16 22:20 ` Mark Mitchell
2007-11-09 12:31 ` Seongbae Park (박성배, 朴成培)
2007-11-09 12:42 ` Robert Dewar
2007-11-07 17:25 ` Designs for better debug info in GCC (was: Re: [vta] don't let debug insns get in the way of simple vect reduction) Michael Matz
2007-11-07 19:03 ` Designs for better debug info in GCC Alexandre Oliva
2007-11-08 11:22 ` Michael Matz
2007-11-08 15:13 ` Robert Dewar
2007-11-08 16:11 ` H.J. Lu
2007-11-08 16:32 ` Michael Matz
2007-11-08 18:18 ` Alexandre Oliva
2007-11-09 14:23 ` Michael Matz
2007-11-12 18:17 ` Alexandre Oliva
2007-11-13 14:22 ` Michael Matz
2007-11-24 4:58 ` Alexandre Oliva
2007-11-26 18:10 ` Michael Matz
2007-11-27 3:48 ` Alexandre Oliva
2007-11-08 17:48 ` Alexandre Oliva
2007-11-09 2:09 ` Robert Dewar
2007-11-12 17:52 ` Alexandre Oliva
2007-11-09 2:13 ` Joe Buck
2007-11-09 18:40 ` Daniel Jacobowitz
2007-11-09 19:02 ` Robert Dewar
2007-11-08 16:37 ` Alexandre Oliva
2007-11-13 7:52 Steven Bosscher
2007-11-23 23:40 ` Alexandre Oliva
2007-11-24 10:27 ` Steven Bosscher
2007-11-24 15:08 ` Alexandre Oliva
2007-11-24 15:18 ` Richard Kenner
2007-11-24 20:21 ` Alexandre Oliva
2007-11-24 20:48 ` Bernd Schmidt
2007-11-24 22:01 ` Alexandre Oliva
2007-11-24 22:34 ` Richard Guenther
2007-11-25 1:21 ` Alexandre Oliva
2007-11-25 2:36 ` Richard Guenther
2007-11-26 11:37 ` Alexandre Oliva
2007-11-26 12:38 ` Richard Guenther
2007-11-26 18:10 ` Alexandre Oliva
2007-11-25 0:20 ` Alexandre Oliva
2007-11-24 21:24 ` Richard Kenner
2007-11-24 21:55 ` Alexandre Oliva
2007-11-25 0:39 ` Robert Dewar
2007-12-15 20:32 ` Alexandre Oliva
2007-12-15 21:41 ` Robert Dewar
2007-11-24 16:07 ` Steven Bosscher
2007-11-24 20:11 ` Alexandre Oliva
2007-11-24 20:46 ` Richard Guenther
2007-11-26 18:36 J.C. Pizarro
2007-11-26 18:55 ` J.C. Pizarro
[not found] <or4pg114h5.fsf@oliva.athome.lsd.ic.unicamp.br.suse.lists.egcs>
[not found] ` <orsl1xq4p3.fsf@oliva.athome.lsd.ic.unicamp.br.suse.lists.egcs>
[not found] ` <m3ir2t2u57.fsf@localhost.localdomain.suse.lists.egcs>
[not found] ` <m3tzmd1209.fsf@localhost.localdomain.suse.lists.egcs>
[not found] ` <m34pec1x4k.fsf@localhost.localdomain.suse.lists.egcs>
[not found] ` <orwsr8eyz5.fsf@oliva.athome.lsd.ic.unicamp.br.suse.lists.egcs>
[not found] ` <m3wsr76hov.fsf@localhost.localdomain.suse.lists.egcs>
[not found] ` <or8x3ng5ie.fsf@oliva.athome.lsd.ic.unicamp.br.suse.lists.egcs>
[not found] ` <m3r6hf4mw1.fsf@localhost.localdomain.suse.lists.egcs>
[not found] ` <de8d50360712211607h77a0add5h794f6b5781b6491b@mail.gmail.com.suse.lists.egcs>
[not found] ` <de8d50360712211609y643b8affpeb91048dedecbe60@mail.gmail.com.suse.lists.egcs>
[not found] ` <7C283DB3-9716-4B2C-9721-D1F503B91CC4@apple.com.suse.lists.egcs>
[not found] ` <m37ij64mwt.fsf@localhost.localdomain.suse.lists.egcs>
2007-12-23 0:52 ` Andi Kleen
2007-12-23 1:32 ` Daniel Jacobowitz
2007-12-23 1:36 ` Andi Kleen
2007-12-23 5:55 ` Daniel Jacobowitz
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4767F60A.5060505@adacore.com \
--to=dewar@adacore.com \
--cc=aoliva@redhat.com \
--cc=aph@redhat.com \
--cc=gcc@gcc.gnu.org \
--cc=iant@google.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).