diff options
| author | Emil Kieri <j.emil.kieri@gmail.com> | 2021-11-09 16:10:42 +0100 |
|---|---|---|
| committer | Emil Kieri <j.emil.kieri@gmail.com> | 2021-11-09 18:46:54 +0100 |
| commit | 384b4e0d332ec6fc4f9fc279d12aadc162eaf3a0 (patch) | |
| tree | 2da79cc9e3462f80c6e42cc24cc46c6420038334 /llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp | |
| parent | 2a88d00cf250534f31c706bc832f0f6386c28ef3 (diff) | |
| download | llvm-384b4e0d332ec6fc4f9fc279d12aadc162eaf3a0.zip llvm-384b4e0d332ec6fc4f9fc279d12aadc162eaf3a0.tar.gz llvm-384b4e0d332ec6fc4f9fc279d12aadc162eaf3a0.tar.bz2 | |
[flang] Fix error in characteristics check at procedure pointer assignment
If the procedure pointer has an explicit interface, its characteristics must
equal the characteristics of its target, except that the target may be pure or
elemental also when the pointer is not (cf. F2018 10.2.2.4(3)). In the semantics
check for assignment of procedure pointers, the attributes of the procedures
were not checked correctly due to a typo. This caused some illegal
pointer-target-combinations to pass without raising an error. Fix this, and
expand the test case to improve the coverage of procedure pointer assignment
checks.
Reviewed By: PeteSteinfeld
Differential Revision: https://reviews.llvm.org/D113368
Diffstat (limited to 'llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp')
0 files changed, 0 insertions, 0 deletions