[PATCH, libgcc] Fix licenses on several files

[Ondřej Bílka]

On Mon, Jul 29, 2013 at 12:10:42PM +0100, Marcus Shawcroft wrote:
> On 28/07/13 23:03, Maxim Kuvyrkov wrote:
> >While verifying license compliance for GCC and its libraries I noticed that several libgcc files that end up in the final library are licensed under GPL-3.0+ instead of GPL-3.0-with-GCC-exception.
> >
> >This is, obviously, was not the intention of developers who just copied wrong boilerplate text, and this patch fixes the oversights.
> >
To be sure it would be good idea to have check for this issue. 
First question is which files need copyright exception?

Second is which files actually have this license. 
As first approximation I used:

git grep "Section 7 of GPL version 3"

Is that list full or did I missed something?