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

[via cfe-dev]

> 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 ?

	paul