From: bobduff@world.std.com (Robert A Duff)
Subject: Re: To Initialise or not
Date: 1996/05/01
Date: 1996-05-01T00:00:00+00:00 [thread overview]
Message-ID: <Dqqws5.Dvr@world.std.com> (raw)
In-Reply-To: 318792E8.28CC1042@escmail.orl.mmc.com
In article <318792E8.28CC1042@escmail.orl.mmc.com>,
Theodore E. Dennison <dennison@escmail.orl.mmc.com> wrote:
>Yes, but I don't think any compiler COULD easily help enforce this (It
>sounds a lot like the halting problem to me). That is what code
>walkthroughs are for.
A compiler can *easily* detect uninitialized variables at run time.
Yes, it's nicer to know about it at compile time, when possible, but as
you say, it's not *always* possible. You can (and should) use code
walkthroughs to detect divide-by-zero, too. But Ada still detects that
problem at run time (in case the code walk through missed something).
The problem with detecting uninit vars at run time is of course
efficiency. Plus the fact that it *might* make interfacing to other
languages and/or hardware more difficult.
- Bob
next prev parent reply other threads:[~1996-05-01 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 ` Theodore E. Dennison
1996-05-01 0:00 ` Dale Stanbrough
1996-05-01 0:00 ` Robert A Duff [this message]
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-02 0:00 ` Theodore E. Dennison
1996-05-02 0:00 ` Robert A Duff
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-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 ` Theodore E. Dennison
1996-05-02 0:00 ` Robert A Duff
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-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