[cfe-dev] Spurious register spill with volatile function argument
cfe-dev at lists.llvm.org
Mon Mar 28 07:33:40 PDT 2016
> On Mar 28, 2016, at 8:11 AM, Florian Weimer <fw at deneb.enyo.de> wrote:
> The problem is that “reading” is either not defined, or the existing
> flatly contradicts existing practice.
> For example, if p is a pointer to a struct, will the expression &p->m
> read *p?
Presumably the offset of m is substantially larger than 0? If so, my answer would be "it had better not". Does any compiler treat that statement as an access to *p ?
More information about the cfe-dev