Am 26.05.20 um 23:33 schrieb Harald Anlauf:
Committed as obvious.
The invalid NULL pointer dereference was discovered by Steve Kargl.
Will backport in a few days, when I figure out how to do it now.
Thanks for committing this.
The way to backport now is to first run contrib/gcc-git-customization.sh
from current master, and then change to the branch you want to
backport this to and run
git gcc-backport r11-646-g56f03cd12be26828788a27f6f3c250041a958e45 .
(or what your revision may be).
I just tried it, and it works well.
Regards
Thomas
