[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Parfait analysis of GNU sed 4.2.2
From: |
Jose E. Marchesi |
Subject: |
Re: Parfait analysis of GNU sed 4.2.2 |
Date: |
Thu, 14 Feb 2013 22:44:27 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
> You might wish to review this and see if it is a real problem that
> need addressing (as opposed to a false positive).
It's a false positive.
Function get_line always advances word_limit by one or more, and there
is always at least one invocation of get_line after the assignment
word_limit = words;
Heh, we crossed emails :) No need to investigate then.
--
Jose E. Marchesi http://www.jemarch.net
GNU Project http://www.gnu.org