From: Steve Kargl <kargl@gcc.gnu.org>
Date: Fri, 23 Dec 2022 04:38:57 +0000 (-0800)
Subject: Remove not needed assert macro which fails.
X-Git-Tag: basepoints/gcc-14~2345
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7e76cd96950f49ce21246d44780e972d86b2bcdd;p=thirdparty%2Fgcc.git

Remove not needed assert macro which fails.

	PR fortran/106731

gcc/fortran/ChangeLog:

	* trans-array.cc (gfc_trans_auto_array_allocation): Remove gcc_assert (!TREE_STATIC()).

gcc/testsuite/ChangeLog:

	* gfortran.dg/pr106731.f90: New test.
---

diff --git a/gcc/fortran/trans-array.cc b/gcc/fortran/trans-array.cc
index b7d4c41b5fec..44177aa0813f 100644
--- a/gcc/fortran/trans-array.cc
+++ b/gcc/fortran/trans-array.cc
@@ -6614,7 +6614,6 @@ gfc_trans_auto_array_allocation (tree decl, gfc_symbol * sym,
   type = TREE_TYPE (type);
 
   gcc_assert (!sym->attr.use_assoc);
-  gcc_assert (!TREE_STATIC (decl));
   gcc_assert (!sym->module);
 
   if (sym->ts.type == BT_CHARACTER
diff --git a/gcc/testsuite/gfortran.dg/pr106731.f90 b/gcc/testsuite/gfortran.dg/pr106731.f90
new file mode 100644
index 000000000000..470830c70695
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr106731.f90
@@ -0,0 +1,58 @@
+! { dg-do run }
+! PR106731 ICE on automatic array of derived type
+module causes_ice
+    implicit none
+
+    type :: t
+        real(8) :: x
+        contains
+        procedure, private :: write_formatted
+        generic :: write(formatted) => write_formatted
+    end type t
+
+    contains
+
+    subroutine write_formatted(this, unit, iotype, v_list, iostat, iomsg)
+       class(t), intent(in) :: this
+       integer, intent(in) :: unit
+       character(*), intent(in) :: iotype
+       integer, intent(in) :: v_list(:)
+       integer, intent(out) :: iostat
+       character(*), intent(inout) :: iomsg
+       write(unit, '(a,3x,f10.5)', iostat=iostat, iomsg=iomsg) 'dummy', this%x
+    end subroutine write_formatted
+
+end module causes_ice
+
+module use_t
+    use causes_ice
+    implicit none
+
+    public :: automatic_alloc
+
+    contains
+
+    subroutine automatic_alloc(n)
+        integer, intent(in) :: n
+
+        ! Automatic array: ICE!
+        type(t) :: automatic(n)
+
+        ! Allocatable: works
+        type(t), allocatable :: alloc(:)
+        allocate(alloc(n))
+        
+        automatic%x = 42.34675_8
+
+        ! Do anything
+        print *, 'n=',n,automatic%x
+        print *, 'n=',n,automatic
+
+    end subroutine automatic_alloc
+
+end module use_t
+
+program test
+    use use_t
+    call automatic_alloc(1)
+end program test