https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120265
--- Comment #2 from mcccs at gmx dot com --- For future reference, my patch was (rightly) rejected and the discussion can be seen under "[PATCH] Match: Handle commonly used unsigned modulo counters " https://gcc.gnu.org/pipermail/gcc-patches/2025-May/thread.html