From: Tobias Burnus <tobias@codesourcery.com>
Date: Wed, 27 Oct 2021 08:59:27 +0000 (+0200)
Subject: Fortran: Fix 'select rank' for allocatables/pointers
X-Git-Tag: basepoints/gcc-13~3577
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7f899b23f36f94f907a025d3eeaf3e4640544927;p=thirdparty%2Fgcc.git

Fortran: Fix 'select rank' for allocatables/pointers

gcc/fortran/ChangeLog:

	* trans-stmt.c (gfc_trans_select_rank_cases): Fix condition
	for allocatables/pointers.

gcc/testsuite/ChangeLog:

	* gfortran.dg/PR93963.f90: Extend testcase by scan-tree-dump test.
---

diff --git a/gcc/fortran/trans-stmt.c b/gcc/fortran/trans-stmt.c
index c66a3bee83e6..eaf2cc25f214 100644
--- a/gcc/fortran/trans-stmt.c
+++ b/gcc/fortran/trans-stmt.c
@@ -3685,7 +3685,7 @@ gfc_trans_select_rank_cases (gfc_code * code)
   rank = gfc_conv_descriptor_rank (se.expr);
   rank = gfc_evaluate_now (rank, &block);
   symbol_attribute attr = gfc_expr_attr (code->expr1);
-  if (!attr.pointer || !attr.allocatable)
+  if (!attr.pointer && !attr.allocatable)
     {
       /* Special case for assumed-rank ('rank(*)', internally -1):
 	 rank = (rank == 0 || ubound[rank-1] != -1) ? rank : -1.  */
diff --git a/gcc/testsuite/gfortran.dg/PR93963.f90 b/gcc/testsuite/gfortran.dg/PR93963.f90
index 66c937974ac1..6769d7fe0610 100644
--- a/gcc/testsuite/gfortran.dg/PR93963.f90
+++ b/gcc/testsuite/gfortran.dg/PR93963.f90
@@ -1,4 +1,5 @@
 ! { dg-do run }
+! { dg-additional-options "-fdump-tree-original" }
 !
 ! Test the fix for PR93963
 !
@@ -190,3 +191,7 @@ program selr_p
   deallocate(inta)
 
 end program selr_p
+
+! Special code for assumed rank - but only if not allocatable/pointer
+! Thus, expect it only once for subroutine rank_o but not for rank_a or rank_p
+! { dg-final { scan-tree-dump-times "ubound != -1" 1 "original" } }