re PR fortran/82367 (ICE with deferred length string allocate on non-deferred length...

2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/82367
	* resolve.c (resolve_allocate_expr): Check for NULL pointer.

2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/82367
	* gfortran.dg/deferred_character_18.f90: New test.

From-SVN: r256464

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 6bad1a6e1d2a6c4eb0137c5432802dace2d0cac5..f4289343cc1428e30ba65349bc57d91595ac4a3c 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/82367
+       * resolve.c (resolve_allocate_expr): Check for NULL pointer.
+
 2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>
 
        PR fortran/83093

diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index 195048354a8969085216208091b9f12b6dddf710..e9f91d883ef3c43353e5788bf6bab37e72353f45 100644 (file)
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -7484,8 +7484,13 @@ resolve_allocate_expr (gfc_expr *e, gfc_code *code, bool *array_alloc_wo_spec)
   if (code->ext.alloc.ts.type == BT_CHARACTER && !e->ts.deferred
       && !UNLIMITED_POLY (e))
     {
-      int cmp = gfc_dep_compare_expr (e->ts.u.cl->length,
-                                     code->ext.alloc.ts.u.cl->length);
+      int cmp;
+
+      if (!e->ts.u.cl->length)
+       goto failure;
+
+      cmp = gfc_dep_compare_expr (e->ts.u.cl->length,
+                                 code->ext.alloc.ts.u.cl->length);
       if (cmp == 1 || cmp == -1 || cmp == -3)
        {
          gfc_error ("Allocating %s at %L with type-spec requires the same "

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 10273a9d8a68f3312aec89cf7fea186aec8f21ff..4ac9461afd22cdbc6f9f7485f7c738b897028680 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/82367
+       * gfortran.dg/deferred_character_18.f90: New test.
+
 2018-01-10  Martin Sebor  <msebor@redhat.com>
 
        PR tree-optimization/83671

diff --git a/gcc/testsuite/gfortran.dg/deferred_character_18.f90 b/gcc/testsuite/gfortran.dg/deferred_character_18.f90
new file mode 100644 (file)
index 0000000..1b1457f
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/deferred_character_18.f90
@@ -0,0 +1,29 @@
+! { dg-do compile }
+! PR Fortran/82367
+! Contributed by Walter Spector <w6ws at earthlink dot net>
+module cls_allocmod
+  implicit none
+
+contains
+
+ subroutine cls_alloc (n, str)
+    integer,  intent(in) :: n
+    character(*), allocatable, intent(out) :: str
+!  Note: Star ^ should have been a colon (:)
+
+    allocate (character(n)::str)
+
+  end subroutine
+
+end module
+
+program cls
+  use cls_allocmod
+  implicit none
+
+  character(:), allocatable :: s
+
+  call cls_alloc(42, s) ! { dg-error "allocatable or pointer dummy argument" }
+  print *, 'string len =', len(s)
+
+end program