[bug-gawk] Problem with array index in connection with "sorted_in"

[Christian Schneider]

Hi all,

I encountered a change of the behaviour of gawk after upgrading from 
version 4.0.1 to 4.1.1, which is most likely not intended.  Here is an 
example script:

echo -ne "1.0\n2.0\n" | gawk '
  BEGIN {
    PROCINFO["sorted_in"] = "@ind_num_asc"
  }
  {
    A[$1] = 0
  }
  END {
    for (I in A) B[I] = A[I]
    for (I in B) SCRATCH = A[I]
    for (I in A) print I
  }'

With gawk 4.0.1 (Debian 7) the output is:
1.0
2.0

With gawk 4.1.1 (Debian 8) the output is:
1
1.0
2
2.0

However, you will get the old behaviour, if you comment the 
"PROCINFO" line.

I would appreciate your feedback and opinion.  Please CC me in your 
reply, as I am not subscribed to the list.

Thank you very much,
Christian