diff options
| -rw-r--r-- | flang/lib/Semantics/resolve-names.cpp | 5 | ||||
| -rw-r--r-- | flang/test/Semantics/resolve20.f90 | 11 |
2 files changed, 15 insertions, 1 deletions
diff --git a/flang/lib/Semantics/resolve-names.cpp b/flang/lib/Semantics/resolve-names.cpp index 73c624a..2412758 100644 --- a/flang/lib/Semantics/resolve-names.cpp +++ b/flang/lib/Semantics/resolve-names.cpp @@ -5879,7 +5879,10 @@ void ResolveNamesVisitor::HandleProcedureName( return; // reported error } CheckImplicitNoneExternal(name.source, *symbol); - if (IsProcedure(*symbol) || symbol->has<DerivedTypeDetails>() || + if (symbol->has<SubprogramDetails>() && + symbol->attrs().test(Attr::ABSTRACT)) { + Say(name, "Abstract interface '%s' may not be called"_err_en_US); + } else if (IsProcedure(*symbol) || symbol->has<DerivedTypeDetails>() || symbol->has<ObjectEntityDetails>() || symbol->has<AssocEntityDetails>()) { // Symbols with DerivedTypeDetails, ObjectEntityDetails and diff --git a/flang/test/Semantics/resolve20.f90 b/flang/test/Semantics/resolve20.f90 index f9cfc7c..94bd4c1 100644 --- a/flang/test/Semantics/resolve20.f90 +++ b/flang/test/Semantics/resolve20.f90 @@ -61,7 +61,18 @@ module m procedure(proc), deferred :: p1 end type t1 + abstract interface + function f() + end function + end interface + contains subroutine bar end subroutine + subroutine test + !ERROR: Abstract interface 'foo' may not be called + call foo() + !ERROR: Abstract interface 'f' may not be called + x = f() + end subroutine end module |