aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorHarald Anlauf <anlauf@gmx.de>2022-09-20 22:41:48 +0200
committerHarald Anlauf <anlauf@gmx.de>2022-09-20 22:41:48 +0200
commit5976fbf9d5dd9542fcb82eebb2185886fd52d000 (patch)
treeaf107cfe56108ec38bf35db35bbfd934c3078fe9 /gcc
parent8dbb15bc2d019488240c1e69d93121b0347ac092 (diff)
downloadgcc-5976fbf9d5dd9542fcb82eebb2185886fd52d000.zip
gcc-5976fbf9d5dd9542fcb82eebb2185886fd52d000.tar.gz
gcc-5976fbf9d5dd9542fcb82eebb2185886fd52d000.tar.bz2
Fortran: error recovery on invalid ARRAY argument to FINDLOC [PR106986]
gcc/fortran/ChangeLog: PR fortran/106986 * simplify.cc (gfc_simplify_findloc): Do not try to simplify intrinsic FINDLOC when the ARRAY argument has a NULL shape. gcc/testsuite/ChangeLog: PR fortran/106986 * gfortran.dg/pr106986.f90: New test.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/fortran/simplify.cc1
-rw-r--r--gcc/testsuite/gfortran.dg/pr106986.f908
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/fortran/simplify.cc b/gcc/fortran/simplify.cc
index 140c177..c0fbd0e 100644
--- a/gcc/fortran/simplify.cc
+++ b/gcc/fortran/simplify.cc
@@ -5895,6 +5895,7 @@ gfc_simplify_findloc (gfc_expr *array, gfc_expr *value, gfc_expr *dim,
bool back_val = false;
if (!is_constant_array_expr (array)
+ || array->shape == NULL
|| !gfc_is_constant_expr (dim))
return NULL;
diff --git a/gcc/testsuite/gfortran.dg/pr106986.f90 b/gcc/testsuite/gfortran.dg/pr106986.f90
new file mode 100644
index 0000000..a309b25
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr106986.f90
@@ -0,0 +1,8 @@
+! { dg-do compile }
+! PR fortran/106986 - ICE in simplify_findloc_nodim
+! Contributed by G.Steinmetz
+
+program p
+ integer, parameter :: a(:) = [1] ! { dg-error "deferred shape" }
+ print *, findloc (a, 1)
+end