Re: [ANN] lua_pushuserdata() polyfill

[Roberto Ierusalimschy <roberto@...>]

> [...] 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