[flang-commits] [flang] [flang][semantics] add portability warning and tests for copy-in/copy-out case (PR #153263)

[Peter Klausler via flang-commits]

================
@@ -1203,6 +1203,10 @@ bool HasVectorSubscript(const Expr<SomeType> &expr) {
   return HasVectorSubscriptHelper{}(expr);
 }
 
+bool IsArraySection(const Expr<SomeType> &expr) {
+  return expr.Rank() > 0 && IsVariable(expr) && !UnwrapWholeSymbolDataRef(expr);
----------------
klausler wrote:

Neither.  You want to emit a warning when a volatile actual argument is going to be passed via a temporary buffer, yes?  Then the case I mentioned will be a false negative, I think.

https://github.com/llvm/llvm-project/pull/153263