| //===-- lib/Semantics/pointer-assignment.h --------------------------------===// |
| // |
| // 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 |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef FORTRAN_SEMANTICS_POINTER_ASSIGNMENT_H_ |
| #define FORTRAN_SEMANTICS_POINTER_ASSIGNMENT_H_ |
| |
| #include "flang/Evaluate/expression.h" |
| #include "flang/Parser/char-block.h" |
| #include "flang/Semantics/type.h" |
| #include <string> |
| |
| namespace Fortran::evaluate::characteristics { |
| struct DummyDataObject; |
| } |
| |
| namespace Fortran::semantics { |
| |
| class SemanticsContext; |
| class Symbol; |
| |
| bool CheckPointerAssignment( |
| SemanticsContext &, const evaluate::Assignment &, const Scope &); |
| bool CheckPointerAssignment(SemanticsContext &, const SomeExpr &lhs, |
| const SomeExpr &rhs, const Scope &, bool isBoundsRemapping, |
| bool isAssumedRank); |
| bool CheckPointerAssignment(SemanticsContext &, parser::CharBlock source, |
| const std::string &description, |
| const evaluate::characteristics::DummyDataObject &, const SomeExpr &rhs, |
| const Scope &, bool isAssumedRank); |
| |
| bool CheckStructConstructorPointerComponent( |
| SemanticsContext &, const Symbol &lhs, const SomeExpr &rhs, const Scope &); |
| |
| // Checks whether an expression is a valid static initializer for a |
| // particular pointer designator. |
| bool CheckInitialDataPointerTarget(SemanticsContext &, const SomeExpr &pointer, |
| const SomeExpr &init, const Scope &); |
| |
| } // namespace Fortran::semantics |
| |
| #endif // FORTRAN_SEMANTICS_POINTER_ASSIGNMENT_H_ |