gcc patch #139238: Success