/* Check functions
- Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
+ Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
+ 2011, 2012
Free Software Foundation, Inc.
Contributed by Andy Vaught & Katherine Holcomb
return FAILURE;
if (allocatable_check (from, 0) == FAILURE)
return FAILURE;
+ if (gfc_is_coindexed (from))
+ {
+ gfc_error ("The FROM argument to MOVE_ALLOC at %L shall not be "
+ "coindexed", &from->where);
+ return FAILURE;
+ }
if (variable_check (to, 1, false) == FAILURE)
return FAILURE;
if (allocatable_check (to, 1) == FAILURE)
return FAILURE;
+ if (gfc_is_coindexed (to))
+ {
+ gfc_error ("The TO argument to MOVE_ALLOC at %L shall not be "
+ "coindexed", &to->where);
+ return FAILURE;
+ }
if (from->ts.type == BT_CLASS && to->ts.type == BT_DERIVED)
{
gfc_error ("The TO arguments in MOVE_ALLOC at %L must be "
"polymorphic if FROM is polymorphic",
- &from->where);
+ &to->where);
return FAILURE;
}
if (to->rank != from->rank)
{
- gfc_error ("the '%s' and '%s' arguments of '%s' intrinsic at %L must "
- "have the same rank %d/%d", gfc_current_intrinsic_arg[0]->name,
- gfc_current_intrinsic_arg[1]->name, gfc_current_intrinsic,
- &to->where, from->rank, to->rank);
+ gfc_error ("The FROM and TO arguments of the MOVE_ALLOC intrinsic at %L "
+ "must have the same rank %d/%d", &to->where, from->rank,
+ to->rank);
+ return FAILURE;
+ }
+
+ /* IR F08/0040; cf. 12-006A. */
+ if (gfc_get_corank (to) != gfc_get_corank (from))
+ {
+ gfc_error ("The FROM and TO arguments of the MOVE_ALLOC intrinsic at %L "
+ "must have the same corank %d/%d", &to->where,
+ gfc_get_corank (from), gfc_get_corank (to));
return FAILURE;
}
if (to->ts.kind != from->ts.kind)
{
- gfc_error ("the '%s' and '%s' arguments of '%s' intrinsic at %L must "
- "be of the same kind %d/%d",
- gfc_current_intrinsic_arg[0]->name,
- gfc_current_intrinsic_arg[1]->name, gfc_current_intrinsic,
- &to->where, from->ts.kind, to->ts.kind);
+ gfc_error ("The FROM and TO arguments of the MOVE_ALLOC intrinsic at %L"
+ " must be of the same kind %d/%d", &to->where, from->ts.kind,
+ to->ts.kind);
return FAILURE;
}
--- /dev/null
+! { dg-do compile }
+! { dg-options "-fcoarray=single" }
+!
+! Coarray/coindex checks for MOVE_ALLOC
+!
+integer, allocatable :: a(:), b(:)[:,:], c(:)[:,:]
+
+type t
+ integer, allocatable :: d(:)
+end type t
+type(t) :: x[*]
+class(t), allocatable :: y[:], z[:], u
+
+
+call move_alloc (A, b) ! { dg-error "must have the same corank" }
+call move_alloc (c, A) ! { dg-error "must have the same corank" }
+call move_alloc (b, c) ! OK - same corank
+
+call move_alloc (u, y) ! { dg-error "must have the same corank" }
+call move_alloc (z, u) ! { dg-error "must have the same corank" }
+call move_alloc (y, z) ! OK - same corank
+
+
+call move_alloc (x%d, a) ! OK
+call move_alloc (a, x%d) ! OK
+call move_alloc (x[1]%d, a) ! { dg-error "The FROM argument to MOVE_ALLOC at .1. shall not be coindexed" }
+call move_alloc (a, x[1]%d) ! { dg-error "The TO argument to MOVE_ALLOC at .1. shall not be coindexed" }
+
+call move_alloc (y%d, a) ! OK
+call move_alloc (a, y%d) ! OK
+call move_alloc (y[1]%d, a) ! { dg-error "The FROM argument to MOVE_ALLOC at .1. shall not be coindexed" }
+call move_alloc (a, y[1]%d) ! { dg-error "The TO argument to MOVE_ALLOC at .1. shall not be coindexed" }
+
+end