[gomp4] Merge trunk r232548 (2016-01-19) into gomp-4_0-branch

[Thomas Schwinge]

Hi!

Committed to gomp-4_0-branch in r232784:

commit 9cfa5d5eb5fd3b186124883a76232189b359b3de
Merge: 312e74d 56778b6
Author: tschwinge <tschwinge@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Mon Jan 25 07:35:18 2016 +0000

    svn merge -r 232189:232548 svn+ssh://gcc.gnu.org/svn/gcc/trunk
    
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gomp-4_0-branch@232784 
138bc75d-0d04-0410-961f-82ee72b054a4


Grüße
 Thomas