> including generating a program that segfaults or something else.

UB = run nethack or Emacs:

https://feross.org/gcc-ownage/

We should have kept this behaviour. It would make UB a lot more unpalatable and easy to find.