HomePhabricator

[flang] Semantic analysis for FINAL subroutines

Authored by klausler on Sep 30 2020, 1:34 PM.

Description

[flang] Semantic analysis for FINAL subroutines

Represent FINAL subroutines in the symbol table entries of
derived types. Enforce constraints. Update tests that have
inadvertent violations or modified messages. Added a test.

The specific procedure distinguishability checking code for generics
was used to enforce distinguishability of FINAL procedures.
(Also cleaned up some confusion and redundancy noticed in the
type compatibility infrastructure while digging into that area.)

Differential revision: https://reviews.llvm.org/D88613

Details

Committed
klauslerSep 30 2020, 3:46 PM
Differential Revision
D88613: [flang] Semantic analysis for FINAL subroutines
Parents
rG5519e4da83d1: Re-land "[PDB] Merge types in parallel when using ghashing"
Branches
Unknown
Tags
Unknown