[Bug ada/123990] New: Exception handler is not an abort completion point

[liam at liampwll dot com via Gcc-bugs]

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

            Bug ID: 123990
           Summary: Exception handler is not an abort completion point
           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: ---

RM 2022 9.8(19) states that the sequence_of_statements of an exception_handler
is an abort completion point. The below program never terminates even though it
should.

procedure Example is
begin
   select
      delay 3.0;
   then abort
      loop
         begin
            raise Constraint_Error;
         exception
            when others =>
               null;
         end;
      end loop;
   end select;
end Example;