Removed the old code

Author: eugeneepshteyn

flang/lib/Evaluate/check-expression.cpp

@@ -1545,151 +1545,6 @@ class CopyInOutExplicitInterface {
   const characteristics::DummyDataObject &dummyObj_;
 };
 
-static bool MayNeedCopy(FoldingContext &fc, const ActualArgument &actual,
-    const characteristics::DummyDataObject *dummyObj, bool forCopyOut) {
-  const bool forCopyIn = !forCopyOut;
-  if (!evaluate::IsVariable(actual)) {
-    // Actual argument expressions that aren’t variables are copy-in, but
-    // not copy-out.
-    return forCopyIn;
-  }
-  if (dummyObj) { // Explict interface
-    CopyInOutExplicitInterface check{fc, actual, *dummyObj};
-    if (forCopyOut && check.HasIntentIn()) {
-      // INTENT(IN) dummy args never need copy-out
-      return false;
-    }
-    if (forCopyIn && check.HasIntentOut()) {
-      // INTENT(OUT) dummy args never need copy-in
-      return false;
-    }
-    if (check.PassByValue()) {
-      // Pass by value, always copy-in, never copy-out
-      return forCopyIn;
-    }
-    if (check.HaveCoarrayDifferences()) {
-      return true;
-    }
-    // Note: contiguity and polymorphic checks deal with array or assumed rank
-    // arguments
-    if (!check.HaveArrayOrAssumedRankArgs()) {
-      return false;
-    }
-    if (check.HaveContiguityDifferences()) {
-      return true;
-    }
-    if (check.HavePolymorphicDifferences()) {
-      return true;
-    }
-  } else { // Implicit interface
-    if (ExtractCoarrayRef(actual)) {
-      // Coindexed actual args may need copy-in and copy-out with implicit
-      // interface
-      return true;
-    }
-    if (!IsSimplyContiguous(actual, fc)) {
-      // Copy-in:  actual arguments that are variables are copy-in when
-      //           non-contiguous.
-      // Copy-out: vector subscripts could refer to duplicate elements, can't
-      //           copy out.
-      return forCopyOut ? !HasVectorSubscript(actual) : true;
-    }
-  }
-  // For everything else, no copy-in or copy-out
-  return false;
-}
-
-static bool MayNeedCopyIn(FoldingContext &fc, const ActualArgument &actual,
-    const characteristics::DummyDataObject *dummyObj) {
-  if (!evaluate::IsVariable(actual)) {
-    // Actual argument expressions that aren’t variables are copy-in, but
-    // not copy-out.
-    return true;
-  }
-  if (dummyObj) { // Explicit interface
-    CopyInOutExplicitInterface check{fc, actual, *dummyObj};
-    if (check.HasIntentOut()) {
-      // INTENT(OUT) dummy args never need copy-in
-      return false;
-    }
-    if (check.PassByValue()) {
-      // Pass by value, always copy-in, never copy-out
-      return true;
-    }
-    if (check.HaveCoarrayDifferences()) {
-      return true;
-    }
-    // Note: contiguity and polymorphic checks deal with array or assumed rank
-    // arguments
-    if (!check.HaveArrayOrAssumedRankArgs()) {
-      return false;
-    }
-    if (check.HaveContiguityDifferences()) {
-      return true;
-    }
-    if (check.HavePolymorphicDifferences()) {
-      return true;
-    }
-  } else { // Implicit interface
-    if (ExtractCoarrayRef(actual)) {
-      // Coindexed actual args may need copy-in and copy-out with implicit
-      // interface
-      return true;
-    }
-    if (!IsSimplyContiguous(actual, fc)) {
-      // Actual arguments that are variables are copy-in when non-contiguous.
-      return true;
-    }
-  }
-  // For everything else assume no copy-in
-  return false;
-}
-
-static bool MayNeedCopyOut(FoldingContext &fc, const ActualArgument &actual,
-    const characteristics::DummyDataObject *dummyObj) {
-  if (!evaluate::IsVariable(actual)) {
-    // Expressions are never copy-out
-    return false;
-  }
-  if (dummyObj) { // Explict interface
-    CopyInOutExplicitInterface check{fc, actual, *dummyObj};
-    if (check.HasIntentIn()) {
-      // INTENT(IN) dummy args never need copy-out
-      return false;
-    }
-    if (check.PassByValue()) {
-      // Pass by value is never copy-out
-      return false;
-    }
-    if (check.HaveCoarrayDifferences()) {
-      return true;
-    }
-    // Note: contiguity and polymorphic checks deal with array or assumed rank
-    // arguments
-    if (!check.HaveArrayOrAssumedRankArgs()) {
-      return false;
-    }
-    if (check.HaveContiguityDifferences()) {
-      return true;
-    }
-    if (check.HavePolymorphicDifferences()) {
-      return true;
-    }
-  } else { // Implicit interface
-    if (ExtractCoarrayRef(actual)) {
-      // Coindexed actual args may need copy-in and copy-out with implicit
-      // interface
-      return true;
-    }
-    if (!IsSimplyContiguous(actual, fc)) {
-      // Vector subscripts could refer to duplicate elements, can't copy out
-      return !HasVectorSubscript(actual);
-    }
-  }
-  // For everything else assume no copy-out
-  return false;
-}
-
 // If forCopyOut is false, returns if a particular actual/dummy argument
 // combination may need a temporary creation with copy-in operation. If
 // forCopyOut is true, returns the same for copy-out operation. For