Re: Ada Smileys in C++ lib Conversion

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Fri, 13 Aug 2010 16:20:16 +0200, Warren <ve3wwg@gmail.com> a écrit:
> it immediately identified the value MC_CTL_LOCAL_C
> (and others) as not fitting into the Control_Type's
> valid range. In C++ a glaring error had gone
> unnoticed:
> [...]
> I'm always smiling when I convert code from C/C++ to
> Ada. In code of any significant size, Ada always
> discovers problems that went unnoticed in C/C++.

Makes me think about a recent case where I though “A C/C++ compiler would  
have never caught it”. This was with AdaDep, a tool from AdaLog (by J.P.  
Rosen). Since the last revision of Ada, ASIS has also evolved and added a  
new item in the Asis.Element_Kinds enumeration (this item is  
An_Expression_Path). Immediately caught by Ada in AdaDep which was not  
compiling anymore, and the same in another other little application of  
mine.

This indeed help to feel at rest when you see such missing/oversight  
immediately caught.


-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.