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

Reply via email to