[google] google/main -> google/gcc-4_6 merge

[Diego Novillo]

Merged google/main into google/gcc-4_6 up to rev 172617.

Tested on x86_64.


Diego.