[bug-gawk] Missing lint warning ?

[Hermann Peifer]

Hi,

I just noted that in the below test code, `print undefined' generates a 
lint warning, whereas `x(undefined)' doesn't. Maybe this is a feature 
rather than a small bug. In any case, I found it worth reporting.

Hermann

$ cat test.awk
BEGIN { print undefined ; x(undefined) }

function x(a)
{
        if (a == "" && a == 0) {
                print "*** argument 'a' has not been given ***"
        }
}


$ gawk --lint -f test.awk
gawk: test.awk:1: warning: reference to uninitialized variable `undefined'

gawk: test.awk:5: warning: reference to uninitialized argument `a'
gawk: test.awk:5: warning: reference to uninitialized argument `a'
*** argument 'a' has not been given ***