Invalid pointer free in gawk 3.1.5

[Bert Deknuydt]

Hello,

I get the following error for a freshly built gawk 3.1.5 on linux/i386 and
linux/x86_64:

>>>> gawk '{}' this_file_does_not_exist
*** glibc detected *** gawk: free(): invalid pointer: 0x08091540 ***
======= Backtrace: =========
/lib/libc.so.6[0x4017b424]
/lib/libc.so.6(__libc_free+0x77)[0x4017b95f]
gawk[0x8068f0d]
gawk[0x8068fe0]
gawk[0x80692de]
gawk(do_input+0x37)[0x8069fe7]
gawk(main+0xfb6)[0x806dc26]
/lib/libc.so.6(__libc_start_main+0xc6)[0x4012cde6]
gawk[0x804ca71]
======= Memory map: ========
[this part removed ...]
Aborted

Expected behavior is:
>>>> /usr/bin/gawk '{}' this_file_does_not_exist
gawk: cmd. line:1: fatal: cannot open file `this_file_does_not_exist' for 
reading (No such file or directory)

Setting the environment variable MALLOC_CHECK_ to 0 silences the error,
but that's of course only a workaround.

Greetings, Bert. (And thanks for the nice soft!)

[[
  Sorry if this bug is already reported, but I can't find where the
  archives of address@hidden are stored; it's not on
  http://www.gnu.org/software/gawk/gawk.html
]]


-- 
--------------- eMail address@hidden -----------------
B.DeKnuydt, PSI-KULeuven                            Tel. +32-16-321880
Kasteelpark Arenberg 10
B-3001 Leuven-Heverlee
FLANDERS, BELGIUM                                   Fax. +32-16-321838
--------------- http://www.esat.kuleuven.be/~deknuydt ----------------