overflow check in extract_range_from_binary_1 useless?

[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);
> 	    }
> 	  else
> 	    {
> 	      type_min = wi::to_wide (vrp_val_min (expr_type));
> 	      type_max = wi::to_wide (vrp_val_max (expr_type));
> 	    }

Isn't wi::to_wide(TYPE_MIN/MAX_VALUE) the same as wi::min/max_value, or 
is there some weird language (*cough ada*) subtlety I'm missing?

Confused.
Aldy