On Sun, Dec 23, 2012 at 5:48 PM, Richard Sandiford
wrote:
> The minimum uint128_t value is an all-zeros double_int and the maximum
> value is an all-ones double_int. Truncating these values to int and
> then sign-extending them gives the same all-zeros and all-ones values,
> so tree-vrp.c:range_f
The minimum uint128_t value is an all-zeros double_int and the maximum
value is an all-ones double_int. Truncating these values to int and
then sign-extending them gives the same all-zeros and all-ones values,
so tree-vrp.c:range_fits_type_p concludes that uint128_t fits in an int.
This showed up
