gcc patch #139251: Success