Merge from gcc-4_7-branch to gccgo branch

[Ian Lance Taylor]

I have done yet another merge from gcc-4_7-branch to gccgo branch, this
time from revision 187566.

Ian