https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127303
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amacleod at redhat dot com
Status|UNCONFIRMED |NEW
Last reconfirmed| |2026-09-10
Blocks| |85316
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I'm quite sure we have a duplicate bug or some.
For kind=8 we can optimize the bounds check based in EVRP. For some reason
with kind=4 this doesn't work. There is one extra bounds check left in
that case.
For reference, the following is the testcase with kind syntax:
subroutine foo(a,b,c,n)
integer(kind=4), intent(in) :: n
real, dimension(n), intent(in) :: a,b
real, dimension(n), intent(out) :: c
integer(kind=4) :: i
do i=1,n
c(i) = a(i) + b(i)
end do
end subroutine foo
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
