gcc patch #142567: Success