From ebb074aff2cb5e6c434a5c3c44fbd8f239f6f175 Mon Sep 17 00:00:00 2001 From: burnus Date: Mon, 23 Jan 2012 20:38:23 +0000 Subject: 2012-01-23 Tobias Burnus PR fortran/51948 * check.c (variable_check): Fix checking for result variables and deeply nested BLOCKs. 2012-01-23 Tobias Burnus PR fortran/51948 * gfortran.dg/move_alloc_12.f90: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183453 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/fortran/check.c | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) (limited to 'gcc/fortran/check.c') diff --git a/gcc/fortran/check.c b/gcc/fortran/check.c index cb6b94f7f18..4b72a5fb0b3 100644 --- a/gcc/fortran/check.c +++ b/gcc/fortran/check.c @@ -521,15 +521,18 @@ variable_check (gfc_expr *e, int n, bool allow_proc) if (e->expr_type == EXPR_VARIABLE && e->symtree->n.sym->attr.flavor != FL_PARAMETER - && (allow_proc - || !e->symtree->n.sym->attr.function - || (e->symtree->n.sym == e->symtree->n.sym->result - && (e->symtree->n.sym == gfc_current_ns->proc_name - || (gfc_current_ns->parent - && e->symtree->n.sym - == gfc_current_ns->parent->proc_name))))) + && (allow_proc || !e->symtree->n.sym->attr.function)) return SUCCESS; + if (e->expr_type == EXPR_VARIABLE && e->symtree->n.sym->attr.function + && e->symtree->n.sym == e->symtree->n.sym->result) + { + gfc_namespace *ns; + for (ns = gfc_current_ns; ns; ns = ns->parent) + if (ns->proc_name == e->symtree->n.sym) + return SUCCESS; + } + gfc_error ("'%s' argument of '%s' intrinsic at %L must be a variable", gfc_current_intrinsic_arg[n]->name, gfc_current_intrinsic, &e->where); -- cgit v1.2.1