On 21 Dec 2016, at 14:52, Arnaud Charlet <char...@adacore.com> wrote: > >>> Yes, please resend an updated patch. >> >> The function Ada.Numerics.Generic_Real_Arrays.Inverse is required >> (ARM G.3.1(72)) to >> return a matrix with the bounds of the dimension indices swapped, i.e. >> result'Range(1) == >> input'Range(2) and vice versa. The present code gets result'Range(1) >> correct, but >> result'Range(2) always starts at 1. >> >> Of course, many users would always use ranges starting at 1 and wouldn't see >> a >> problem. >> >> The same applies to Ada.Numerics.Complex_Real_Arrays.Inverse (ARM >> G.3.2(140)). > > Updated patch OK as well. > >> 2016-12-21 Simon Wright <si...@pushface.org >> <mailto:si...@pushface.org>> >> >> PR ada/78845 >> * a-ngcoar.adb (Inverse): call Unit_Matrix with First_1 set to >> A'First(2) >> and vice versa. >> * a-ngrear.adb (Inverse): likewise.
Can the patch be committed, please, when convenient? (patch reposted below for convenience)
pr78845.diff
Description: Binary data