Bug in gawk 3.1.2 and 3.1.3

[wb]

I have experienced a bug in gawk 3.1.2 and 3.1.3.

I am using Mandrake 9.2 Linux distribution.  I upgraded gawk to rev 
3.1.3, and have the same problem.

Recreate the bug with the following script:

#------------cut here-----------
#!/bin/sh

gawk-3.1.2 '    BEGIN   {IGNORECASE=1}
                {       # Kill control characters
                gsub(/[[:cntrl:]]+/, "")
                }
        ' <<<'slkdjlsjdf'

exit
#------------cut here------

The output is:

#------------cut here------

gawk-3.1.2: cmd. line:3: (FILENAME=- FNR=1) fatal error: internal error
/home/wb/bin/tmp2.sh: line 10:  1026 Aborted                 gawk-3.1.2 
'       BEGIN   {IGNORECASE=1}
                {       # Kill control characters
                gsub(/[[:cntrl:]]+/, "")
                }
        ' <<< 'slkdjlsjdf'
#------------cut here------

If you change IGNORECASE=1  to IGNORECASE=0, it will not fail in that 
way.  This worked in version 3.1.1.

Thanks a lot for looking into this.

                                                -- Wayne Bergeron