Tweaked the check

eugeneepshteyn · eugeneepshteyn · commit fe2604e8cfc0 · 2025-10-28T14:43:24.000-04:00
diff --git a/flang/lib/Semantics/check-call.cpp b/flang/lib/Semantics/check-call.cpp
@@ -914,7 +914,7 @@ static void CheckExplicitDataArg(const characteristics::DummyDataObject &dummy,
             dummyName);
       }
       // INTENT(OUT) and INTENT(IN OUT) cases are caught elsewhere
-    } else {
+    } else if (!actualIsAllocatable && !dummy.ignoreTKR.test(common::IgnoreTKR::Pointer)) {
       messages.Say(
           "ALLOCATABLE %s must be associated with an ALLOCATABLE actual argument"_err_en_US,
           dummyName);

Original file line number	Diff line number	Diff line change
`@@ -914,7 +914,7 @@ static void CheckExplicitDataArg(const characteristics::DummyDataObject &dummy,`
`914`	`914`	`dummyName);`
`915`	`915`	`}`
`916`	`916`	`// INTENT(OUT) and INTENT(IN OUT) cases are caught elsewhere`
`917`		`- } else {`
	`917`	`+ } else if (!actualIsAllocatable && !dummy.ignoreTKR.test(common::IgnoreTKR::Pointer)) {`
`918`	`918`	`messages.Say(`
`919`	`919`	`"ALLOCATABLE %s must be associated with an ALLOCATABLE actual argument"_err_en_US,`
`920`	`920`	`dummyName);`