awk core dump on non-existent file

[Ed Morton]

I couldn't find anything on the gawk web site or in the manual about a 
site where I could check for known bugs so appologies if this is known 
but I did try to check:

   $ sh --version | head -1
   GNU bash, version 3.00.16(11)-release (i686-pc-cygwin)
   $ awk --version | head -1
   GNU Awk 3.1.5
   $ ls garbage
   ls: garbage: No such file or directory
   $ awk 1 garbage
   Aborted (core dumped)

Regards,

   Ed.