d414e8cac3
The Fortran standard does not allow `PARAMETERS` within a `namelist-group-object`, it should only allow variables. An error should be emitted when a `PARAMETER` is found within a `namelist-group-object`. Fixes: #178955
61 lines
2.4 KiB
C++
61 lines
2.4 KiB
C++
//===-- lib/Semantics/check-namelist.cpp ----------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "check-namelist.h"
|
|
#include "flang/Semantics/tools.h"
|
|
|
|
namespace Fortran::semantics {
|
|
|
|
void NamelistChecker::Leave(const parser::NamelistStmt &nmlStmt) {
|
|
for (const auto &x : nmlStmt.v) {
|
|
if (const auto *nml{std::get<parser::Name>(x.t).symbol}) {
|
|
for (const auto &nmlObjName : std::get<std::list<parser::Name>>(x.t)) {
|
|
const auto *nmlObjSymbol{nmlObjName.symbol};
|
|
if (nmlObjSymbol) {
|
|
if (IsAssumedSizeArray(*nmlObjSymbol)) { // C8104
|
|
context_.Say(nmlObjName.source,
|
|
"A namelist group object '%s' must not be assumed-size"_err_en_US,
|
|
nmlObjSymbol->name());
|
|
}
|
|
if (nml->attrs().test(Attr::PUBLIC) &&
|
|
nmlObjSymbol->attrs().test(Attr::PRIVATE)) { // C8105
|
|
context_.Say(nmlObjName.source,
|
|
"A PRIVATE namelist group object '%s' must not be in a "
|
|
"PUBLIC namelist"_err_en_US,
|
|
nmlObjSymbol->name());
|
|
}
|
|
// `namelist-group-object` may only contain variables.
|
|
if (IsNamedConstant(*nmlObjSymbol)) {
|
|
context_.Warn(common::UsageWarning::NamelistParameter,
|
|
nmlObjName.source,
|
|
"A namelist group object '%s' should not be a PARAMETER"_port_en_US,
|
|
nmlObjSymbol->name());
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
void NamelistChecker::Leave(const parser::LocalitySpec::Reduce &x) {
|
|
for (const parser::Name &name : std::get<std::list<parser::Name>>(x.t)) {
|
|
Symbol *sym{name.symbol};
|
|
// This is not disallowed by the standard, but would be difficult to
|
|
// support. This has to go here not with the other checks for locality specs
|
|
// in resolve-names.cpp so that it is done after the InNamelist flag is
|
|
// applied.
|
|
if (sym && sym->GetUltimate().test(Symbol::Flag::InNamelist)) {
|
|
context_.Say(name.source,
|
|
"NAMELIST variable '%s' not allowed in a REDUCE locality-spec"_err_en_US,
|
|
name.ToString());
|
|
}
|
|
}
|
|
}
|
|
|
|
} // namespace Fortran::semantics
|