[cfe-dev] Spurious register spill with volatile function argument

via cfe-dev 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 mailing list