[Bug ada/124193] New: Max_Entry_Queue_Length for partition is not checked against Max_Entry_Queue_Length for types and entries within the partition

[liam at liampwll dot com via Gcc-bugs]

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

            Bug ID: 124193
           Summary: Max_Entry_Queue_Length for partition is not checked
                    against Max_Entry_Queue_Length for types and entries
                    within the partition
           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: ---

RM22 D.4(21.5) states the following as a post-compilation rule: "If a
restriction Max_Entry_Queue_Length applies to a partition, any value specified
for the Max_Entry_Queue_Length aspect specified for the declaration of a type
or entry in the partition shall not be greater than the value of the
restriction."

GNAT does not check this.

pragma Restrictions (Max_Entry_Queue_Length => 2);

procedure Example is
   protected P is
      entry E
      with Max_Entry_Queue_Length => 10;
   end P;

   protected body P is
      entry E when True is
      begin
         null;
      end E;
   end P;
begin
   null;
end Example;