Re: [bug-gawk] can we get a warning for undefined behavior?

[Ed Morton]

great, thanks for the update and, more importantly, for adding the 
functionality!

    Ed.

On 8/8/2018 7:20 AM, address@hidden wrote:
> Hi.
>
> Ed Morton <address@hidden> wrote:
>
> > I notice that these:
> >
> > $ echo 'foo bar' | awk --lint '{NF--}1'        # UB: decrementing NF
> > foo
> >
> > $ echo 'foo bar' | awk --lint 'END{print $0}'    # UB: using $0 in END
> > foo bar
> These two are medium hard to do. They're on my list, along with
> the other things you sent in private email.
>
> > $ echo 'foo bar' | awk --lint '/\o/'    # UB: backslash before literal char
> > foo bar
> >
> > $ echo 'foo bar' | awk --lint '{print > "file" 1}'    # UB: unparenthesized
> > right side of I/O redirection
> I have added warnings for these two and they're in the code base.
>
> Thanks,
>
> Arnold