https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124192
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2026-02-21
Summary|Max_Tasks does not work |fix documentation of
|with arrays of tasks |Max_Tasks restriction at
| |local level
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
CC| |ebotcazou at gcc dot gnu.org
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Not clear why it would not make sense... And this works for:
pragma Restrictions (Max_Tasks => 2);
package Q is
task type T;
Tasks : array (1 .. 10) of T;
end Q;
package body Q
task body T is
begin
null;
end T;
end Q;
q.ads:6:04: error: violation of restriction "Max_Tasks = 2" at line 1
But the violation is indeed not detected locally for Max_Tasks > 0.
