(Unconfirmed) find_foward_accesses finds start/stop/step conditions of loops when searching backwards in loops for accesses.

[LonelyCat124]

I think that for code like:

a = 75
do i = 1, a, 25
   a = i
end do

that a next_accesses call on the a in a= i may point to the loop stop point. Since the loop start/stop/steps use the values before the loop - there is no forward_access here on the loop stop point.

I will note that while this behaviour definitely happens for while loops I think that is correct - I don't remember intentionally excluding it from happening for normal Loops so I need to check if this happens or not.