[Bug fortran/98787] New: Aliasing not detected with array elements or some intents

[Bug fortran/98787] New: Aliasing not detected with array elements or some intents

[jellby at yahoo dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98787

            Bug ID: 98787
           Summary: Aliasing not detected with array elements or some
                    intents
           Product: gcc
           Version: 10.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jellby at yahoo dot com
  Target Milestone: ---

With -Waliasing (or -Wall), passing the same array as two dummy arguments with
"intent(in)" and "intent(out)" is detected and warned about, but not when only
an array element (which may be the whole array with assumed size) is passed, or
when "intent(inout)" is used.

!==================================
program main
implicit none
real :: x(100)
integer :: i

do i=1,size(x)
  x(i) = i
end do

! no warning for this:
call sub(size(x),x(1),x(1))
! warning for this:
call sub(size(x),x,x)

contains

subroutine sub(n,a,b)
implicit none
integer, intent(in) :: n
! no warning if one of these is inout:
real, intent(in) :: a(n)
real, intent(out) :: b(n)

b(:) = a(:)

end subroutine sub

end program main
!==================================

[Bug fortran/98787] Aliasing not detected with array elements or some intents

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98787

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-01-23

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Confirmed.