flang/test/Analysis/AliasAnalysis/modref-call-locals.f90

! RUN: bbc -emit-hlfir %s -o - | %python %S/gen_mod_ref_test.py | \
! RUN:  fir-opt -pass-pipeline='builtin.module(func.func(test-fir-alias-analysis-modref))' \
! RUN:  --mlir-disable-threading -o /dev/null 2>&1 | FileCheck %s

! Test fir.call modref for local variables.

module somemod
  interface
    subroutine may_capture(x)
      real, target :: x
    end subroutine
    subroutine set_pointer(x)
      real, pointer :: x
    end subroutine
  end interface
end module

subroutine test_local
  use somemod, only : may_capture
  implicit none
  real :: test_var_x
  ! Capture is invalid after the call because test_var_xsaved does not have the
  ! target attribute.
  call may_capture(test_var_x)
  call test_effect_external()
end subroutine
! CHECK-LABEL: Testing : "_QPtest_local"
! CHECK: test_effect_external -> test_var_x#0: NoModRef

subroutine test_local_target
  use somemod, only : may_capture
  implicit none
  real, target :: test_var_x_target
  call may_capture(test_var_x_target)
  call test_effect_external()
end subroutine
! CHECK-LABEL: Testing : "_QPtest_local_target"
! CHECK: test_effect_external -> test_var_x_target#0: ModRef

subroutine test_local_pointer
  use somemod, only : set_pointer
  implicit none
  real, pointer :: p
  call set_pointer(p)
  ! Use associated to test the pointer target address, no the
  ! address of the pointer descriptor.
  associate(test_var_p_target  => p)
    call test_effect_external()
  end associate
end subroutine
! CHECK-LABEL: Testing : "_QPtest_local_pointer"
! CHECK: test_effect_external -> test_var_p_target#0: ModRef