[flang] Accept a null pointer as a NULL(MOLD=...) actual argument

The MOLD= argument to NULL() is allowed to be a null pointer itself --
for example, NULL(MOLD=NULL(MOLD=...)) should not raise spurious semantic
errors.

Differential Revision: https://reviews.llvm.org/D132166
This commit is contained in:
Peter Klausler 2022-08-18 10:50:53 -07:00
parent 07f2cd6d04
commit 148116ab83
1 changed files with 4 additions and 6 deletions

View File

@ -2084,11 +2084,11 @@ SpecificCall IntrinsicProcTable::Implementation::HandleNull(
if (CheckAndRearrangeArguments(arguments, context.messages(), keywords, 1) &&
arguments[0]) {
if (Expr<SomeType> * mold{arguments[0]->UnwrapExpr()}) {
bool goodProcPointer{true};
if (IsAllocatableOrPointer(*mold)) {
bool isProcPtrTarget{IsProcedurePointerTarget(*mold)};
if (isProcPtrTarget || IsAllocatableOrPointerObject(*mold, context)) {
characteristics::DummyArguments args;
std::optional<characteristics::FunctionResult> fResult;
if (IsProcedurePointerTarget(*mold)) {
if (isProcPtrTarget) {
// MOLD= procedure pointer
const Symbol *last{GetLastSymbol(*mold)};
CHECK(last);
@ -2101,8 +2101,6 @@ SpecificCall IntrinsicProcTable::Implementation::HandleNull(
args.emplace_back("mold"s,
characteristics::DummyProcedure{common::Clone(*procPointer)});
fResult.emplace(std::move(*procPointer));
} else {
goodProcPointer = false;
}
} else if (auto type{mold->GetType()}) {
// MOLD= object pointer
@ -2115,7 +2113,7 @@ SpecificCall IntrinsicProcTable::Implementation::HandleNull(
context.messages().Say(arguments[0]->sourceLocation(),
"MOLD= argument to NULL() lacks type"_err_en_US);
}
if (goodProcPointer) {
if (fResult) {
fResult->attrs.set(characteristics::FunctionResult::Attr::Pointer);
characteristics::Procedure::Attrs attrs;
attrs.set(characteristics::Procedure::Attr::NullPointer);