I ran c-torture (with 12 multilibs). This patch fixed some things and apparently didn't break anything. I'm sending it to our customer, and I recommend you commit the change. Don