From: Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
Date: Mon, 18 Nov 2013 09:27:11 +0000 (+0000)
Subject: re PR libfortran/51828 (libgfortran build warnings)
X-Git-Tag: releases/gcc-4.9.0~2717
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=74bc175e84798c823fd446be84f1713fe27f3dd8;p=thirdparty%2Fgcc.git

re PR libfortran/51828 (libgfortran build warnings)

	PR libfortran/51828
	* intrinsics/unpack_generic.c (unpack_internal): Let the compiler
	know that dim > 0 to avoid warnings.

From-SVN: r204940
---

diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog
index c18391f106fe..fcbc54834722 100644
--- a/libgfortran/ChangeLog
+++ b/libgfortran/ChangeLog
@@ -1,3 +1,9 @@
+2013-11-18  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+	PR libfortran/51828
+	* intrinsics/unpack_generic.c (unpack_internal): Let the compiler
+	know that dim > 0 to avoid warnings.
+
 2013-11-15  Janne Blomqvist  <jb@gcc.gnu.org>
 	    Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 
diff --git a/libgfortran/intrinsics/unpack_generic.c b/libgfortran/intrinsics/unpack_generic.c
index d06e0a99e278..c57914f06cfd 100644
--- a/libgfortran/intrinsics/unpack_generic.c
+++ b/libgfortran/intrinsics/unpack_generic.c
@@ -144,6 +144,9 @@ unpack_internal (gfc_array_char *ret, const gfc_array_char *vector,
   if (empty)
     return;
 
+  /* This assert makes sure GCC knows we can access *stride[0] later.  */
+  assert (dim > 0);
+
   vstride0 = GFC_DESCRIPTOR_STRIDE_BYTES(vector,0);
   rstride0 = rstride[0];
   fstride0 = fstride[0];