bug in AWK

[Evgeny Smirnov]

Hello dear Sir or Madam,

 

It seems I’ve found a bug in awk.

 

The output is wrong depending on input data:

 

$ awk -f script.awk data.txt                                                    
           1 ⨯

2016-09-04 20:14:29,20

2016-09-04 19:14:29,19

2016-09-04 20:14:29,19

 

/* here 20 should be instead of last 19 */

 

script.awk:

BEGIN{

OFS=","

}

{

"date -d \""$0"\" +%H" | getline d

print $0, d

}

 

data.txt:

2016-09-04 20:14:29

2016-09-04 19:14:29

2016-09-04 20:14:29

Best regards,
Evgeny Smirnov