if (!procRef) {
analyzer.CheckForNullPointer(
"in a non-pointer intrinsic assignment statement");
+ const Expr<SomeType> &lhs{analyzer.GetExpr(0)};
+ if (auto dyType{lhs.GetType()};
+ dyType && dyType->IsPolymorphic()) { // 10.2.1.2p1(1)
+ const Symbol *lastWhole0{UnwrapWholeSymbolOrComponentDataRef(lhs)};
+ const Symbol *lastWhole{
+ lastWhole0 ? &lastWhole0->GetUltimate() : nullptr};
+ if (!lastWhole || !IsAllocatable(*lastWhole)) {
+ Say("Left-hand side of assignment may not be polymorphic unless assignment is to an entire allocatable"_err_en_US);
+ } else if (evaluate::IsCoarray(*lastWhole)) {
+ Say("Left-hand side of assignment may not be polymorphic if it is a coarray"_err_en_US);
+ }
+ }
}
assignment.emplace(analyzer.MoveExpr(0), analyzer.MoveExpr(1));
if (procRef) {
--- /dev/null
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! 10.2.1.2p1(1)
+program test
+ class(*), allocatable :: pa
+ class(*), pointer :: pp
+ class(*), allocatable :: pac[:]
+ pa = 1 ! ok
+ !ERROR: Left-hand side of assignment may not be polymorphic unless assignment is to an entire allocatable
+ pp = 1
+ !ERROR: Left-hand side of assignment may not be polymorphic if it is a coarray
+ pac = 1
+end
end subroutine
pure subroutine s2(x)
class(t), intent(in out) :: x
+ !ERROR: Left-hand side of assignment may not be polymorphic unless assignment is to an entire allocatable
!ERROR: Left-hand side of assignment is not definable
!BECAUSE: 'x' is polymorphic in a pure subprogram
x = t()