[flang-commits] [flang] [flang] Classify MOVE_ALLOC with noncoarray FROM as SIMPLE (PR #224923)

[Šárka Holendová via flang-commits]

mlir-maiden wrote:

Note on testing: this classification is call-dependent (`SIMPLE` depends on whether `FROM` is a coarray), rather than a per-symbol property, so the existing test_symbols.py tests do not observe this distinction. I manually verified the conditional with .f90 cases for both coarray and noncoarray `FROM` by instrumenting the classification path; Attr::`Simple` is set only for the noncoarray case. I also looked at flang/unittests/Evaluate/intrinsics.cpp. It can inspect the characteristics of the resolved call, but its TestCall fixture doesn't appear to provide a lightweight way to construct an actual argument backed by a coarray symbol, so covering both branches would require extending the test infrastructure.

Is there an existing/preferred way to test this call-dependent classification, or should it be covered once the `SIMPLE` call restrictions in #221457 are implemented?

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