https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113878
--- Comment #6 from uecker at gcc dot gnu.org --- My idea would be to explicitly add either traps or __builtin_unreachable whenever there is UB that can be checked for in the C FE, and not add sanitizer calls (that may return). Just a lightweight tool for safety that needs no run-time and and be activated in production because it is optimized well.