[gomp4] Merge trunk r231117 (2015-12-01) into gomp-4_0-branch

[Thomas Schwinge]

Hi!

Committed to gomp-4_0-branch in r231186:

commit e08db3c495b2447b7b3dacc61e9c297fd736a061
Merge: 32f9dce ce182d9
Author: tschwinge <tschwinge@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Wed Dec 2 16:16:40 2015 +0000

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


Grüße
 Thomas