File: printfbad3.awk

package info (click to toggle)
gawk 1%3A5.1.0-1
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 22,628 kB
  • sloc: ansic: 52,745; awk: 13,172; yacc: 6,774; sh: 5,744; makefile: 2,838; sed: 135; csh: 6
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) }