Merge from cxx-conversion branch (http://gcc.gnu.org... 2012-08-14 Diego Novillo <dnovillo@google.com> 2012-08-14 Diego Novillo <dnovillo@google.com> 2012-08-14 Diego Novillo <dnovillo@google.com> 2012-08-14 Diego Novillo <dnovillo@google.com> 2012-08-14 Diego Novillo <dnovillo@google.com> 2012-08-14 Diego Novillo <dnovillo@google.com> 2012-08-14 Diego Novillo <dnovillo@google.com>