https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62231
--- Comment #15 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Any problem seen on 603e is a different issue from this (fixed) e500-specific issue and should not be discussed in this bug.
