http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49572
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #6 from Jeffrey A. Law <law at redhat dot com> 2011-06-29 19:26:53
UTC ---
ISTM that DOM considering those two accesses equivalent, even though they had
different types is arguably incorrect behaviour.
I have vague memories that we played things a little fast and loose with types
of memory loads. ie, if the destination had type T1, but the field reference
had type T2 and we knew that T1 and T2 were the same size, then we'd change the
type of the field reference to T1 and avoid the typecast from T2 to T1. IIRC
we did this in the gimplifier.
Is that part of the problem here?
