X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=blobdiff_plain;f=gcc%2Ffortran%2Fresolve.c;h=d682b223b453f58a48d233379e60b3a30707793d;hp=a4d220ae744ae2b68ac509ba738b92f0ce13118d;hb=8f6339b66c78908b549a151efa3f72469b4a8f33;hpb=c5a2108d69b2f24ed6cc1d4d996b7bd056d46958 diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index a4d220ae744..d682b223b45 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -675,7 +675,7 @@ was_declared (gfc_symbol * sym) return 1; if (a.allocatable || a.dimension || a.dummy || a.external || a.intrinsic - || a.optional || a.pointer || a.save || a.target || a.volatile_ + || a.optional || a.pointer || a.save || a.target || a.volatile_ || a.value || a.access != ACCESS_UNKNOWN || a.intent != INTENT_UNKNOWN) return 1; @@ -5523,7 +5523,9 @@ resolve_fl_procedure (gfc_symbol *sym, int mp_flag) return FAILURE; st = gfc_find_symtree (gfc_current_ns->sym_root, sym->name); - if (st && st->ambiguous && !sym->attr.generic) + if (st && st->ambiguous + && sym->attr.referenced + && !sym->attr.generic) { gfc_error ("Procedure %s at %L is ambiguous", sym->name, &sym->declared_at); @@ -5959,6 +5961,14 @@ resolve_symbol (gfc_symbol * sym) return; } + if (sym->attr.value && !sym->attr.dummy) + { + gfc_error ("'%s' at %L cannot have the VALUE attribute because " + "it is not a dummy", sym->name, &sym->declared_at); + return; + } + + /* If a derived type symbol has reached this point, without its type being declared, we have an error. Notice that most conditions that produce undefined derived types have already