* [PATCH] PR fortran/69395 -- don't exceed max allowed array dimensions
@ 2018-03-15 1:33 Steve Kargl
2018-03-15 20:34 ` Thomas Koenig
2018-03-16 2:17 ` Jerry DeLisle
0 siblings, 2 replies; 3+ messages in thread
From: Steve Kargl @ 2018-03-15 1:33 UTC (permalink / raw)
To: fortran, gcc-patches
[-- Attachment #1: Type: text/plain, Size: 470 bytes --]
The attachedi patch detects situations where the sum of
an array's rank and corank exceeds the maximum allowed
by the Standard. Regression tested on x86_64-*-freebsd.
2018-03-14 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/69395
* decl.c (merge_array_spec): Limit the merging to maximum allowed
dimensions, and issue error message if limit is exceeded.
2018-03-14 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/69395
* gfortran.dg/pr69395.f90
--
Steve
[-- Attachment #2: pr69395.diff --]
[-- Type: text/x-diff, Size: 2442 bytes --]
Index: gcc/fortran/decl.c
===================================================================
--- gcc/fortran/decl.c (revision 258537)
+++ gcc/fortran/decl.c (working copy)
@@ -804,7 +804,7 @@ cleanup:
static bool
merge_array_spec (gfc_array_spec *from, gfc_array_spec *to, bool copy)
{
- int i;
+ int i, j;
if ((from->type == AS_ASSUMED_RANK && to->corank)
|| (to->type == AS_ASSUMED_RANK && from->corank))
@@ -822,8 +822,14 @@ merge_array_spec (gfc_array_spec *from, gfc_array_spec
for (i = 0; i < to->corank; i++)
{
- to->lower[from->rank + i] = to->lower[i];
- to->upper[from->rank + i] = to->upper[i];
+ /* Do not exceed the limits on lower[] and upper[]. gfortran
+ cleans up elsewhere. */
+ j = from->rank + i;
+ if (j >= GFC_MAX_DIMENSIONS)
+ break;
+
+ to->lower[j] = to->lower[i];
+ to->upper[j] = to->upper[i];
}
for (i = 0; i < from->rank; i++)
{
@@ -846,19 +852,33 @@ merge_array_spec (gfc_array_spec *from, gfc_array_spec
for (i = 0; i < from->corank; i++)
{
+ /* Do not exceed the limits on lower[] and upper[]. gfortran
+ cleans up elsewhere. */
+ j = to->rank + i;
+ if (j >= GFC_MAX_DIMENSIONS)
+ break;
+
if (copy)
{
- to->lower[to->rank + i] = gfc_copy_expr (from->lower[i]);
- to->upper[to->rank + i] = gfc_copy_expr (from->upper[i]);
+ to->lower[j] = gfc_copy_expr (from->lower[i]);
+ to->upper[j] = gfc_copy_expr (from->upper[i]);
}
else
{
- to->lower[to->rank + i] = from->lower[i];
- to->upper[to->rank + i] = from->upper[i];
+ to->lower[j] = from->lower[i];
+ to->upper[j] = from->upper[i];
}
}
}
+ if (to->rank + to->corank >= GFC_MAX_DIMENSIONS)
+ {
+ gfc_error ("Sum of array rank %d and corank %d at %C exceeds maximum "
+ "allowed dimensions of %d",
+ to->rank, to->corank, GFC_MAX_DIMENSIONS);
+ to->corank = GFC_MAX_DIMENSIONS - to->rank;
+ return false;
+ }
return true;
}
Index: gcc/testsuite/gfortran.dg/pr69395.f90
===================================================================
--- gcc/testsuite/gfortran.dg/pr69395.f90 (nonexistent)
+++ gcc/testsuite/gfortran.dg/pr69395.f90 (working copy)
@@ -0,0 +1,5 @@
+! { dg-do compile }
+! { dg-options "-fcoarray=single" }
+program p
+real, dimension(1,2,1,2,1,2,1,2), codimension[1,2,1,2,1,2,1,*] :: z ! { dg-error "allowed dimensions" }
+end
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] PR fortran/69395 -- don't exceed max allowed array dimensions
2018-03-15 1:33 [PATCH] PR fortran/69395 -- don't exceed max allowed array dimensions Steve Kargl
@ 2018-03-15 20:34 ` Thomas Koenig
2018-03-16 2:17 ` Jerry DeLisle
1 sibling, 0 replies; 3+ messages in thread
From: Thomas Koenig @ 2018-03-15 20:34 UTC (permalink / raw)
To: sgk, fortran, gcc-patches
Hi Steve,
> The attachedi patch detects situations where the sum of
> an array's rank and corank exceeds the maximum allowed
> by the Standard. Regression tested on x86_64-*-freebsd.
OK for trunk. Thanks for the patch!
Regards, Thomas
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] PR fortran/69395 -- don't exceed max allowed array dimensions
2018-03-15 1:33 [PATCH] PR fortran/69395 -- don't exceed max allowed array dimensions Steve Kargl
2018-03-15 20:34 ` Thomas Koenig
@ 2018-03-16 2:17 ` Jerry DeLisle
1 sibling, 0 replies; 3+ messages in thread
From: Jerry DeLisle @ 2018-03-16 2:17 UTC (permalink / raw)
To: sgk, fortran, gcc-patches
On 03/14/2018 06:23 PM, Steve Kargl wrote:
> The attachedi patch detects situations where the sum of
> an array's rank and corank exceeds the maximum allowed
> by the Standard. Regression tested on x86_64-*-freebsd.
>
> 2018-03-14 Steven G. Kargl <kargl@gcc.gnu.org>
>
> PR fortran/69395
> * decl.c (merge_array_spec): Limit the merging to maximum allowed
> dimensions, and issue error message if limit is exceeded.
>
> 2018-03-14 Steven G. Kargl <kargl@gcc.gnu.org>
>
> PR fortran/69395
> * gfortran.dg/pr69395.f90
>
This looks OK.
Thanks,
Jerry
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-03-16 1:06 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-03-15 1:33 [PATCH] PR fortran/69395 -- don't exceed max allowed array dimensions Steve Kargl
2018-03-15 20:34 ` Thomas Koenig
2018-03-16 2:17 ` Jerry DeLisle
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).