aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/fortran/ChangeLog5
-rw-r--r--gcc/fortran/expr.c10
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gfortran.dg/substr_8.f9015
4 files changed, 33 insertions, 2 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 9f42349..2b23b99 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2019-03-06 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/71203
+ * expr.c (simplify_const_ref): Avoid null pointer dereference.
+
2019-03-03 Harald Anlauf <anlauf@gmx.de>
Steven G. Kargl <kargl@gcc.gnu.org>
diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index c3d78d3..51552a7 100644
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -1897,8 +1897,14 @@ simplify_const_ref (gfc_expr *p)
string_len = 0;
if (!p->ts.u.cl)
- p->ts.u.cl = gfc_new_charlen (p->symtree->n.sym->ns,
- NULL);
+ {
+ if (p->symtree)
+ p->ts.u.cl = gfc_new_charlen (p->symtree->n.sym->ns,
+ NULL);
+ else
+ p->ts.u.cl = gfc_new_charlen (gfc_current_ns,
+ NULL);
+ }
else
gfc_free_expr (p->ts.u.cl->length);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4175bc4..4908a34 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-03-06 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/71203
+ * gfortran.dg/substr_8.f90: New test.
+
2019-03-06 Jakub Jelinek <jakub@redhat.com>
PR c++/87148
diff --git a/gcc/testsuite/gfortran.dg/substr_8.f90 b/gcc/testsuite/gfortran.dg/substr_8.f90
new file mode 100644
index 0000000..a3b7787
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/substr_8.f90
@@ -0,0 +1,15 @@
+! { dg-do run }
+! PR fortran/71203 - used to ICE on zero-length arrays or substrings
+! Derived from original test cases by Gerhard Steinmetz
+
+program p
+ implicit none
+ character(3), parameter :: a(4) = ' '
+ character(*), parameter :: b(4) = 'abc'
+ character(*), parameter :: x(*) = a(2:2)(3:1)
+ character(*), parameter :: y(*) = a(2:1)(3:1)
+ character(*), parameter :: z(*) = b(2:1)(2:3)
+ if (size (x) /= 1 .or. len(x) /= 0) stop 1
+ if (size (y) /= 0 .or. len(y) /= 0) stop 2
+ if (size (z) /= 0 .or. len(z) /= 2) stop 3
+end