gcc patch #139237: Success