Re: Embedded languages based on early Ada (from "Re: Preferred OS, processor family for running embedded Ada?")

[Jean-Pierre Rosen <rosen@adalog.fr>]

Colin Paul Gloster a �crit :
> procedure Ada_Is_As_Unsafe_As_VHDL_And_GNAT_Will_Not_Even_Warn is
>    value,Y:Integer;
> begin
>    if False then
>       Value:=0;
>    end if;
>    Y:=Value;
> end Ada_Is_As_Unsafe_As_VHDL_And_GNAT_Will_Not_Even_Warn;
>    --GNAT is an abbreviation of "the GNU Ada Translator".
> 
> I do not know Modula-3 and Oberon. Do they allow such a trivially
> detectable accident?
> 

Here is what AdaControl says about it:
Error: IMPROPER_INITIALIZATION: use of uninitialized variable: Value
Error: IMPROPER_INITIALIZATION: variable "value" used before 
initialisation>

NB: I think this kind of analysis is for external tools, not for 
compilers. Nice when compilers can provide extra warnings, but that's 
not their primary job.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr