Re: Finding out parameters which are not written

[kilgallen@eisner.decus.org (Larry Kilgallen)]

In article <33F02867.322D@aut.alcatel.at>, 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 ???

Such a tool could not handle the case where <<condition>> depended on
some input determined outside the scope of the current compilation. A
static analysis that only works for the simple cases would seem to be
unattractive since those are precisely the cases where humans can best
spot the error.

Consider a long series of conditional tests each depending on different
arcane input.  If no condition results in setting the output, it would
seem that cannot be determined at compile time.  Run time detection is
a different matter, of course.

Larry Kilgallen