1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
//===-- lib/Semantics/check-nullify.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-nullify.h"
#include "definable.h"
#include "flang/Evaluate/expression.h"
#include "flang/Parser/message.h"
#include "flang/Parser/parse-tree.h"
#include "flang/Semantics/expression.h"
#include "flang/Semantics/tools.h"
namespace Fortran::semantics {
void NullifyChecker::Leave(const parser::NullifyStmt &nullifyStmt) {
CHECK(context_.location());
const Scope &scope{context_.FindScope(*context_.location())};
for (const parser::PointerObject &pointerObject : nullifyStmt.v) {
common::visit(
common::visitors{
[&](const parser::Name &name) {
if (name.symbol) {
if (auto whyNot{WhyNotDefinable(name.source, scope,
DefinabilityFlags{DefinabilityFlag::PointerDefinition},
*name.symbol)}) {
context_.messages()
.Say(name.source,
"'%s' may not appear in NULLIFY"_err_en_US,
name.source)
.Attach(std::move(
whyNot->set_severity(parser::Severity::Because)));
}
}
},
[&](const parser::StructureComponent &structureComponent) {
const auto &component{structureComponent.component};
SourceName at{component.source};
if (const auto *checkedExpr{GetExpr(context_, pointerObject)}) {
if (auto whyNot{WhyNotDefinable(at, scope,
DefinabilityFlags{DefinabilityFlag::PointerDefinition},
*checkedExpr)}) {
context_.messages()
.Say(at, "'%s' may not appear in NULLIFY"_err_en_US, at)
.Attach(std::move(
whyNot->set_severity(parser::Severity::Because)));
}
}
},
},
pointerObject.u);
}
// From 9.7.3.1(1)
// A pointer-object shall not depend on the value,
// bounds, or association status of another pointer-
// object in the same NULLIFY statement.
// This restriction is the programmer's responsibility.
// Some dependencies can be found compile time or at
// runtime, but for now we choose to skip such checks.
}
} // namespace Fortran::semantics
|
