bash - reproducible SEGFAULT on rapid SIGINTs

[Tycho Kirchner]

Hi,
Sending rapid SIGINTs from another shell quickly results in a SEGFAULT of the 
bash instance receiving them. Steps to reproduce:
* Open up a shell SHELL_1 and record its pid, e.g. "echo $$"
* Launch another shell and send rapid SIGINTs: while true ; do kill -INT 
OTHER_PID; done

SHELL_1 quickly dies with a SEGAULT

Tested on GNU bash, version 5.2.32(1)-release (x86_64-pc-linux-gnu), compiled via plain 
./configure && make

Thanks and Kind Regards
Tycho