re PR fortran/71764 (ICE in gfc_trans_structure_assign)

2016-07-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

	PR fortran/71764
	* trans-expr.c (gfc_trans_structure_assign): Remove assert.

	* gfortran.dg/pr71764.f90: New test.

From-SVN: r238156

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f4d84e85557e9fe2510c343edf26797fe36f6d11..afd9f061baac4f3591cb032539742a86bfd9b217 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2016-07-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
+
+       PR fortran/71764
+       * trans-expr.c (gfc_trans_structure_assign): Remove assert.
+
 2016-07-07  Martin Liska  <mliska@suse.cz>
 
        * lang.opt (Wundefined-do-loop): New option.

diff --git a/gcc/fortran/trans-expr.c b/gcc/fortran/trans-expr.c
index b5731aa8bbe2a48cc8bfddf21b5cc4a2edaeb1da..4321850b59d1de0c6ef36f0eb912880b12a0c073 100644 (file)
--- a/gcc/fortran/trans-expr.c
+++ b/gcc/fortran/trans-expr.c
@@ -7358,7 +7358,6 @@ gfc_trans_structure_assign (tree dest, gfc_expr * expr, bool init)
     {
       gfc_se se, lse;
 
-      gcc_assert (cm->backend_decl == NULL);
       gfc_init_se (&se, NULL);
       gfc_init_se (&lse, NULL);
       gfc_conv_expr (&se, gfc_constructor_first (expr->value.constructor)->expr);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c61e6e5a201afaca7ed1479a5aed1abe22f4b257..22a4a5888030f978b2623ca976f8600e54075324 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-07-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
+
+       PR fortran/71764
+       * gfortran.dg/pr71764.f90: New test.
+
 2016-07-07  Jakub Jelinek  <jakub@redhat.com>
            Kai Tietz  <ktietz70@googlemail.com>
 

diff --git a/gcc/testsuite/gfortran.dg/pr71764.f90 b/gcc/testsuite/gfortran.dg/pr71764.f90
new file mode 100644 (file)
index 0000000..48176f8
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr71764.f90
@@ -0,0 +1,34 @@
+! { dg-do run }
+! PR71764 
+program p
+   use iso_c_binding, only: c_ptr, c_null_ptr, c_ptr, c_associated, c_loc
+   logical, target :: rls
+   real, target :: t = 3.14
+   type(c_ptr) :: nullptr,c
+   real, pointer :: k
+   nullptr = c_null_ptr
+   c = nullptr
+   rls = c_associated(c)
+   if (rls) call abort
+   if (c_associated(c)) call abort
+   c = c_loc(rls)
+   if (.not. c_associated(c)) call abort
+   c = nullptr
+   if (c_associated(c)) call abort
+   c = c_loc(t)
+   k => t
+   call association_test(k, c)
+contains
+  subroutine association_test(a,b)
+    use iso_c_binding, only: c_associated, c_loc, c_ptr
+    implicit none
+    real, pointer :: a
+    type(c_ptr) :: b
+    if(c_associated(b, c_loc(a))) then
+       return
+    else
+       call abort
+    end if
+  end subroutine association_test
+end
+