[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Parfait analysis of GNU sed 4.2.2
From: |
Paul Eggert |
Subject: |
Re: Parfait analysis of GNU sed 4.2.2 |
Date: |
Thu, 14 Feb 2013 13:43:19 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130110 Thunderbird/17.0.2 |
On 02/14/13 10:10, Rich Burridge wrote:
> (word_limit + -1))[12] with index '-1+12'
> Array size is 32000 bytes, -1+12 is -20
> at line 257 of components/sed/sed-4.2.2/sed/fmt.c in function
> 'get_paragraph'.
>
> You might wish to review this and see if it is a real problem that
> need addressing (as opposed to a false positive).
Thanks, but these both look like false positives to me.
Among other things, -1+12 does not equal -20. I suspect it's
a bug in Parfait. Perhaps it's just a problem in how its information
is displayed, in which case it could be identifying a bug in sed,
but offhand I don't see what that bug would be.