Re: overflow check in extract_range_from_binary_1 useless?

2018-07-05 Thread Jeff Law
On 06/13/2018 05:18 AM, Richard Biener wrote: > On Fri, Jun 8, 2018 at 11:42 AM Aldy Hernandez wrote: >> >> Howdy. >> >> Am I missing something or are these two sets identical? >> >>> /* Get the lower and upper bounds of the type. */ >>> if (TYPE_OVERFLOW_WRAPS (expr_type)) >>>

Re: overflow check in extract_range_from_binary_1 useless?

2018-06-13 Thread Richard Biener
On Fri, Jun 8, 2018 at 11:42 AM Aldy Hernandez wrote: > > Howdy. > > Am I missing something or are these two sets identical? > > > /* Get the lower and upper bounds of the type. */ > > if (TYPE_OVERFLOW_WRAPS (expr_type)) > > { > > type_min = wi::min_value (p

overflow check in extract_range_from_binary_1 useless?

2018-06-08 Thread Aldy Hernandez
Howdy. Am I missing something or are these two sets identical? /* Get the lower and upper bounds of the type. */ if (TYPE_OVERFLOW_WRAPS (expr_type)) { type_min = wi::min_value (prec, sgn); type_max = wi::max_value (prec, sgn);