[Flang] CrayPointer: Incorrect error message when the argument of a statement function is also a `CrayPointer` pointee

[DanielCChen]

Consider the following test case:

      INTEGER*1   I1ARG1, SF, SF_RETURN, pointee

      POINTER (I1ARG1P,I1ARG1)
      SF(I1ARG1) = I1ARG1

      I1ARG1P = loc(pointee)
      I1ARG1 = 10
      SF_RETURN = SF(I1ARG1)
      if (SF_RETURN .ne. 10) error stop 10
      END

Flang currently issues:

t.f:8:22: error: Actual argument type 'INTEGER(1)' is not compatible with dummy argument type 'INTEGER(4)'
        SF_RETURN = SF(I1ARG1)
                       ^^^^^^

It is expected to compile and run successfully (XLF, gfortran and ifort all do).

[llvmbot]

@llvm/issue-subscribers-flang-frontend

Author: Daniel Chen (DanielCChen)

Consider the following test case: ``` INTEGER*1 I1ARG1, SF, SF_RETURN, pointee

  POINTER (I1ARG1P,I1ARG1)
  SF(I1ARG1) = I1ARG1

  I1ARG1P = loc(pointee)
  I1ARG1 = 10
  SF_RETURN = SF(I1ARG1)
  if (SF_RETURN .ne. 10) error stop 10
  END

Flang currently issues:

t.f:8:22: error: Actual argument type 'INTEGER(1)' is not compatible with dummy argument type 'INTEGER(4)'
SF_RETURN = SF(I1ARG1)
^^^^^^

It is expected to compile and run successfully (XLF, gfortran and ifort all do).
</details>

[llvmbot]

@llvm/issue-subscribers-bug

Author: Daniel Chen (DanielCChen)

Consider the following test case: ``` INTEGER*1 I1ARG1, SF, SF_RETURN, pointee

  POINTER (I1ARG1P,I1ARG1)
  SF(I1ARG1) = I1ARG1

  I1ARG1P = loc(pointee)
  I1ARG1 = 10
  SF_RETURN = SF(I1ARG1)
  if (SF_RETURN .ne. 10) error stop 10
  END

Flang currently issues:

t.f:8:22: error: Actual argument type 'INTEGER(1)' is not compatible with dummy argument type 'INTEGER(4)'
SF_RETURN = SF(I1ARG1)
^^^^^^

It is expected to compile and run successfully (XLF, gfortran and ifort all do).
</details>

[klausler]

#93624