gcc patch #138857: Success