Re: Odd bug from Stack Overflow

[Steve Kargl <sgk@troutmask.apl.washington.edu>]

On Sun, Mar 18, 2018 at 08:39:58AM -0700, Steve Kargl wrote:
> So, who knows how the scalarizer works?
> 
> This code
> 
> program test
>    implicit none
>    integer, parameter :: n = 65536
>    integer, dimension(n) :: y
>    integer*4 :: i
>    y = (/ (1, i=1, n) /)
>    if (y(2) /= 1) stop 1
> end program test
> 
> generates a loops that does the right thing.
> 
>     offset.1 = 0;
>     shadow_loopvar.2 = 1;
>     while (1)
>       {
>         if (shadow_loopvar.2 > 65536) goto L.1;
>         (*(integer(kind=4)[65536] * restrict) atmp.0.data)[offset.1] = 1;
>         offset.1 = offset.1 + 1;
>         shadow_loopvar.2 = shadow_loopvar.2 + 1;
>       }
>     L.1:;

Whoops left out the copying of atmp to y.

    {
      integer(kind=4) S.3;

      S.3 = 0;
      while (1)
        {
          if (S.3 > 65535) goto L.2;
          y[S.3] = (*(integer(kind=4)[65536] * restrict) atmp.0.data)[S.3];
          S.3 = S.3 + 1;
        }
      L.2:;
    }

> 
> Clearly, 1 is being assigned to each element of the array 'y'.  Now
> change the type of 'y' to real.
> 
>     offset.1 = 0;
>     (*(real(kind=4)[65536] * restrict) atmp.0.data)[offset.1] = 1.0e+0;
>     offset.1 = offset.1 + 1;
>     {
>       integer(kind=4) S.2;
> 
>       S.2 = 0;
>       while (1)
>         {
>           if (S.2 > 65535) goto L.1;
>           y[S.2] = (*(real(kind=4)[65536] * restrict) atmp.0.data)[S.2];
>           S.2 = S.2 + 1;
>         }
>       L.1:;
>     }
> 
> The value of 1.0 is assigned to the first element of atmp, a
> temporary array.  Then the loop assigns the values from
> temporary array 'atmp'.  The problem is atmp(2:65536) have
> never been set.  I was expecting the -fdump-tree-original for
> the integer and real codes to look substantially the same.
> Something has gone sideways.  Anyone have a good guess where?
> 
> -- 
> Steve

-- 
Steve
20170425 https://www.youtube.com/watch?v=VWUpyCsUKR4
20161221 https://www.youtube.com/watch?v=IbCHE-hONow