diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-12-12 16:25:09 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2024-12-12 16:29:25 +0100 |
| commit | b563a3a00db064d4d47fd171379e1d34d0698faa (patch) | |
| tree | 11ba59f37138a7099ff19b6ec6e51fdd405d4533 /gcc/c | |
| parent | c94ac10ffc422d4c9a28266b1340382d69518464 (diff) | |
| download | gcc-b563a3a00db064d4d47fd171379e1d34d0698faa.zip gcc-b563a3a00db064d4d47fd171379e1d34d0698faa.tar.gz gcc-b563a3a00db064d4d47fd171379e1d34d0698faa.tar.bz2 | |
Fix precondition failure with Ada.Numerics.Generic_Real_Arrays.Eigenvalues
This fixes a precondition failure triggered when the Eigenvalues routine
of Ada.Numerics.Generic_Real_Arrays is instantiated with -gnata, beause
it calls Sort_Eigensystem on an empty vector.
gcc/ada
PR ada/117996
* libgnat/a-ngrear.adb (Jacobi): Remove default value for
Compute_Vectors formal parameter.
(Sort_Eigensystem): Add Compute_Vectors formal parameter. Do not
modify the Vectors if Compute_Vectors is False.
(Eigensystem): Pass True as Compute_Vectors to Sort_Eigensystem.
(Eigenvalues): Pass False as Compute_Vectors to Sort_Eigensystem.
gcc/testsuite
* gnat.dg/matrix1.adb: New test.
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions