aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2005-10-21 20:50:52 +0200
committerJakub Jelinek <jakub@gcc.gnu.org>2005-10-21 20:50:52 +0200
commitbf9d2177bff84eab383fa36cdee01e122884d5da (patch)
treedf26fd7465b4b82175c76b362d35b133f23ff38b
parent2c47f8751a5bea5692b8b68e4c89f7ef6c132e41 (diff)
downloadgcc-bf9d2177bff84eab383fa36cdee01e122884d5da.zip
gcc-bf9d2177bff84eab383fa36cdee01e122884d5da.tar.gz
gcc-bf9d2177bff84eab383fa36cdee01e122884d5da.tar.bz2
interface.c (compare_actual_formal): Issue error when attempting to pass an assumed-size array as assumed-shape...
* interface.c (compare_actual_formal): Issue error when attempting to pass an assumed-size array as assumed-shape array argument. * gfortran.dg/assumed_dummy_2.f90: New test. From-SVN: r105765
-rw-r--r--gcc/fortran/ChangeLog5
-rw-r--r--gcc/fortran/interface.c15
-rw-r--r--gcc/testsuite/ChangeLog4
-rw-r--r--gcc/testsuite/gfortran.dg/assumed_dummy_2.f9015
4 files changed, 39 insertions, 0 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index fb77600..be1b909 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2005-10-21 Jakub Jelinek <jakub@redhat.com>
+
+ * interface.c (compare_actual_formal): Issue error when attempting
+ to pass an assumed-size array as assumed-shape array argument.
+
2005-10-20 Erik Edelmann <erik.edelmann@iki.fi>
PR fortran/21625
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index 9edbb15..5314d87 100644
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -1235,6 +1235,21 @@ compare_actual_formal (gfc_actual_arglist ** ap,
return 0;
}
+ if (f->sym->as
+ && f->sym->as->type == AS_ASSUMED_SHAPE
+ && a->expr->expr_type == EXPR_VARIABLE
+ && a->expr->symtree->n.sym->as
+ && a->expr->symtree->n.sym->as->type == AS_ASSUMED_SIZE
+ && (a->expr->ref == NULL
+ || (a->expr->ref->type == REF_ARRAY
+ && a->expr->ref->u.ar.type == AR_FULL)))
+ {
+ if (where)
+ gfc_error ("Actual argument for '%s' cannot be an assumed-size"
+ " array at %L", f->sym->name, where);
+ return 0;
+ }
+
if (a->expr->expr_type != EXPR_NULL
&& compare_pointer (f->sym, a->expr) == 0)
{
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 21af7c0..741fb74 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2005-10-21 Jakub Jelinek <jakub@redhat.com>
+
+ * gfortran.dg/assumed_dummy_2.f90: New test.
+
2005-10-21 James E Wilson <wilson@specifix.com>
PR preprocessor/15220
diff --git a/gcc/testsuite/gfortran.dg/assumed_dummy_2.f90 b/gcc/testsuite/gfortran.dg/assumed_dummy_2.f90
new file mode 100644
index 0000000..e63fa52
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/assumed_dummy_2.f90
@@ -0,0 +1,15 @@
+! { dg-do compile }
+
+ double precision :: arr(5, 8)
+ call bar (arr)
+contains
+ subroutine foo (arr)
+ double precision :: arr(:,:)
+ arr(3, 4) = 24
+ end subroutine foo
+ subroutine bar (arr)
+ double precision :: arr(5,*)
+ call foo (arr) ! { dg-error "cannot be an assumed-size array" }
+ call foo (arr (:, :8))
+ end subroutine
+end