Re: Elaboration in generic package

[Simon Wright <simon@pushface.org>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

> Since Ada elaborates items linearly, the instance elaboration of
> Mystic will call reallyComplicatedFunction before Seed is elaborated
> -- meaning the body would be depending on something
> uninitialized. That's what subprogram elaboration checks are designed
> to prevent. Ergo, there must be a check in this case (regardless of
> the actual body, of course).

I tried this simple demo

   package body Mystic is
      Max : Positive;
      function reallyComplicatedFunction(x : Positive) return Table is
         Result : Table (1 .. Positive'Min (X, Max) / 2) := (others => 1);
      begin
         return Result;
      end ReallyComplicatedFunction;
   begin
      Max := 5;
   end Mystic;

and, surprise, the value of Max used is 0; no warnings, no ABE, even
with -gnatE. Bug report forthcoming.

Thanks for the analysis.