From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: seperate keyword and seperate compilation with Gnat?
Date: 1996/07/09
Date: 1996-07-09T00:00:00+00:00 [thread overview]
Message-ID: <dewar.836941584@schonberg> (raw)
In-Reply-To: DuA43q.CtC@world.std.com
Bob Duff said
"I was against the inclusion of pragma Discard_Names, though -- I thought
compilers ought to be able to do that optimization without the extra
hint, and I didn't think this particular feature was worth the trouble.
On the other hand, I was in favor of pragma Restrictions."
That's misguided in my opinion. This is in fact a rather hard optimization.
FIrst it is not a compiler optimization, but a linker optimization, and
the trouble is that many modern linker tools, including nearly all Unix
linkers, are not well setup for eliminating unused code, let alone
unreferenced data. You definitely would NOT get this optimization happening
on most implementations.
next prev parent reply other threads:[~1996-07-09 0:00 UTC|newest]
Thread overview: 51+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-02 0:00 seperate keyword and seperate compilation with Gnat? David Morton
1996-07-02 0:00 ` Robert Dewar
1996-07-18 0:00 ` Peter Hermann
1996-07-20 0:00 ` Robert Dewar
1996-07-02 0:00 ` Samuel Mize
1996-07-03 0:00 ` Robert Dewar
1996-07-03 0:00 ` *separate* keyword and *separate* " David Morton
1996-07-03 0:00 ` Robert Dewar
1996-07-17 0:00 ` seperate keyword and seperate " Robert I. Eachus
1996-07-02 0:00 ` Peter Hermann
1996-07-02 0:00 ` David Morton
1996-07-03 0:00 ` Rob Kirkbride
1996-07-03 0:00 ` Robert Dewar
1996-07-08 0:00 ` John Herro
1996-07-08 0:00 ` Robert Dewar
1996-07-10 0:00 ` John Herro
1996-07-10 0:00 ` Robert Dewar
1996-07-08 0:00 ` Robert Dewar
1996-07-09 0:00 ` progers
1996-07-09 0:00 ` Robert A Duff
1996-07-09 0:00 ` Robert Dewar [this message]
1996-07-08 0:00 ` michael
1996-07-08 0:00 ` Robert Dewar
1996-07-11 0:00 ` Robert A Duff
1996-07-11 0:00 ` Robert Dewar
1996-07-12 0:00 ` David Morton
1996-07-12 0:00 ` Robert Dewar
1996-07-16 0:00 ` Michael Paus
1996-07-08 0:00 ` Robert A Duff
1996-07-03 0:00 ` Robert A Duff
1996-07-03 0:00 ` Mike Card (x3022)
1996-07-04 0:00 ` Jon S Anthony
1996-07-03 0:00 ` Robert Dewar
1996-07-03 0:00 ` Robert Dewar
1996-07-04 0:00 ` Robert A Duff
1996-07-05 0:00 ` Jon S Anthony
1996-07-06 0:00 ` Robert Dewar
1996-07-05 0:00 ` Jon S Anthony
1996-07-09 0:00 ` Jon S Anthony
1996-07-09 0:00 ` Jon S Anthony
1996-07-09 0:00 ` Robert Dewar
1996-07-12 0:00 ` Jon S Anthony
1996-07-21 0:00 ` Robert A Duff
1996-07-11 0:00 ` Jon S Anthony
1996-07-11 0:00 ` Robert A Duff
1996-07-12 0:00 ` Robert Dewar
1996-07-14 0:00 ` Norman H. Cohen
1996-07-15 0:00 ` Robert Dewar
1996-07-15 0:00 ` Jon S Anthony
1996-07-15 0:00 ` Robert Dewar
1996-07-16 0:00 ` Jon S Anthony
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox