On Wed, May 13, 2015 at 02:07:34PM -0300, Martin Galvan wrote: > That makes sense. I downloaded the gcc sources from the git mirror at > github-- perhaps that's what's munging the patch?
That mirror seems to be out-of-date. I suggest using <https://gcc.gnu.org/git/?p=gcc.git;a=summary>. Marek