Re: [ANN] lua_pushuserdata() polyfill
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: [ANN] lua_pushuserdata() polyfill
- From: Roberto Ierusalimschy <roberto@...>
- Date: 2014年4月29日 10:12:57 -0300
> [...] A pointer is completely and utterly
> invalid after it's been freed, so even copying its value is invalid, as well
> as dereferencing it.
I could not find that in the standard (about copying a freed
pointer). The C standard talks about "trap representations", but that is
related (as the name implies) to the representation of a value, which
does not change with a call to 'free'.
-- Roberto