[flang-commits] [flang] [flang] Cover the whole storage sequence in VALUE sequence association copies (PR #224481)

[Eugene Epshteyn via flang-commits]

eugeneepshteyn wrote:

Implementation details:

- dummy extents known at the call site: view the sequence starting at the element as an array of the dummy's shape and copy that;
- otherwise: compute the remaining storage sequence extent from the base array bounds and the element indices and copy the whole remaining sequence (for an element of an array component, the sequence is confined to that component). An assumed-size base has no usable extent, so the preexisting scalar fallback is kept there (noted in the test);
- boxed (polymorphic) dummies: make the view and copy with the actual argument element type so dynamic type and element size are preserved, and recompute the prepared descriptor type from the view so the copy is packaged with a descriptor of matching rank (a rank-changing descriptor cast corrupts the addendum and breaks type-bound dispatch).


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