On Thu, Aug 4, 2011 at 8:43 AM, Jason Merrill <ja...@redhat.com> wrote: > On 08/04/2011 08:58 AM, Gabriel Dos Reis wrote: >> >> Do you intend to rule out garbage collectors? > > No, I suppose the rule should be that interleaved access through the > returned pointer and other ways is undefined.
OK. >> Should not access as raw memory (e.g. through char* or void*) be allowed? > > No, accessing it as raw memory is no different. Hmm, maybe I misunderstand what you are saying. But, I think a scanning collector should be allowed. -- Gaby