>
> I can file a BZ if that is the preferred way of receiving a request such as
>> this.
>>
>> It is, so please do file a BZ.  If you can include a reproducer that
>> would help.
>>
>
> OK, I'll do so, with simple "hello world!" code and the commands I am
> using, as
> above.
>

https://sourceware.org/bugzilla/show_bug.cgi?id=30187

>