gcc patch #139513: Success