Bug in gawk regular expression matching?

[Christian Lachnitt]

Hi.

I have tested the following command with gawk 3.1.5 and 3.1.4 under Debian and
Solaris. The result is wrong (I believe):

Command:   echo "ABc" | gawk '/[a-z][A-Z]/'
Output:    ABc

I.e. gawk matches "ABc" for this pattern /[a-z][A-Z]/

As far as I can tell the problem seems to be in the [A-Z] range match. I get a
(wrong) match for ...

# echo "ABcZ" | gawk '/[a-z][A-Y]/'
ABcZ
#

But no match for ...
# echo "ABcZ" | gawk '/[a-z][AY]/'
#

Best regards,
Christian