From: bobduff@world.std.com (Robert A Duff)
Subject: Re: To Initialise or not
Date: 1996/05/02
Date: 1996-05-02T00:00:00+00:00 [thread overview]
Message-ID: <Dqs9Mx.Ku1@world.std.com> (raw)
In-Reply-To: dewar.831032134@schonberg
In article <dewar.831032134@schonberg>, Robert Dewar <dewar@cs.nyu.edu> wrote:
>Help means help. It does not mean solving the halting problem. It is
>perfectly fine and easy for a compiler to give warnings in simple
>cases (it is no different from giving these warnings for the cases
>of other datatypes, such as integer). You can do it some of the time,
>and that is helpful.
Yes, it is helpful, and it can be quite feasible to implement for local
variables. But it's a lot harder for components of records on the heap,
accesses through complicated chains of pointers. In most of the
programs *I* write (compilers and related tools), most of the data is
sitting in heap-allocated records, which is why I would like to have
run-time detection, in case the compile-time detection fails.
- Bob
next prev parent reply other threads:[~1996-05-02 0:00 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-04-29 0:00 To Initialise or not Steve O'Neill
1996-04-29 0:00 ` Ken Garlington
1996-04-29 0:00 ` Robert Dewar
1996-04-30 0:00 ` Ken Garlington
1996-04-30 0:00 ` Robert A Duff
1996-04-30 0:00 ` Ken Garlington
1996-04-30 0:00 ` Robert A Duff
1996-05-01 0:00 ` Keith Thompson
1996-05-01 0:00 ` Robert A Duff
1996-05-02 0:00 ` Keith Thompson
1996-05-03 0:00 ` Robert A Duff
1996-05-01 0:00 ` Theodore E. Dennison
1996-05-01 0:00 ` Dale Stanbrough
1996-05-01 0:00 ` Robert A Duff
1996-05-02 0:00 ` Theodore E. Dennison
1996-05-02 0:00 ` Chris Warack <sys mgr>
1996-05-02 0:00 ` Robert A Duff
1996-05-06 0:00 ` Ken Garlington
1996-05-02 0:00 ` Robert A Duff
1996-05-02 0:00 ` Michael F Brenner
1996-05-02 0:00 ` Robert A Duff
1996-05-04 0:00 ` Kevin D. Heatwole
1996-05-06 0:00 ` Ken Garlington
1996-05-07 0:00 ` Robert A Duff
1996-05-08 0:00 ` Ken Garlington
1996-05-08 0:00 ` Robert A Duff
1996-05-09 0:00 ` Ken Garlington
1996-05-09 0:00 ` Robert A Duff
1996-05-02 0:00 ` Robert Dewar
1996-05-02 0:00 ` Robert A Duff [this message]
1996-05-02 0:00 ` Theodore E. Dennison
1996-05-06 0:00 ` Ken Garlington
1996-05-06 0:00 ` Ken Garlington
1996-05-07 0:00 ` Robert A Duff
1996-05-08 0:00 ` Ken Garlington
1996-05-09 0:00 ` Robert A Duff
1996-05-10 0:00 ` Robert A Duff
1996-05-10 0:00 ` Ken Garlington
1996-05-10 0:00 ` Robert A Duff
1996-05-10 0:00 ` Ken Garlington
1996-05-11 0:00 ` Robert A Duff
1996-05-11 0:00 ` David Kristola
1996-05-11 0:00 ` Robert A Duff
1996-05-13 0:00 ` Ken Garlington
1996-05-13 0:00 ` Ken Garlington
1996-05-13 0:00 ` Robert A Duff
1996-05-13 0:00 ` Ken Garlington
1996-05-13 0:00 ` Robert A Duff
1996-05-13 0:00 ` Ken Garlington
1996-04-30 0:00 ` Robert A Duff
1996-05-01 0:00 ` Patrick Richard Wibbeler
1996-05-06 0:00 ` Ken Garlington
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox