Re: [PHP-DEV] backtrace From: Zeev Suraski (zeev <email protected>)
Date: 08/31/00

On Thu, 31 Aug 2000, Sascha Schumann wrote:

> On Thu, 31 Aug 2000, Zeev Suraski wrote:
>
> > On Thu, 31 Aug 2000, Sascha Schumann wrote:
> >
> > > The standard says otherwise.
> >
> > Regardless of whatever standard you pull from your sleeves, it's wrong if
> > it says it doesn't :) You either misread the standard, or misread what I
> > said (or the standard's dead wrong).
>
> "A va_list cannot be traversed multiple times."
>
> Is that correct? This is correct:
>
> "A va_list cannot be traversed multiple times without
> reinitialization."
>
> Let's start expressing what we mean.

That's silly (c).

"A pointer cannot be freed multiple times."

Would you consider this sentence incorrect? Incomplete? Would you say
every time

"A pointer cannot be freed multiple times, without assigning a new
allocated block to it?"

People omit lots of stuff from sentences all the time, when it's obvious.

> > That's exactly what I said - I said that this stale va_end(), with no
> > assignment to complement it, caused trouble on many platforms, because
> > va_end() often kills the va_list it's fed with.
>
> s/assignment/reinitialization/ and we agree.

No, earlier, it was an assignment, not an initialization. Things are
basically like this:

Earlier, there was
assignment
usage
va_end()

Which worked if it compiled, but could not compile on some esoteric
platforms.

After your patch, there was
usage
va_end()

Which crashed under various platforms, because va_end() ruined the
va_list. I wasn't talking about what it SHOULD have been (which should
have been completely nuking both the assignment and va_end()), but what it
WAS.

> Please refer to my other email on why assignments don't work
> well in this context.

Can you forward me your Email? My understanding is that if it compiles,
it should work.

Zeev 

-- 
Zeev Suraski <zeev <email protected>>
http://www.zend.com/

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>