[Bug ada/124192] New: Max_Tasks does not work with arrays of tasks

[liam at liampwll dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124192

            Bug ID: 124192
           Summary: Max_Tasks does not work with arrays of tasks
           Product: gcc
           Version: 15.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: liam at liampwll dot com
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

This one is straightforward, I noticed Max_Tasks is in the compile time checks
section, which doesn't make sense, so I tested it and it just doesn't work how
it's meant to.

pragma Restrictions (Max_Tasks => 2);

procedure Example is
   task type T;

   task body T is
   begin
      null;
   end T;

   Tasks : array (1 .. 10) of T;
begin
   null;
end Example;