Blob Blame History Raw
#From arnold  Thu May  9 17:27:03 2002
#Return-Path: <arnold@skeeve.com>
#Received: (from arnold@localhost)
#	by skeeve.com (8.11.6/8.11.6) id g49ER3K27925
#	for arnold; Thu, 9 May 2002 17:27:03 +0300
#Date: Thu, 9 May 2002 17:27:03 +0300
#From: Aharon Robbins <arnold@skeeve.com>
#Message-Id: <200205091427.g49ER3K27925@skeeve.com>
#To: arnold@skeeve.com
#Subject: fixme
#X-SpamBouncer: 1.4 (10/07/01)
#X-SBRule: Pattern Match (Other Patterns) (Score: 4850)
#X-SBRule: Pattern Match (Spam Phone #) (Score: 0)
#X-SBClass: Blocked
#Status: O
#
#Path: ord-read.news.verio.net!dfw-artgen!iad-peer.news.verio.net!news.verio.net!fu-berlin.de!uni-berlin.de!host213-120-137-48.in-addr.btopenworld.COM!not-for-mail
#From: laura@madonnaweb.com (laura fairhead)
#Newsgroups: comp.lang.awk
#Subject: bug in gawk3.1.0 regex code
#Date: Wed, 08 May 2002 23:31:40 GMT
#Organization: that'll be the daewooo :)
#Lines: 211
#Message-ID: <3cd9b0f7.29675926@NEWS.CIS.DFN.DE>
#Reply-To: laura@madonnaweb.com
#NNTP-Posting-Host: host213-120-137-48.in-addr.btopenworld.com (213.120.137.48)
#X-Trace: fu-berlin.de 1020900891 18168286 213.120.137.48 (16 [53286])
#X-Newsreader: Forte Free Agent 1.21/32.243
#Xref: dfw-artgen comp.lang.awk:13059
#
#
#I believe I've just found a bug in gawk3.1.0 implementation of
#extended regular expressions. It seems to be down to the alternation
#operator; when using an end anchor '$' as a subexpression in an
#alternation and the entire matched RE is a nul-string it fails
#to match the end of string, for example;
#
#gsub(/$|2/,"x")
#print
#
#input           = 12345
#expected output = 1x345x
#actual output   = 1x345
#
#The start anchor '^' always works as expected;
#
#gsub(/^|2/,"x")
#print
#
#input           = 12345
#expected output = x1x345
#actual output   = x1x345
#
#This was with POSIX compliance enabled althought that doesn't
#effect the result.
#
#I checked on gawk3.0.6 and got exactly the same results however
#gawk2.15.6 gives the expected results.
#
#I'm about to post a bug report about this into gnu.utils.bug
#but I thought I'd post it here first in case anyone has
#any input/comments/whatever ....
#
#Complete test results were as follows;
#
#input          12345
#output         gsub(/regex/,"x",input)
#
#regex          output
#(^)            x12345
#($)            12345x
#(^)|($)        x12345x
#($)|(^)        x12345x
#(2)            1x345
#(^)|2          x1x345
#2|(^)          x1x345
#($)|2          1x345
#2|($)          1x345
#(2)|(^)        x1x345
#(^)|(2)        x1x345
#(2)|($)        1x345
#($)|(2)        1x345
#.((2)|(^))     x345
#.((^)|(2))     x345
#.((2)|($))     x34x
#.(($)|(2))     x34x
#x{0}((2)|(^))  x1x345
#x{0}((^)|(2))  x1x345
#x{0}((2)|($))  1x345
#x{0}(($)|(2))  1x345
#x*((2)|(^))    x1x345
#x*((^)|(2))    x1x345
#x*((2)|($))    1x345
#x*(($)|(2))    1x345
#
#Here's the test program I used, a few of the cases use ERE {n[,[m]]}
#operators so that will have to be commented out or have a check
#added or something (should have put a conditional in I know... ;-)
#
#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#
BEGIN{

TESTSTR="12345"

print "input          "TESTSTR
print "output         gsub(/regex/,\"x\",input)"
print ""

print "regex          output"
$0=TESTSTR
gsub(/(^)/,"x")
print "(^)            "$0

$0=TESTSTR
gsub(/($)/,"x")
print "($)            "$0

$0=TESTSTR
gsub(/(^)|($)/,"x")
print "(^)|($)        "$0

$0=TESTSTR
gsub(/($)|(^)/,"x")
print "($)|(^)        "$0

$0=TESTSTR
gsub(/2/,"x")
print "(2)            "$0

$0=TESTSTR
gsub(/(^)|2/,"x")
print "(^)|2          "$0

$0=TESTSTR
gsub(/2|(^)/,"x")
print "2|(^)          "$0

$0=TESTSTR
gsub(/($)|2/,"x")
print "($)|2          "$0

$0=TESTSTR
gsub(/2|($)/,"x")
print "2|($)          "$0

$0=TESTSTR
gsub(/(2)|(^)/,"x")
print "(2)|(^)        "$0

$0=TESTSTR
gsub(/(^)|(2)/,"x")
print "(^)|(2)        "$0

$0=TESTSTR
gsub(/(2)|($)/,"x")
print "(2)|($)        "$0

$0=TESTSTR
gsub(/($)|(2)/,"x")
print "($)|(2)        "$0

$0=TESTSTR
gsub(/.((2)|(^))/,"x")
print ".((2)|(^))     "$0

$0=TESTSTR
gsub(/.((^)|(2))/,"x")
print ".((^)|(2))     "$0

$0=TESTSTR
gsub(/.((2)|($))/,"x")
print ".((2)|($))     "$0

$0=TESTSTR
gsub(/.(($)|(2))/,"x")
print ".(($)|(2))     "$0

# $0=TESTSTR
# gsub(/x{0}((2)|(^))/,"x")
# print "x{0}((2)|(^))  "$0
# 
# $0=TESTSTR
# gsub(/x{0}((^)|(2))/,"x")
# print "x{0}((^)|(2))  "$0
# 
# $0=TESTSTR
# gsub(/x{0}((2)|($))/,"x")
# print "x{0}((2)|($))  "$0
# 
# $0=TESTSTR
# gsub(/x{0}(($)|(2))/,"x")
# print "x{0}(($)|(2))  "$0

$0=TESTSTR
gsub(/x*((2)|(^))/,"x")
print "x*((2)|(^))    "$0

$0=TESTSTR
gsub(/x*((^)|(2))/,"x")
print "x*((^)|(2))    "$0

$0=TESTSTR
gsub(/x*((2)|($))/,"x")
print "x*((2)|($))    "$0

$0=TESTSTR
gsub(/x*(($)|(2))/,"x")
print "x*(($)|(2))    "$0

# $0=TESTSTR
# gsub(/x{0}^/,"x")
# print "x{0}^          "$0
# 
# $0=TESTSTR
# gsub(/x{0}$/,"x")
# print "x{0}$          "$0
# 
# $0=TESTSTR
# gsub(/(x{0}^)|2/,"x")
# print "(x{0}^)|2      "$0
# 
# $0=TESTSTR
# gsub(/(x{0}$)|2/,"x")
# print "(x{0}$)|2      "$0


}
#
#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#
#byefrom
#
#-- 
#laura fairhead  # laura@madonnaweb.com  http://lf.8k.com
#                # if you are bored crack my sig.
#1F8B0808CABB793C0000666667002D8E410E83300C04EF91F2877D00CA138A7A
#EAA98F30C494480157B623C4EF1B508FDED1CEFA9152A23DE35D661593C5318E
#630C313CD701BE92E390563326EE17A3CA818F5266E4C2461547F1F5267659CA
#8EE2092F76C329ED02CA430C5373CC62FF94BAC6210B36D9F9BC4AB53378D978
#80F2978A1A6E5D6F5133B67B6113178DC1059526698AFE5C17A5187E7D930492