Re: [PATCH v2 0/1] Handle divisor bigger than dividend in can_div_away_from_zero_p

[Christopher Bazley via Sourceware Forge]

Christopher Bazley (chris.bazley) <chris.baz...@arm.com>) commented on the code:


> +++ gcc/poly-int.h
> @@ -2423,0 +2440,4 @@
> +     }
> +      if (known_gt (b, POLY_INT_TYPE (Cb) (0)))
> +     {
> +       wi::overflow_type ovf;
I'm not sure you'll like this solution, so I'll also push an alternative.


--
https://forge.sourceware.org/gcc/gcc-TEST/pulls/176#issuecomment-6398