https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91029
Andrew Macleod <amacleod at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amacleod at redhat dot com Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #4 from Andrew Macleod <amacleod at redhat dot com> --- I adjusted range-ops to properly calculate those ranges for 'a' in LHS = a % b when LHS and b match what was described. I also added a test case that confirms the conditions are tracked and branches folded.