File: printfbad3.awk

package info (click to toggle)
gawk 1%3A4.1.4%2Bdfsg-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 16,836 kB
  • ctags: 5,783
  • sloc: ansic: 48,799; awk: 11,167; yacc: 5,939; sh: 5,579; makefile: 2,554; sed: 121
file content (22 lines) | stat: -rw-r--r-- 476 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
# Date: Wed, 14 Mar 2012 08:10:48 -0500
# From: John Haque <j.eh@mchsi.com>
# To: arnold@skeeve.com
# Subject: gawk printf format bug 
# 
# Hi.
# 
# I think this is a bug:
# 
# $ gawk 'BEGIN { printf("%.0x%#x%#x\n", 0, 167, 167)}'
# 570xa7
# 
# It should print 0xa70xa7.
# 
# The solution is to initialize base to 0 in the beginning
# of the while loop along with other stuff (format_tree).
# 
# Thanks.
# 
# John
 
BEGIN { printf(">>%.0x<< >>%#x<< >>%#x<<\n", 0, 167, 167) }