File: printfbad3.awk

package info (click to toggle)
gawk 1%3A4.0.1%2Bdfsg-2.1
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 10,944 kB
  • sloc: ansic: 38,137; awk: 6,654; yacc: 6,066; sh: 4,807; makefile: 1,802; sed: 112
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) }