On Wed, Apr 30, 2025 at 12:00 AM Andrew MacLeod <amacl...@redhat.com> wrote: > > > On 4/28/25 17:26, Andrew MacLeod wrote: > > I have committed this patch to trunk after bootstrap/regression > > testing again on trunk. > > > > I'll get to gcc14/15 once I flush the current queue. > > > > Andrew > > > > On 1/23/25 04:39, Richard Biener wrote: > >> On Wed, Jan 22, 2025 at 12:49 AM Andrew MacLeod <amacl...@redhat.com> > >> wrote: > >>> This patch simply adds an op2_range to operator_div which returns > >>> non-zero if the LHS is not undefined. This means given and integral > >>> division: > >>> > >>> x = y / z > >>> > >>> 'z' will have a range of [-INF, -1] [1, +INF] after execution of the > >>> statement. > >>> > >>> This is relatively straightforward and resolves the PR, but I also get > >>> that we might not want to proliferate an inferred range of undefined > >>> behavior at this late stage. > >>> > >>> OK for trunk, or defer to stage 1? Are there any flags that need to be > >>> checked to make this valid? > >> Stage 1 please. I don't think this needs any flags. > >> > >> Richard. > >> > >>> Bootstrapped on x86_64-pc-linux-gnu with no regressions. > >>> > >>> Andrew > This is now in trunk. Attached are the patches for gcc15, gcc14, and > gcc13. > > Bootstrapped with no regressions on x86_64-pc-linux-gnu. > > Do you want me to check it in for any or all of those branches? I > cant go back further than gcc13 due to a lack of inferred range processing.
It's not a regression, so please don't backport at all. Richard. > Andrew