Allow passing to intrinsic

Author: foxtran

flang/lib/Semantics/check-call.cpp

@@ -29,15 +29,18 @@ namespace Fortran::semantics {
 // Raise warnings for some dangerous context of passing global variables
 // - any variable from common blocks except
 //   - 1-element arrays being single member of COMMON
+//   - passed to intrinsic
 // - avy variable from module except
 //   - having attribute PARAMETER or PRIVATE
 //   - having DERIVED type
+//   - passed to intrinsic
 //   - being arrays having 1-D rank and is not having ALLOCATABLE or POINTER or
 //       VOLATILE attributes
 static void CheckPassGlobalVariable(
     const evaluate::Expr<evaluate::SomeType> &actual,
     const parser::ContextualMessages &messages, SemanticsContext &context,
-    evaluate::FoldingContext &foldingContext) {
+    evaluate::FoldingContext &foldingContext,
+    const evaluate::SpecificIntrinsic *intrinsic) {
   const Symbol *actualFirstSymbol{evaluate::GetFirstSymbol(actual)};
   if (actualFirstSymbol) {
     bool warn{false};
@@ -47,7 +50,9 @@ static void CheckPassGlobalVariable(
       const Symbol *common{FindCommonBlockContaining(*actualFirstSymbol)};
       ownerType = "COMMON";
       ownerName = common->name().ToString();
-      if (!(actualFirstSymbol->Rank() == 1 &&
+      if (intrinsic) {
+        warn |= false;
+      } else if (!(actualFirstSymbol->Rank() == 1 &&
                      actualFirstSymbol->offset() == 0)) {
         warn |= true;
       } else if (actualFirstSymbol->Rank() == 1) {
@@ -79,6 +84,8 @@ static void CheckPassGlobalVariable(
                      actualFirstSymbol, foldingContext)};
           type->type().category() == TypeCategory::Derived) {
         warn |= false;
+      } else if (intrinsic) {
+        warn |= false;
       } else if (actualFirstSymbol->Rank() != 1) {
         warn |= true;
       } else if (!actualFirstSymbol->attrs().test(Attr::ALLOCATABLE) &&
@@ -201,7 +208,8 @@ static void CheckImplicitInterfaceArg(evaluate::ActualArgument &arg,
   }
 
   if (const auto *expr{arg.UnwrapExpr()}) {
-    CheckPassGlobalVariable(*expr, messages, context, foldingContext);
+    CheckPassGlobalVariable(*expr, messages, context, foldingContext,
+        /*intrinsic=*/nullptr);
   }
 }
 
@@ -1239,7 +1247,7 @@ static void CheckExplicitDataArg(const characteristics::DummyDataObject &dummy,
         "%VAL argument must be a scalar numeric or logical expression"_err_en_US);
   }
 
-  CheckPassGlobalVariable(actual, messages, context, foldingContext);
+  CheckPassGlobalVariable(actual, messages, context, foldingContext, intrinsic);
 }
 
 static void CheckProcedureArg(evaluate::ActualArgument &arg,