On 3/28/25 03:19, Richard Biener wrote:
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.
OK, it should be perfectly safe. Committed to trunk.
Andrew
