Re: gawk crash with long floating-point numbers

[John Cowan]

Andrew J. Schorr scripsit:

> But how do we know that doubling the size of the
> buffer will increase the size sufficiently?  Shouldn't it
> be something like this?

We don't know it will, and you're right that the current doubling-only
code is buggy.  But doubling is in general desirable, because it means
that each buffer element needs to be copied only once on average.
There's a good clear explanation at 
http://www.cs.rice.edu/~cork/book/node86.html
of this.

So what's needed, given that we don't want to loop, is to either use double
the current size or the current size + delta, whichever is greater.

-- 
Dream projects long deferred            John Cowan <address@hidden>
usually bite the wax tadpole.            http://www.ccil.org/~cowan
        --James Lileks                  http://www.reutershealth.com