ee28b70827
Create `AssocEntityDetails` for symbols that represent entities identified by the associate-name in ASSOCIATE and SELECT TYPE constructs. For ASSOCIATE, create a new scope for the associated entity. For SELECT TYPE, create a new scope for each of type guard blocks. Each one contains an associated entity with the appropriate type. For SELECT TYPE, also create a place-holder symbol for the associate-name in the SELECT TYPE statement. The real symbols are in the new scopes and none of them is uniquely identified with the associate-name. Handling of `Selector` is common between these, with `associate-name => expr | variable` recorded in `ConstructVisitor::association_`. When the selector is an expression, derive the type of the associated entity from the type of the expression. This required some refactoring of how `DeclTypeSpec`s are created. The `DerivedTypeSpec` that comes from and expression is const so we can only create const `DeclTypeSpec`s from it. But there were times during name resolution when we needed to set type parameters in the current `DeclTypeSpec`. Now the non-const `DerivedTypeSpec` is saved separately from the const `DeclTypeSpec` while we are processing a declaration type spec. This makes it unnecessary to save the derived type name. Add a type alias for `common::Indirection` to reduce verbosity. Original-commit: flang-compiler/f18@b7668cebe4 Reviewed-on: https://github.com/flang-compiler/f18/pull/261 Tree-same-pre-rewrite: false
137 lines
3.8 KiB
C++
137 lines
3.8 KiB
C++
// Copyright (c) 2018-2019, NVIDIA CORPORATION. All rights reserved.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#include "semantics.h"
|
|
#include "canonicalize-do.h"
|
|
#include "check-do-concurrent.h"
|
|
#include "default-kinds.h"
|
|
#include "expression.h"
|
|
#include "mod-file.h"
|
|
#include "resolve-labels.h"
|
|
#include "resolve-names.h"
|
|
#include "rewrite-parse-tree.h"
|
|
#include "scope.h"
|
|
#include "symbol.h"
|
|
#include <ostream>
|
|
|
|
namespace Fortran::semantics {
|
|
|
|
static void DoDumpSymbols(std::ostream &, const Scope &, int indent = 0);
|
|
static void PutIndent(std::ostream &, int indent);
|
|
|
|
SemanticsContext::SemanticsContext(
|
|
const IntrinsicTypeDefaultKinds &defaultKinds)
|
|
: defaultKinds_{defaultKinds},
|
|
intrinsics_{evaluate::IntrinsicProcTable::Configure(defaultKinds)},
|
|
foldingContext_{evaluate::FoldingContext{
|
|
parser::ContextualMessages{parser::CharBlock{}, &messages_}}} {}
|
|
|
|
const DeclTypeSpec &SemanticsContext::MakeNumericType(
|
|
TypeCategory category, int kind) {
|
|
if (kind == 0) {
|
|
kind = defaultKinds_.GetDefaultKind(category);
|
|
}
|
|
return globalScope_.MakeNumericType(category, kind);
|
|
}
|
|
const DeclTypeSpec &SemanticsContext::MakeLogicalType(int kind) {
|
|
if (kind == 0) {
|
|
kind = defaultKinds_.GetDefaultKind(TypeCategory::Logical);
|
|
}
|
|
return globalScope_.MakeLogicalType(kind);
|
|
}
|
|
|
|
bool SemanticsContext::AnyFatalError() const {
|
|
return !messages_.empty() &&
|
|
(warningsAreErrors_ || messages_.AnyFatalError());
|
|
}
|
|
|
|
bool Semantics::Perform() {
|
|
ValidateLabels(context_.messages(), program_);
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
parser::CanonicalizeDo(program_);
|
|
ResolveNames(context_, program_);
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
RewriteParseTree(context_, program_);
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
CheckDoConcurrentConstraints(context_.messages(), program_);
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
ModFileWriter writer{context_};
|
|
writer.WriteAll();
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
if (context_.debugExpressions()) {
|
|
AnalyzeExpressions(program_, context_);
|
|
}
|
|
return !AnyFatalError();
|
|
}
|
|
|
|
const Scope &Semantics::FindScope(const parser::CharBlock &source) const {
|
|
if (const auto *scope{context_.globalScope().FindScope(source)}) {
|
|
return *scope;
|
|
} else {
|
|
common::die("invalid source location");
|
|
}
|
|
}
|
|
|
|
void Semantics::EmitMessages(std::ostream &os) const {
|
|
context_.messages().Emit(os, cooked_);
|
|
}
|
|
|
|
void Semantics::DumpSymbols(std::ostream &os) {
|
|
DoDumpSymbols(os, context_.globalScope());
|
|
}
|
|
|
|
void DoDumpSymbols(std::ostream &os, const Scope &scope, int indent) {
|
|
PutIndent(os, indent);
|
|
os << Scope::EnumToString(scope.kind()) << " scope:";
|
|
if (const auto *symbol{scope.symbol()}) {
|
|
os << ' ' << symbol->name().ToString();
|
|
}
|
|
os << '\n';
|
|
++indent;
|
|
for (const auto &pair : scope) {
|
|
const auto &symbol{*pair.second};
|
|
PutIndent(os, indent);
|
|
os << symbol << '\n';
|
|
if (const auto *details{symbol.detailsIf<GenericDetails>()}) {
|
|
if (const auto &type{details->derivedType()}) {
|
|
PutIndent(os, indent);
|
|
os << *type << '\n';
|
|
}
|
|
}
|
|
}
|
|
for (const auto &child : scope.children()) {
|
|
DoDumpSymbols(os, child, indent);
|
|
}
|
|
--indent;
|
|
}
|
|
|
|
static void PutIndent(std::ostream &os, int indent) {
|
|
for (int i = 0; i < indent; ++i) {
|
|
os << " ";
|
|
}
|
|
}
|
|
}
|