On Fri, Mar 28, 2025 at 12:28 AM Andrew MacLeod <amacl...@redhat.com> wrote: > > This patch fixes both 119471 and the remainder of 110992. > > At issue is we do not recognize that if > > "a * b != 0" , then neither "a" nor "b" can be zero. > > This is fairly trivial with range-ops. op1_range and op2_range for > operator_mult are taught that if the LHS does not contain zero, than > neither does either operand. > > Included are patches for trunk (gcc15), gcc14, and gcc13. All are > basically the same few lines. > > I presume we want to wait for stage 1 to check this into trunk . > > Bootstraps with no regressions on x86_64-pc-linux-gnu on all 3 > branches. OK for gcc13 and gcc14 branches?
This is OK for branches only after it was on trunk. Since one of the PRs is a regression it's technically OK for trunk now. Richard. > > Andrew >
