Re: RFA (fold): PATCH for c++/49290 (folding *(T*)(ar+10))

[Jason Merrill]

On 06/10/2011 10:03 AM, Richard Guenther wrote:
*((volatile int *)&a[0] + 1)

It would be correct to fold it to

VIEW_CONVERT_EXPR<volatile int,a[1]>

No, it wouldn't be correct.  It isn't correct to fold it to an array-ref
that isn't volatile.

Hmm?  The C expression produces a volatile int lvalue referring to the 
second element of a, as does the VIEW_CONVERT_EXPR.  They seem 
equivalent to me.

Jason