On 13-02-2020 14:03, Richard Biener wrote:
> Care to pick up this one-time patch without myself becoming familiar
> with gdb testing & patch submission?

Of course.  Added ChangeLog entry, build and reg-tested on x86_64-linux.

Thanks,
- Tom