This is an archive of the discontinued LLVM Phabricator instance.

[flang] RESHAPE(PAD=) can be arbitrary array rank
ClosedPublic

Authored by klausler on Jan 12 2022, 1:59 PM.

Details

Summary

The "pad=" argument in the intrinsic function table entry for RESHAPE
has a Rank::Array constraint, and that would be fine if not for RESHAPE
already having an earlier argument that's Rank::Array. It's the only
intrinsic that has multiple Rank::Array arguments. The checking for
the Rank::Array constraint was enforcing that multiple occurrences
of it have the same rank in a call, and that's not appropriate.

Diff Detail

Event Timeline

klausler created this revision.Jan 12 2022, 1:59 PM
klausler requested review of this revision.Jan 12 2022, 1:59 PM
vdonaldson accepted this revision.Jan 12 2022, 3:13 PM
This revision is now accepted and ready to land.Jan 12 2022, 3:13 PM
This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptJan 12 2022, 5:30 PM