[bug-gawk] Does gawk deal with signal pipe correctly?

[Peng Yu]

Hi,

$ seq 10000000 | awk -e '{ print }' | head -n 1
1
$ echo "address@hidden"
141 141 0
$ tmpfile=$(mktemp -u)
$ seq 10000000 > "$tmpfile"
$ cat "$tmpfile" | awk -e '{ print }' | head -n 1
1
$ echo "address@hidden"
141 141 0

In the following case, I see that awk sometimes return 1 instead of 0
for the input tmp2.txt (download at
https://pastebin.com/raw/DCt7x2zD). But I never see awk returns 141
for this file. Is this behavior of awk correct? Should it always
return 141?

$ cat < tmp2.txt | awk -e '{ print }' | head -n 1

$ echo address@hidden
0 1 0

-- 
Regards,
Peng