/dev/fd/n bug in gawk 3.1.5

[John H. DuBois III]

$ cat /dev/fd/4 /dev/fd/5 4<tm1 5<tm2
Contents of tm1
Contents of tm2
$ gawk 1 /dev/fd/4 /dev/fd/5 4<tm1 5<tm2
Contents of tm1
Contents of tm1


gawk: (FILENAME=/dev/fd/5 FNR=3) fatal: error reading input file `/dev/fd/4': 
Bad file number
---------------------
truss shows:

read(4, "Contents of tm1\n", 16) = 16
ioctl(1, TCGETA, 0x804767e) = 0
Contents of tm1
write(1, "Contents of tm1\n", 16) = 16
read(4, "NULL, 16) = 0
close(4) = 0
Contents of tm1
write(1, "Contents of tm1\n", 16) = 16

write(1, "\n", 1) = 1

write(1, "\n", 1) = 1
read(-1, "Contents ", 16) = EBADF


Identical results under both OpenServer and Gentoo Linux.

Results for various versions of gawk appended.

        John


------------
gawk-2.15.2:
Contents of tm1
Contents of tm2
------------
gawk-2.15.5:
Contents of tm1
Contents of tm2
------------
gawk-2.15.6:
Contents of tm1
Contents of tm2
------------
gawk-3.0.0:
Contents of tm1
Contents of tm2
------------
gawk-3.0.3:
Contents of tm1
Contents of tm2
------------
gawk-3.0.4:
Contents of tm1
Contents of tm2
------------
gawk-3.1.0:
Contents of tm1

------------
gawk-3.1.1:
Contents of tm1

------------
gawk-3.1.2:
Contents of tm1
Contents of tm1


------------
gawk-3.1.2a:
Contents of tm1
Contents of tm1


------------
gawk-3.1.2b:
Contents of tm1
Contents of tm1


------------
gawk-3.1.2c:
Contents of tm1
Contents of tm1


------------
gawk-3.1.4:
Contents of tm1
Contents of tm1


gawk-3.1.4: (FILENAME=/dev/fd/5 FNR=3) fatal: error reading input file 
`/dev/fd/4': Bad file number
------------
gawk-3.1.4c:
Contents of tm1
Contents of tm1


gawk-3.1.4c: (FILENAME=/dev/fd/5 FNR=3) fatal: error reading input file 
`/dev/fd/4': Bad file number
------------
gawk-3.1.4d:
Contents of tm1
Contents of tm1


gawk-3.1.4d: (FILENAME=/dev/fd/5 FNR=3) fatal: error reading input file 
`/dev/fd/4': Bad file number
------------
gawk-3.1.4k:
Contents of tm1
Contents of tm1


gawk-3.1.4k: (FILENAME=/dev/fd/5 FNR=3) fatal: error reading input file 
`/dev/fd/4': Bad file number
------------
gawk-3.1.5:
Contents of tm1
Contents of tm1


gawk-3.1.5: (FILENAME=/dev/fd/5 FNR=3) fatal: error reading input file 
`/dev/fd/4': Bad file number