Re: [GCC 10 PATCH] value-range: Give up on POLY_INT_CST ranges [PR97457]

On 12/2/20 9:27 AM, Richard Sandiford via Gcc-patches wrote: > This is a gcc-10 version of: > > Richard Sandiford writes: >> This PR shows another problem with calculating value ranges for >> POLY_INT_CSTs. We have: >> >> ivtmp_76 = ASSERT_EXPR POLY_INT_CST [9, 4294967294]> >> >> where the

[GCC 10 PATCH] value-range: Give up on POLY_INT_CST ranges [PR97457]

This is a gcc-10 version of: Richard Sandiford writes: > This PR shows another problem with calculating value ranges for > POLY_INT_CSTs. We have: > > ivtmp_76 = ASSERT_EXPR POLY_INT_CST [9, 4294967294]> > > where the VQ coefficient is unsigned but is effectively acting > as a negative number