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
