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
