From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-444838-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 117072 invoked by alias); 20 Dec 2016 11:34:22 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 117053 invoked by uid 89); 20 Dec 2016 11:34:21 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy=
X-HELO: smtp.eu.adacore.com
Received: from mel.act-europe.fr (HELO smtp.eu.adacore.com) (194.98.77.210) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 20 Dec 2016 11:34:11 +0000
Received: from localhost (localhost [127.0.0.1])	by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id 78A7F81532;	Tue, 20 Dec 2016 12:34:09 +0100 (CET)
Received: from smtp.eu.adacore.com ([127.0.0.1])	by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024)	with ESMTP id mn9CKAS5IsaO; Tue, 20 Dec 2016 12:34:09 +0100 (CET)
Received: from chelles.act-europe.fr (chelles.act-europe.fr [IPv6:2a02:2ab8:224:1:d6be:d9ff:fef8:4565])	by smtp.eu.adacore.com (Postfix) with ESMTP id 0CC01814E6;	Tue, 20 Dec 2016 12:34:09 +0100 (CET)
Received: by chelles.act-europe.fr (Postfix, from userid 525)	id 085EE1EA0067; Tue, 20 Dec 2016 12:34:09 +0100 (CET)
Date: Tue, 20 Dec 2016 12:14:00 -0000
From: Arnaud Charlet <charlet@adacore.com>
To: Simon Wright <simon@pushface.org>
Cc: gcc-patches@gcc.gnu.org, Ed Schonberg <schonberg@adacore.com>
Subject: Re: [Ada] Fix PR ada/78845
Message-ID: <20161220113409.GA2957@adacore.com>
References: <879A0A7D-106A-4320-A6F6-0433CEAC1CA7@pushface.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <879A0A7D-106A-4320-A6F6-0433CEAC1CA7@pushface.org>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-SW-Source: 2016-12/txt/msg01701.txt.bz2

> 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.
> 
> 2016-12-17  Simon Wright  <simon@pushface.org>
> 
> 	PR ada/78845
> 	* a-ngrear.adb (Inverse): call Unit_Matrix with First_1 set to
> 	A'First(2)
> 	and vice versa.

Patch is OK, thanks.