Re: Uninitialized out parameters.

[ahlan@marriott.org]

On Wednesday, April 6, 2016 at 11:45:02 AM UTC+2, Mark Lorenzen wrote:
> On Tuesday, April 5, 2016 at 4:07:18 PM UTC+2, ah...@marriott.org wrote:
> > 
> > In my gpr I compile with
> >    package Compiler is
> >       for Default_Switches ("ada") use ("-O1", "-gnatQ", "-gnato", "-g", "-gnat12",
> >                                         "-gnatwcehijkmopruvz.c.n.p.t.w.x", "-gnatykmpM120");
> >    end Compiler;
> > 
> > Is there a warning that I need to explicitly switch on in order that GNAT checks for out parameters in  null procedures?
> 
> You have enabled a lot of warnings, but why not start with -gnatwa? That is usually a good starting point and then you can add further swicthes. Try to add -gnatwf that should enable warnings about unreferenced formal parameters.
> 
> You can also use the GNATcheck tool to check your coding standard. GNATcheck is able to find some instances of unassigned out parameters (rule Unassigned_OUT_Parameters). If you want to be 100% sure that you do not have uninitialized variable or out parameters, you will need to use a stronger static analysis tool.
> 
> Regards,
> Mark L

We use -gnatwu which includes -gnatwf