[gcc r12-6322] Fortran: Fix ICE in argument_rank_mismatch [PR103287]

[gcc r12-6322] Fortran: Fix ICE in argument_rank_mismatch [PR103287]

[Sandra Loosemore]

https://gcc.gnu.org/g:8e2771069ed0c157cca825d6af5792e94c4407c1

commit r12-6322-g8e2771069ed0c157cca825d6af5792e94c4407c1
Author: Sandra Loosemore <sandra@codesourcery.com>
Date:   Wed Jan 5 13:18:10 2022 -0800

    Fortran: Fix ICE in argument_rank_mismatch [PR103287]
    
    This patch removes an incorrect assertion.  A user-friendly error for this
    case is already given elsewhere.
    
    2022-01-05  Steve Kargl  <kargl@gcc.gnu.org>
                Sandra Loosemore  <sandra@codesourcery.com>
    
            PR fortran/103287
    
            gcc/fortran/
            * interface.c (argument_rank_mismatch): Replace incorrect assertion
            with return.
    
            gcc/testsuite/
            * gfortran.dg/c-interop/pr103287-1.f90: new.
            * gfortran.dg/c-interop/pr103287-2.f90: new.

Diff:
---
 gcc/fortran/interface.c                            | 6 +++++-
 gcc/testsuite/gfortran.dg/c-interop/pr103287-1.f90 | 9 +++++++++
 gcc/testsuite/gfortran.dg/c-interop/pr103287-2.f90 | 9 +++++++++
 3 files changed, 23 insertions(+), 1 deletion(-)

diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index 4be95834def..0fd881dec15 100644
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -2237,7 +2237,11 @@ argument_rank_mismatch (const char *name, locus *where,
     }
   else
     {
-      gcc_assert (rank2 != -1);
+      if (rank2 == -1)
+	/* This is an assumed rank-actual passed to a function without
+	   an explicit interface, which is already diagnosed in
+	   gfc_procedure_use.  */
+	return;
       if (rank1 == 0)
 	gfc_error_opt (0, "Rank mismatch between actual argument at %L "
 		       "and actual argument at %L (scalar and rank-%d)",
diff --git a/gcc/testsuite/gfortran.dg/c-interop/pr103287-1.f90 b/gcc/testsuite/gfortran.dg/c-interop/pr103287-1.f90
new file mode 100644
index 00000000000..aeca52f01da
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/c-interop/pr103287-1.f90
@@ -0,0 +1,9 @@
+! { dg-do compile }
+
+subroutine g
+   call s([1])
+end
+subroutine h(x)
+   integer, pointer :: x(..)
+   call s(x) ! { dg-error "Assumed-rank argument requires an explicit interface" } 
+end
diff --git a/gcc/testsuite/gfortran.dg/c-interop/pr103287-2.f90 b/gcc/testsuite/gfortran.dg/c-interop/pr103287-2.f90
new file mode 100644
index 00000000000..0e724b8fa47
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/c-interop/pr103287-2.f90
@@ -0,0 +1,9 @@
+! { dg-do compile }
+
+subroutine g
+   call s(1)
+end
+subroutine h(x)
+   integer, pointer :: x(..)
+   call s(x) ! { dg-error "Assumed-rank argument requires an explicit interface" } 
+end