https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83201
--- Comment #18 from Pat Haugen <pthaugen at gcc dot gnu.org> --- (In reply to Martin Liška from comment #16) > (In reply to Richard Biener from comment #15) > > SWAPINIT should end up with swaptype_long == 1 I think and swaptype_int == 1 > > for the cases in question. Enforcing swaptype_int = swaptype_long = 2 > > should make it work (scratch SWAPINIT calls). > > I can confirm that. Yes, that fixes the problem for me on PowerPC also. I can pass along the info to our SPEC rep. Richi, I'm curious if the alias violations were apparent in a dump file, or did you just happened to spot them looking through the source?