[flang-commits] [flang] [Flang] Add parsing and attribute registration for SIMPLE procedures (PR #159763)

[Peter Klausler via flang-commits]

================
@@ -132,7 +132,7 @@ bool IsConstantExprHelper<INVARIANT>::operator()(
     } else if (intrinsic->name == "shape" || intrinsic->name == "size") {
       auto shape{GetShape(call.arguments()[0]->UnwrapExpr())};
       return shape && IsConstantExprShape(*shape);
-    } else if (proc.IsPure()) {
+    } else if (proc.IsPure() || proc.IsSimple()) {
----------------
klausler wrote:

All simple procedures are also pure, so you don't have to check for `simple` when you know it's not `pure`.

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