https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92220
--- Comment #6 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- (In reply to Xi Ruoyao from comment #5) > Unfortunately the value range info is not available in the frontend :(. Here "value range info" means the info from the VRP pass. For this case we can specially check MOD_EXPR, but doing so won't help with the general cases like "return a % b / 2;".
