Q: discrete_subtype_definition: static only cases?

[gautier_niouzes@hotmail.com]

Hi,

Are there cases in the Ada syntax where a discrete_subtype_definition (RM 3.6 (6)) is expected to be determined at compile-time?

For instance, for array indices or "for" loops, it can be static or dynamic.
Same for subtypes.

procedure SD is
  A : array (1 .. 5) of Integer;
  type XYZ is (X, Y, Z);
begin
  for I in 1 .. 3 loop
    declare
      B : array (1 .. I) of Integer;  --  I is a variable
    begin
      for J in 1 .. I loop            --  I is a variable
        B (J) := J;
      end loop;
    end;
  end loop;
  for E in XYZ loop
    declare
      subtype S is XYZ range X .. E;  --  E is a variable
    begin
      null;
    end;
  end loop;
end;
_________________________ 
Gautier's Ada programming 
https://hacadacompiler.sourceforge.io/
NB: follow the above link for a valid e-mail address