https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121145
--- Comment #2 from federico <federico.perini at gmail dot com> --- Thank you Harald: if I can read through the source correctly, that is exactly the runtime check behavior I would be expecting. Thank you for a quick feedback!
