Patch for bug 47030

[Thomas Koenig]

Hi Marco,

> The copyright assignment was completed, and I uploaded a
> updated version of the patch
> 
> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45348
> 
> that passes the check_GNU_style.sh verification.

Excellent!

Can you submit the patch using the normal procedure,
with a ChangeLog entry and a test case?

Regards

	Thomas