intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-27 06:06:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

[flang] Fix bug for forward referenced type

Browse Source 
A type name in an IMPLICIT declaration that was later used in a PARAMETER
statement caused problems because the default symbol scope had not yet been
initialized.  I avoided dereferencing in the situation where the default scope
was uninitialized and added a test that triggers the problem.

Differential Revision: https://reviews.llvm.org/D87535
This commit is contained in:
Peter Steinfeld
2020-09-11 11:02:04 -07:00
parent 238ae4eee0
commit 398fcf224b
2 changed files with 13 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
flang/lib/Semantics/symbol.cpp
View File

@@ -541,13 +541,11 @@ const DerivedTypeSpec *Symbol::GetParentTypeSpec(const Scope *scope) const {
const Symbol *Symbol::GetParentComponent(const Scope *scope) const {
if (const auto *dtDetails{detailsIf<DerivedTypeDetails>()}) {
if (!scope) {
scope = scope_;
if (const Scope * localScope{scope ? scope : scope_}) {
return dtDetails->GetParentComponent(DEREF(localScope));
}
return dtDetails->GetParentComponent(DEREF(scope));
} else {
return nullptr;
}
return nullptr;
}
void DerivedTypeDetails::add_component(const Symbol &symbol) {

10
flang/test/Semantics/bad-forward-type.f90
View File

@@ -70,3 +70,13 @@ subroutine s7(x)
type, extends(undef) :: t
end type
end subroutine
subroutine s8
!ERROR: Derived type 't2' was used but never defined
!ERROR: The derived type 't2' was forward-referenced but not defined
implicit type(t2)(x)
parameter(y=t2(12.3))
type t2
real :: c
end type
end subroutine