From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-276001-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 31244 invoked by alias); 21 Oct 2010 11:12:10 -0000
Received: (qmail 31228 invoked by uid 22791); 21 Oct 2010 11:12:10 -0000
X-SWARE-Spam-Status: No, hits=-2.6 required=5.0	tests=AWL,BAYES_00,FREEMAIL_FROM,T_TO_NO_BRKTS_FREEMAIL
X-Spam-Check-By: sourceware.org
Received: from matups.math.u-psud.fr (HELO matups.math.u-psud.fr) (129.175.50.4)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 21 Oct 2010 11:12:06 +0000
Received: from barah.math.u-psud.fr (barah.math.u-psud.fr [129.175.52.24])	by matups.math.u-psud.fr (Postfix) with ESMTP id BE01D72F9	for <gcc-patches@gcc.gnu.org>; Thu, 21 Oct 2010 13:12:02 +0200 (CEST)
Received: from localhost (localhost [127.0.0.1])	by barah.math.u-psud.fr (Postfix) with ESMTP id B9820474073	for <gcc-patches@gcc.gnu.org>; Thu, 21 Oct 2010 13:12:02 +0200 (CEST)
Received: from barah.math.u-psud.fr ([127.0.0.1])	by localhost (barah.math.u-psud.fr [127.0.0.1]) (amavisd-new, port 10024)	with ESMTP id uLo28j+PLFTA for <gcc-patches@gcc.gnu.org>;	Thu, 21 Oct 2010 13:12:01 +0200 (CEST)
Received: from [IPv6:::1] (topodyn-ng.math.u-psud.fr [129.175.50.33])	by barah.math.u-psud.fr (Postfix) with ESMTP id EC8F3474050	for <gcc-patches@gcc.gnu.org>; Thu, 21 Oct 2010 13:12:00 +0200 (CEST)
Message-ID: <4CC02000.9080008@free.fr>
Date: Thu, 21 Oct 2010 11:44:00 -0000
From: Duncan Sands <baldrick@free.fr>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.9) Gecko/20100922 Thunderbird/3.1.4
MIME-Version: 1.0
To: gcc-patches@gcc.gnu.org
Subject: Re: [Ada] Optimization of array aggregates
References: <20101021100611.GA18228@adacore.com>
In-Reply-To: <20101021100611.GA18228@adacore.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-IsSubscribed: yes
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
X-SW-Source: 2010-10/txt/msg01816.txt.bz2

Hi Arnaud,

> +      --  The Pure flag will be reset is the current context is not pure.

is the current context -> if the current context

> +      --  For optimization purposes and constant-folding, indicate that the
> +      --  Rep_To_Pos function can be considered free of side effects.


Ciao,

Duncan.