pgawk: wrong execution counts

[Hermann Peifer]

Hi Arnold,

I noticed some wrong execution counts, see the first pgawk run below.

After hanging the rule from /^Tue/{++c}  to $0~/^Tue/{++c}, the counts 
are correct.

Hermann

address@hidden:clc]> cat testdata
Tue Jun 15 12:03:00 CEST 2010
Tue Jun 15 12:13:28 CEST 2010
Tue Jun 15 12:17:08 CEST 2010
Tue Jun 15 12:23:50 CEST 2010
Tue Jun 15 12:33:07 CEST 2010
Tue Jun 15 12:41:41 CEST 2010
Tue Jun 15 12:45:24 CEST 2010
Tue Jun 15 12:48:58 CEST 2010
Tue Jun 15 12:52:37 CEST 2010
Tue Jun 15 12:56:44 CEST 2010

$ pgawk '/^Tue/{++c}' testdata && cat awkprof.out
        # gawk profile, created Tue Jun 15 14:11:14 2010

        # Rule(s)

    10  /^Tue/  { # 3
    10          ++c
        }

$ pgawk '$0~/^Tue/{++c}' testdata && cat awkprof.out
        # gawk profile, created Tue Jun 15 14:11:36 2010

        # Rule(s)

    10  $0 ~ /^Tue/     { # 10
    10          ++c
        }

$ pgawk --version | head -1
GNU Awk 3.1.8