Index: flang/lib/Semantics/resolve-names.cpp =================================================================== --- flang/lib/Semantics/resolve-names.cpp +++ flang/lib/Semantics/resolve-names.cpp @@ -7164,13 +7164,13 @@ symbol = &MakeSymbol(context().globalScope(), name.source, Attrs{}); } Resolve(name, *symbol); + ConvertToProcEntity(*symbol); if (!symbol->attrs().test(Attr::INTRINSIC)) { if (CheckImplicitNoneExternal(name.source, *symbol)) { MakeExternal(*symbol); } } CheckEntryDummyUse(name.source, symbol); - ConvertToProcEntity(*symbol); SetProcFlag(name, *symbol, flag); } else if (CheckUseError(name)) { // error was reported @@ -7186,9 +7186,7 @@ if (!SetProcFlag(name, *symbol, flag)) { return; // reported error } - if (!symbol->has()) { - CheckImplicitNoneExternal(name.source, *symbol); - } + CheckImplicitNoneExternal(name.source, *symbol); if (IsProcedure(*symbol) || symbol->has() || symbol->has()) { // Symbols with DerivedTypeDetails and AssocEntityDetails are accepted @@ -7197,7 +7195,7 @@ // references that will be fixed later when analyzing expressions. } else if (symbol->has()) { // Symbols with ObjectEntityDetails are also accepted because this can be - // a mis-parsed array references that will be fixed later. Ensure that if + // a mis-parsed array reference that will be fixed later. Ensure that if // this is a symbol from a host procedure, a symbol with HostAssocDetails // is created for the current scope. // Operate on non ultimate symbol so that HostAssocDetails are also @@ -7217,11 +7215,11 @@ bool ResolveNamesVisitor::CheckImplicitNoneExternal( const SourceName &name, const Symbol &symbol) { - if (isImplicitNoneExternal() && !symbol.attrs().test(Attr::EXTERNAL) && + if (symbol.has() && isImplicitNoneExternal() && + !symbol.attrs().test(Attr::EXTERNAL) && !symbol.attrs().test(Attr::INTRINSIC) && !symbol.HasExplicitInterface()) { Say(name, - "'%s' is an external procedure without the EXTERNAL" - " attribute in a scope with IMPLICIT NONE(EXTERNAL)"_err_en_US); + "'%s' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL)"_err_en_US); return false; } return true; Index: flang/test/Semantics/implicit07.f90 =================================================================== --- flang/test/Semantics/implicit07.f90 +++ flang/test/Semantics/implicit07.f90 @@ -1,7 +1,7 @@ ! RUN: %python %S/test_errors.py %s %flang_fc1 implicit none(external) external x -integer :: f, i +integer :: f, i, arr(1) = [0] call x !ERROR: 'y' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL) call y @@ -11,4 +11,5 @@ !ERROR: 'z' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL) call z end block +print *, arr(1) ! no error end