HomePhabricator

[flang] Refine WhyNotModifiable()

Authored by klausler on Jan 15 2021, 4:59 PM.

Description

[flang] Refine WhyNotModifiable()

The utility routine WhyNotModifiable() needed to become more
aware of the use of pointers in data-refs; the targets of
pointer components are sometimes modifiable even when the
leftmost ("base") symbol of a data-ref is not.

Added a new unit test for WhyNotModifiable() that uses internal
READ statements (mostly), since I/O semantic checking uses
WhyNotModifiable() for all its definability checking.

Differential Revision: https://reviews.llvm.org/D94849

Details

Committed
klauslerJan 19 2021, 11:44 AM
Differential Revision
D94849: [flang] Refine WhyNotModifiable()
Parents
rG5fcb412ed083: [ELF] Support R_PPC64_ADDR16_HIGH
Branches
Unknown
Tags
Unknown