Allow allocatable/pointer association if ignore_tkr(p) is given

eugeneepshteyn · eugeneepshteyn · commit 6d15b2d76e4d · 2025-10-28T12:04:53.000-04:00
diff --git a/flang/lib/Semantics/check-call.cpp b/flang/lib/Semantics/check-call.cpp
@@ -929,7 +929,7 @@ static void CheckExplicitDataArg(const characteristics::DummyDataObject &dummy,
             dummy, actual, *scope,
             /*isAssumedRank=*/dummyIsAssumedRank, actualIsPointer);
       }
-    } else if (!actualIsPointer) {
+    } else if (!actualIsPointer && !dummy.ignoreTKR.test(common::IgnoreTKR::Pointer)) {
       messages.Say(
           "Actual argument associated with POINTER %s must also be POINTER unless INTENT(IN)"_err_en_US,
           dummyName);

Original file line number	Diff line number	Diff line change
`@@ -929,7 +929,7 @@ static void CheckExplicitDataArg(const characteristics::DummyDataObject &dummy,`
`929`	`929`	`dummy, actual, *scope,`
`930`	`930`	`/isAssumedRank=/dummyIsAssumedRank, actualIsPointer);`
`931`	`931`	`}`
`932`		`- } else if (!actualIsPointer) {`
	`932`	`+ } else if (!actualIsPointer && !dummy.ignoreTKR.test(common::IgnoreTKR::Pointer)) {`
`933`	`933`	`messages.Say(`
`934`	`934`	`"Actual argument associated with POINTER %s must also be POINTER unless INTENT(IN)"_err_en_US,`
`935`	`935`	`dummyName);`