$IGNOREEOF always modified by `local -'

[Grisha Levit]

Having IGNOREEOF defined prior to invoking a function that uses `local -'
causes IGNOREEOF to be set to `10' after the function returns.

    $ IGNOREEOF=0; f() { local -; }; f; echo $IGNOREEOF
    10