From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Finding out parameters which are not written
Date: 1997/08/27
Date: 1997-08-27T00:00:00+00:00 [thread overview]
Message-ID: <dewar.872716678@merv> (raw)
>Gerhard Radatz <gerhard.radatz@aut.alcatel.at> writes:
<< Does anyone know about a tool which can detect such situations as the
following:
procedure xxx (result: out INTEGER) is
begin
if <<condition>> then
result := 0;
end if;
end;
Obviously, this proc is erroneous and result will not be written if
<<condition>> is FALSE.
However, my Ada-Compiler (DEC-ADA for VMS) does not detect this problem,
because result is written "at least once" in the body of xxx.
Is there any tool which can provide help ??? >>
Using the standard version of GNAT with -Wuninitialized and -O2, we get
xxx.adb: In function `xxx':
xxx.adb:1: warning: `result' might be used uninitialized in this function
Not very localized, but better than not getting a warning at all!
next reply other threads:[~1997-08-27 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-08-27 0:00 Robert Dewar [this message]
-- strict thread matches above, loose matches on Subject: below --
1997-08-12 0:00 Finding out parameters which are not written Gerhard Radatz
1997-08-12 0:00 ` Gerhard Radatz
1997-08-12 0:00 ` Robert A Duff
1997-08-12 0:00 ` Matthew Heaney
1997-08-12 0:00 ` Larry Kilgallen
1997-08-17 0:00 ` Fergus Henderson
[not found] ` <5u180q$l69@mulga.cs.mu.OZ.AU>
1997-08-28 0:00 ` Stuart Palin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox