[flang] Address review comments

Original-commit: flang-compiler/f18@3ed6199fedc2ba0d527cc7dd46c5ab67a7f0f1c7
Reviewed-on: https://github.com/flang-compiler/f18/pull/316
Tree-same-pre-rewrite: false

diff --git a/flang/lib/evaluate/fold.cc b/flang/lib/evaluate/fold.cc
index f93274a..ee778e8 100644 (file)
--- a/flang/lib/evaluate/fold.cc
+++ b/flang/lib/evaluate/fold.cc
@@ -802,7 +802,7 @@ FOR_EACH_TYPE_AND_KIND(template class ExpressionBase)
 
 class IsConstantExprVisitor : public virtual TraversalBase<bool> {
 public:
-  explicit IsConstantExprVisitor(std::nullptr_t) {}
+  explicit IsConstantExprVisitor(int) { result() = true; }
 
   template<int KIND> void Handle(const TypeParamInquiry<KIND> &inq) {
     Check(inq.parameter().template get<semantics::TypeParamDetails>().attr() ==
@@ -833,8 +833,7 @@ private:
 };
 
 bool IsConstantExpr(const Expr<SomeType> &expr) {
-  Traversal<bool, IsConstantExprVisitor> traverser{nullptr};
-  return !traverser.Traverse(expr).has_value();  // only no news is good news
+  return Traversal<bool, IsConstantExprVisitor>{0}.Traverse(expr);
 }
 
 std::optional<std::int64_t> ToInt64(const Expr<SomeInteger> &expr) {

diff --git a/flang/lib/evaluate/traversal.h b/flang/lib/evaluate/traversal.h
index 9504391..2f6148e 100644 (file)
--- a/flang/lib/evaluate/traversal.h
+++ b/flang/lib/evaluate/traversal.h
@@ -19,22 +19,54 @@
 #include <type_traits>
 
 // Implements an expression traversal utility framework.
+// See fold.cc to see how this framework is used to implement detection
+// of constant expressions.
+//
+// To use, define one or more client visitation classes of the form:
+//   class MyVisitor : public virtual TraversalBase<RESULT> {
+//     explicit MyVisitor(ARGTYPE);  // single-argument constructor
+//     void Handle(const T1 &);  // callback for type T1 objects
+//     void Pre(const T2 &);  // callback before visiting T2
+//     void Post(const T2 &);  // callback after visiting T2
+//     ...
+//   };
+// RESULT should have some default-constructible type.
+// Then instantiate and construct a Traversal and its embedded MyVisitor via:
+//   Traversal<RESULT, MyVisitor, ...> t{value};  // value is ARGTYPE &&
+// and call:
+//   RESULT result{t.Traverse(topLevelExpr)};
+// Within the callback routines (Handle, Pre, Post), one may call
+//   void Stop();  // to end traversal
+//   void Return(...);  // to emplace-construct the result and end traversal
+//   RESULT &result();  // to reference the result to define or update it
+// For any given expression object type T for which a callback is defined
+// in any visitor class, the callback must be distinct from all others.
+// Further, if there is a Handle(const T &) callback, there cannot be a
+// Pre() or a Post().
+
 namespace Fortran::evaluate {
 
 template<typename RESULT> class TraversalBase {
 public:
   using Result = RESULT;
-  // Note the weird return type; it distinguishes this default Handle
-  // from any void-valued override.
+
+  Result &result() { return result_; }
+
+  // Note the odd return type; it distinguishes these default callbacks
+  // from any void-valued client callback.
   template<typename A> std::nullptr_t Handle(const A &) { return nullptr; }
-  template<typename A> void Pre(const A &) {}
-  template<typename A> void Post(const A &) {}
-  template<typename... A> void Return(A &&... x) {
-    result_.emplace(std::move(x)...);
+  template<typename A> std::nullptr_t Pre(const A &) { return nullptr; }
+  template<typename A> std::nullptr_t Post(const A &) { return nullptr; }
+
+  void Stop() { done_ = true; }
+  void Return(RESULT &&x) {
+    result_ = std::move(x);
+    Stop();
   }
 
 protected:
-  std::optional<Result> result_;
+  bool done_{false};
+  Result result_;
 };
 
 // Descend() is a helper function template for Traversal::Visit().
@@ -182,29 +214,33 @@ public:
   using A::Handle..., A::Pre..., A::Post...;
 
 private:
-  using TraversalBase<Result>::result_;
+  using TraversalBase<Result>::done_, TraversalBase<Result>::result_;
 
 public:
   template<typename... B> Traversal(B... x) : A{x}... {}
-  template<typename B> std::optional<Result> Traverse(const B &x) {
+  template<typename B> Result Traverse(const B &x) {
     Visit(x);
     return std::move(result_);
   }
 
   // TODO: make private, make Descend instances friends
   template<typename B> void Visit(const B &x) {
-    if (!result_.has_value()) {
+    if (!done_) {
       if constexpr (std::is_same_v<std::decay_t<decltype(Handle(x))>,
                         std::nullptr_t>) {
         // No visitation class defines Handle(B), so try Pre()/Post().
         Pre(x);
-        if (!result_.has_value()) {
+        if (!done_) {
           descend::Descend(*this, x);
-          if (!result_.has_value()) {
+          if (!done_) {
             Post(x);
           }
         }
       } else {
+        static_assert(
+            std::is_same_v<std::decay_t<decltype(Pre(x))>, std::nullptr_t>);
+        static_assert(
+            std::is_same_v<std::decay_t<decltype(Post(x))>, std::nullptr_t>);
         Handle(x);
       }
     }

diff --git a/flang/lib/semantics/check-do-concurrent.cc b/flang/lib/semantics/check-do-concurrent.cc
index 6e06ba2..1f3698e 100644 (file)
--- a/flang/lib/semantics/check-do-concurrent.cc
+++ b/flang/lib/semantics/check-do-concurrent.cc
@@ -14,10 +14,12 @@
 
 #include "check-do-concurrent.h"
 #include "attr.h"
+#include "expression.h"
 #include "scope.h"
 #include "semantics.h"
 #include "symbol.h"
 #include "type.h"
+#include "../evaluate/traversal.h"
 #include "../parser/message.h"
 #include "../parser/parse-tree-visitor.h"
 
@@ -218,13 +220,6 @@ private:
 
 using CS = std::vector<const Symbol *>;
 
-struct GatherSymbols {
-  CS symbols;
-  template<typename T> constexpr bool Pre(const T &) { return true; }
-  template<typename T> constexpr void Post(const T &) {}
-  void Post(const parser::Name &name) { symbols.push_back(name.symbol); }
-};
-
 static bool IntegerVariable(const Symbol &variable) {
   return variable.GetType()->IsNumeric(common::TypeCategory::Integer);
 }
@@ -300,10 +295,26 @@ static CS GatherLocalVariableNames(
   }
   return names;
 }
+
 static CS GatherReferencesFromExpression(const parser::Expr &expression) {
-  GatherSymbols gatherSymbols;
-  parser::Walk(expression, gatherSymbols);
-  return gatherSymbols.symbols;
+  // Use the new expression traversal framework if possible, for testing.
+  if (expression.typedExpr.has_value()) {
+    struct CollectSymbols : public virtual evaluate::TraversalBase<CS> {
+      explicit CollectSymbols(int) {}
+      void Handle(const Symbol *symbol) { result().push_back(symbol); }
+    };
+    return evaluate::Traversal<CS, CollectSymbols>{0}.Traverse(
+        expression.typedExpr.value());
+  } else {
+    struct GatherSymbols {
+      CS symbols;
+      template<typename T> constexpr bool Pre(const T &) { return true; }
+      template<typename T> constexpr void Post(const T &) {}
+      void Post(const parser::Name &name) { symbols.push_back(name.symbol); }
+    } gatherSymbols;
+    parser::Walk(expression, gatherSymbols);
+    return gatherSymbols.symbols;
+  }
 }
 
 // Find a canonical DO CONCURRENT and enforce semantics checks on its body