Added DefinabilityFlag::VolatileNotDefinable

Author: eugeneepshteyn

flang/lib/Semantics/check-call.cpp

@@ -734,8 +734,8 @@ static void CheckExplicitDataArg(const characteristics::DummyDataObject &dummy,
               characteristics::DummyDataObject::Attr::Asynchronous)) {
         undefinableMessage =
             "Actual argument associated with ASYNCHRONOUS %s is not definable"_warn_en_US;
-      } else if (dummy.attrs.test(
-                     characteristics::DummyDataObject::Attr::Volatile)) {
+      } else if (dummyIsVolatile) {
+        flags.set(DefinabilityFlag::VolatileNotDefinable);
         undefinableMessage =
             "Actual argument associated with VOLATILE %s is not definable"_warn_en_US;
       }

flang/lib/Semantics/definable.cpp

@@ -371,7 +371,8 @@ std::optional<parser::Message> WhyNotDefinable(parser::CharBlock at,
         return parser::Message{at,
             "Variable '%s' has a vector subscript"_err_en_US, expr.AsFortran()};
       }
-    } else if (evaluate::HasTriplet(expr)) {
+    } else if (flags.test(DefinabilityFlag::VolatileNotDefinable) &&
+               evaluate::HasTriplet(expr)) {
       return parser::Message{at,
           "Variable '%s' has array section"_err_en_US, expr.AsFortran()};
     }

flang/lib/Semantics/definable.h

@@ -33,7 +33,7 @@ ENUM_CLASS(DefinabilityFlag,
     SourcedAllocation, // ALLOCATE(a,SOURCE=)
     PolymorphicOkInPure, // don't check for polymorphic type in pure subprogram
     DoNotNoteDefinition, // context does not imply definition
-    AllowEventLockOrNotifyType, PotentialDeallocation)
+    AllowEventLockOrNotifyType, PotentialDeallocation, VolatileNotDefinable)
 
 using DefinabilityFlags =
     common::EnumSet<DefinabilityFlag, DefinabilityFlag_enumSize>;