https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114762
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> --- Created attachment 57981 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57981&action=edit testcase trying reasonable input for division (and multiplication) This can be used to test various input combinations. It might be reasonable to try both -O0 and -O3. $ x86_64-pc-linux-gnu-gcc tg.c -O0 -fsanitize=undefined -g3 -static && ./a.out 1 0 Floating point exception $ aarch64-unknown-linux-gnu-gcc tg.c -O3 -static && qemu-aarch64 -- ./a.out 1 0 2 0 2 1 3 0 ... 62 57 62 58 62 59 62 60 62 61 63 0 a.out: tg.c:35: divmod: Assertion `q * sb + r == sa' failed. qemu: uncaught target signal 6 (Aborted) - core dumped Aborted No warranty for code correctness.
