Hello!

I hope this is the correct etiquette and that it's useful. Copyright
assigned to whoever commits to assign to GNU or do whatever is
appropriate (assuming it is committed).

To the easiest way to replicate the segfault:
gdb some_prog
b main
run
C-x a
C-x 2
C-x 2
C-x 2 -- so you now have registers on the top panel and source in the middle.
resize the terminal.
step,
segfault

Regards,
Hal