svn merge -r265930:265934 svn+ssh://gcc.gnu.org/svn/gcc/trunk

From-SVN: r265937
18 files changed