On 07/15/2017 02:47 PM, Alexander Monakov wrote: > Subtracting values to produce a -/0/+ comparison value only works when > original values have limited range. Otherwise it leads to broken > comparator that indicates 0 < 0x40000000 < 0x80000000 < 0. > > Yuri posted an equivalent patch just a few hours ago: > https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00882.html > > * tree-vrp.c (compare_assert_loc): Properly compare hash values. Richi already ack'd Yuri's version, so let's stick with that.
jeff
