gawk: Internal Error

[Lakshmankumar Mukkavilli]

Dear gawk support:

When I run gawk I get a message indicating an internal error.
I have tried to provide all the info I got.

Regards,

Lakshmankumar Mukkavilli
address@hidden


gawk --version output:

Gnu Awk (gawk) 2.15, patchlevel 3
Gnu Awk (gawk) 2.15, patchlevel 3
Usage: gawk [POSIX or GNU style options] -f progfile [--] file ...
        gawk [POSIX or GNU style options] [--] 'program' file ...
POSIX options:          GNU long options:
        -f progfile             --file=progfile
        -F fs                   --field-separator=fs
        -v var=val              --assign=var=val
        -W compat               --compat
        -W copyleft             --copyleft
        -W copyright            --copyright
        -W help                 --help
        -W lint                 --lint
        -W posix                --posix
        -W source=program-text  --source=program-text
        -W usage                --usage
        -W version              --version

OS info (output of uname -a):
SunOS myhost 5.5.1 Generic_103640-24 sun4u sparc SUNW,Ultra-Enterprise

Command used:

gawk -f testreformat1.awk \
     -vwhat=a12345  \
     -vfilepath=../xyz/abcde_fg_xyz.c testinputforgawk4

gawk output:
gawk: testreformat1.awk:8: (FILENAME=testinputforgawk4 FNR=1) fatal error: 
internal error
Abort - core dumped

testreformat1.awk:

BEGIN{
     filename=basename(filepath);
     }
(what=="a12345")&&match($0,/^\"/) {next}
(what=="a12345")&&match($0,filename ", line ") {s="^" filename ", line "; 
                  n=sub(s,filepath ":");
                 if (n==0){next} else {what="op";};
                 sub(/[ \t]+:/,":");
                }

# Return the basename of a file path
function basename(file)
{
    count=split(file,fileparts,"/");
    return fileparts[count];
}
                            

testinputforgawk4- There is only one line. That is
abcde_fg_xyz.c, line 2290 : warning (5): freeing pointer to already-freed 
memory 'fg_gen_info'