On Sat, Oct 19, 2019 at 08:27:31AM +0200, Jakub Jelinek wrote: > And as questioned in the PR, are there other cases where we can safely > assume no wrap (e.g. use it if use->iv->no_overflow && cand->iv->no_overflow > without those extra precision checks)?
Like, is there a way to find out if an iv_cand has been created from pointer arithmetics or similar and thus at least with -fno-wrapv-pointer shouldn't wrap around? Jakub