source: trunk/essentials/sys-apps/gawk/test/ofmt.awk

# From dragon!knorke.saar.de!florian Wed Jul 16 10:47:27 1997
# Return-Path: <dragon!knorke.saar.de!florian>
# Message-ID: <19970716164451.63610@knorke.saar.de>
# Date: Wed, 16 Jul 1997 16:44:51 +0200
# From: Florian La Roche <florian@knorke.saar.de>
# To: bug-gnu-utils@prep.ai.mit.edu
# CC: arnold@gnu.ai.mit.edu
# Subject: bug in gawk 3.0.3
# MIME-Version: 1.0
# Content-Type: text/plain; charset=us-ascii
# X-Mailer: Mutt 0.76
# Status: R
# Content-Length: 1725
# X-Lines: 177
# X-Display-Position: 0
# 
# I have a problem with gawk 3.0.3 on linux with libc 5.4.33.
# The memory is corrupted, if I use OFMT = "%.12g".
# With OFMT = "%.6g" evrything works fine, but I don't have enough
# digits for the computation.
# 
# Thanks a lot,
# Florian La Roche
# 
# Here is the sample awk-Script together with sample data:
# 
BEGIN {
                OFMT = "%.12g"
                big = 99999999999
                lowest = big
                small = 0
                highest = small
                dir = ""
        }
$0 ~ /^[0-9]+$/ {
        # some old awks do not think $0 is numeric, so use $1
        if ($1 < lowest)
                lowest = $1
        if ($1 > highest)
                highest = $1
        next
}
$0 ~ /\/\.:$/ {
        if (dir != "") {
                if (highest != small)
                        print dir, highest, lowest
                else
                        print dir, "-", "-"
        }
        dir = substr($0, 1, length($0)-3)       # trim off /.:
        lowest = big
        highest = small
}