https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104356
--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Anyway, if integer division by zero is not considered UB in Ada, we need some flag_whatever that will represent that to the middle-end and check it in all places where we assume it is UB. It can be of course set e.g. only if the explicit checks aren't emitted. And this optimization would be just one of the many places that would need to be guarded by that flag.
