source: vendor/gawk/3.1.5/test/zeroe0.awk@ 3174

# From [email protected]  Tue Dec 31 11:41:25 2002
# Return-Path: <[email protected]>
# X-From_: [email protected] Mon Dec 30 17:34:41 2002
# Message-Id: <[email protected]>
# Date: Mon, 30 Dec 2002 10:33:10 -0500
# To: [email protected]
# From: Serge Bohdjalian <[email protected]>
# Subject: GAWK 3.1.1 bug, DJGPP port
# 
# When I run the following AWK file...
# 
BEGIN {
    $0 = "00E0";
    print $0 ", " ($0 && 1) ", " ($0 != "");
    $1 = "00E0";
    print $1 ", " ($1 && 1) ", " ($1 != "");
}
# 
# With the SimTel version of GAWK 3.1.1 for Windows (downloadable from 
# ftp://ftp.cdrom.com/pub/simtelnet/gnu/djgpp/v2gnu/), I get the following 
# output...
# 
# 00E0, 0, 1
# 00E0, 1, 1
# 
# With the Cygwin version of GAWK 3.1.1 for Windows, I get...
# 
# 00E0, 1, 1
# 00E0, 1, 1
# 
# As far as I know, if "$0" isn't blank, the value of "($0 && 1)" should be 
# "1" (true). I get the same problem if I substitute "00E0" with "00E1" to 
# "00E9". Other strings don't have have this problem (for example, "00EA"). 
# The problem occurs whether I use file input or whether I manually assign 
# "$0" (as above).
# 
# The problem is also discussed in a comp.lang.awk posting ("Bug in GAWK 
# 3.1.1?", Dec. 27, 2002).
# 
# -Serge