[google] Merged gcc-4_6-branch into google/gcc-4_6

[Diego Novillo]

This merge brings the branch up to rev 172633.

Tested on x86_64.


Diego.