[flang-commits] [flang] 061d52b - [flang] No ENTRY in interfaces (#173577)

[via flang-commits]

Author: Peter Klausler
Date: 2025-12-31T12:42:33-08:00
New Revision: 061d52ba440bb4bd345316a173b8ca968c8c2c49

URL: https://github.com/llvm/llvm-project/commit/061d52ba440bb4bd345316a173b8ca968c8c2c49
DIFF: https://github.com/llvm/llvm-project/commit/061d52ba440bb4bd345316a173b8ca968c8c2c49.diff

LOG: [flang] No ENTRY in interfaces (#173577)

The ISO Fortran standard syntactically allows an ENTRY statement in an
interface body, but doesn't define what it would mean, and no other
compiler accepts it.

Fixes https://github.com/llvm/llvm-project/issues/173523.

Added: 
    

Modified: 
    flang/lib/Semantics/resolve-names.cpp
    flang/test/Semantics/entry01.f90

Removed: 
    


################################################################################
diff  --git a/flang/lib/Semantics/resolve-names.cpp b/flang/lib/Semantics/resolve-names.cpp
index b341dc08eecbf..d744cceffe80f 100644
--- a/flang/lib/Semantics/resolve-names.cpp
+++ b/flang/lib/Semantics/resolve-names.cpp
@@ -4871,7 +4871,13 @@ bool SubprogramVisitor::Pre(const parser::FunctionStmt &) {
   }
   return BeginAttrs();
 }
-bool SubprogramVisitor::Pre(const parser::EntryStmt &) { return BeginAttrs(); }
+bool SubprogramVisitor::Pre(const parser::EntryStmt &stmt) {
+  if (inInterfaceBlock()) {
+    Say(std::get<parser::Name>(stmt.t).source,
+        "An ENTRY statement may not appear in an interface body"_err_en_US);
+  }
+  return BeginAttrs();
+}
 
 void SubprogramVisitor::Post(const parser::FunctionStmt &stmt) {
   const auto &name{std::get<parser::Name>(stmt.t)};

diff  --git a/flang/test/Semantics/entry01.f90 b/flang/test/Semantics/entry01.f90
index 765b18c2e81a8..7176be169643c 100644
--- a/flang/test/Semantics/entry01.f90
+++ b/flang/test/Semantics/entry01.f90
@@ -7,6 +7,10 @@ module m1
   interface
     module subroutine separate
     end subroutine
+    subroutine hasentry
+      !ERROR: An ENTRY statement may not appear in an interface body
+      entry ent
+    end subroutine
   end interface
  contains
   subroutine modproc