[Bug ada/117996] New: Failed precondition when computing Eigenvalues (using "-gnata")

[reinert.korsnes at online dot no]

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

            Bug ID: 117996
           Summary: Failed precondition when computing Eigenvalues (using
                    "-gnata")
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reinert.korsnes at online dot no
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

I use gnat_native=13.2.1

Given the following program:
-----------------------------------------------------------------------
pragma Ada_2022;
with ada.numerics.generic_real_arrays;
with Ada.Text_IO;
procedure test1 is
  package gra is new ada.numerics.generic_real_arrays (real => float);
  use gra;
  a : constant real_matrix(1..2,1..2) := [[1.0, 0.0], [0.0, 2.0]];
  e : constant real_vector :=  Eigenvalues(a);
begin
  for i in e'Range loop
     Ada.Text_IO.Put_Line(i'Image & e(i)'Image);
  end loop;
end test1;
-----------------------------------------------------------------------

Compiling with the options:
for Default_Switches ("ada") use ("-gnatwa", "-gnata", "-gnatX0");

I get:
raised ADA.ASSERTIONS.ASSERTION_ERROR : failed precondition from
s-gearop.ads:549 instantiated at a-ngrear.adb:78 instantiated at test1.adb:5