[flang][OpenMP] refine semantic checks for atomic

[tblah]

module m1
integer::n=2
type w
integer x(2,2,2),v,e
end type
type(w)::g
contains
subroutine s1
!$omp atomic capture
g%x(n,n,n)=g%x(n,n,n)+f(g%e)
g%v=g%x(n,n,n)
!$omp end atomic
end subroutine
end module

This is from the deleted Fujitsu test 0455_0029.

Currently flang doesn't like that g%e is used on the rhs of g%x(n,n,n)=g%x(n,n,n)+f(g%e). But as a different component of the derived type and non-overlapping with g%x I believe this is valid.

[tblah]

Other similar Fujitsu tests:

• 0455_0030
• 0455_0032
• 0455_0033
• 0455_0034
• 0455_0035
• 0455_0036
• 0455_0037
• 0487_0042
• 0487_0044

[mrkajetanp]

This has now been fixed by #137852

[llvmbot]

@llvm/issue-subscribers-flang-frontend

Author: Tom Eccles (tblah)

``` module m1 integer::n=2 type w integer x(2,2,2),v,e end type type(w)::g contains subroutine s1 !$omp atomic capture g%x(n,n,n)=g%x(n,n,n)+f(g%e) g%v=g%x(n,n,n) !$omp end atomic end subroutine end module ``` This is from the deleted Fujitsu test [0455_0029](https://github.com/fujitsu/compiler-test-suite/blob/a0e269d5d279c3a0781bb74940cf5ec16b4ab109/Fortran/0455/0455_0029.f90).

Currently flang doesn't like that g%e is used on the rhs of g%x(n,n,n)=g%x(n,n,n)+f(g%e). But as a different component of the derived type and non-overlapping with g%x I believe this is valid.

[llvmbot]

@llvm/issue-subscribers-flang-ir

Author: Tom Eccles (tblah)

``` module m1 integer::n=2 type w integer x(2,2,2),v,e end type type(w)::g contains subroutine s1 !$omp atomic capture g%x(n,n,n)=g%x(n,n,n)+f(g%e) g%v=g%x(n,n,n) !$omp end atomic end subroutine end module ``` This is from the deleted Fujitsu test [0455_0029](https://github.com/fujitsu/compiler-test-suite/blob/a0e269d5d279c3a0781bb74940cf5ec16b4ab109/Fortran/0455/0455_0029.f90).

Currently flang doesn't like that g%e is used on the rhs of g%x(n,n,n)=g%x(n,n,n)+f(g%e). But as a different component of the derived type and non-overlapping with g%x I believe this is valid.