From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-305736-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 9437 invoked by alias); 27 Oct 2011 23:29:41 -0000
Received: (qmail 9387 invoked by uid 22791); 27 Oct 2011 23:29:40 -0000
X-SWARE-Spam-Status: No, hits=-1.4 required=5.0	tests=AWL,BAYES_00,RP_MATCHES_RCVD
X-Spam-Check-By: sourceware.org
Received: from smtp25.services.sfr.fr (HELO smtp25.services.sfr.fr) (93.17.128.120)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 27 Oct 2011 23:29:26 +0000
Received: from filter.sfr.fr (localhost [127.0.0.1])	by msfrf2512.sfr.fr (SMTP Server) with ESMTP id 3D8F27000054;	Fri, 28 Oct 2011 01:29:25 +0200 (CEST)
Received: from gimli.local (145.15.72.86.rev.sfr.net [86.72.15.145])	by msfrf2512.sfr.fr (SMTP Server) with ESMTP id 0C139700004E;	Fri, 28 Oct 2011 01:29:25 +0200 (CEST)
X-SFR-UUID: 20111027232925495.0C139700004E@msfrf2512.sfr.fr
Content-Type: multipart/mixed; boundary="===============3638659008134865558=="
MIME-Version: 1.0
From: Mikael Morin <mikael.morin@sfr.fr>
To: gfortran <fortran@gcc.gnu.org> , GCC patches <gcc-patches@gcc.gnu.org>
Message-ID: <20111027232924.18581.88347@gimli.local>
In-Reply-To: <20111027232908.18581.12145@gimli.local>
References: <20111027232818.18581.901@gimli.local> <20111027232908.18581.12145@gimli.local>
Subject: [Patch, fortran] [09/66] inline sum and product: Preliminary cleanups: Assertify condition.
Date: Thu, 27 Oct 2011 23:36:00 -0000
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: 2011-10/txt/msg02574.txt.bz2


--===============3638659008134865558==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-length: 0


--===============3638659008134865558==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="pr43829-9.CL"
Content-length: 117

2011-10-19  Mikael Morin  <mikael@gcc.gnu.org>

	* trans-array.c (gfc_trans_preloop_setup): Assertify one condition.

--===============3638659008134865558==
Content-Type: text/x-diff; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="pr43829-9.patch"
Content-length: 388

diff --git a/trans-array.c b/trans-array.c
index 5500ec4..8359af2 100644
--- a/trans-array.c
+++ b/trans-array.c
@@ -2885,8 +2885,7 @@ gfc_trans_preloop_setup (gfc_loopinfo * loop, int dim, int flag,
 
       info = &ss->data.info;
 
-      if (dim >= info->dimen)
-	continue;
+      gcc_assert (dim < info->dimen);
       gcc_assert (info->dimen == loop->dimen);
 
       if (info->ref)

--===============3638659008134865558==--