Re: Hint to Ada newbies

[stevenselectronicmail@gmail.com]

On Wednesday, February 8, 2017 at 8:17:45 PM UTC-8, reinkor wrote:
> Just sharing experience:
> 
> I tried gnat compiler option "-gnatwa" and revealed a lot of weakness in my Ada project. It also helped to improve the structure of the code which I have worked on and modified over time.
> 
> Just a hint to newbies :-)
> 
> https://gcc.gnu.org/onlinedocs/gnat_ugn/Warning-Message-Control.html
> 
> reinert

I prefer using pragmas for these.

pragma Initialize_Scalars;
pragma Assertion_Policy (CHECK);
pragma Debug_Policy (CHECK);
pragma Check_Float_Overflow;
pragma Overflow_Mode (Strict);
pragma Unsuppress (Overflow_Check);
pragma Validity_Checks (ALL_CHECKS);

pragma Prefix_Exception_Messages;

pragma Style_Checks (On);
pragma Style_Checks ("3aAbCdefiIklnprsStu");

pragma Warnings (On);
pragma Warnings ("ah.i.ktFK");