This is the mail archive of the
mailing list for the GCC project.
Re: [patch] for PRs 27639 and 26719
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- Cc: Duncan Sands <duncan dot sands at math dot u-psud dot fr>, gcc-patches at gcc dot gnu dot org, Richard Guenther <richard dot guenther at gmail dot com>, sebastian dot pop at cri dot ensmp dot fr, rguenther at suse dot de
- Date: Mon, 26 Jun 2006 09:44:57 +0200
- Subject: Re: [patch] for PRs 27639 and 26719
- References: <20060520192624.GA28713@atrey.karlin.mff.cuni.cz> <firstname.lastname@example.org> <20060626073358.GA22942@atrey.karlin.mff.cuni.cz>
> We need to ensure that scev_probably_wraps_p returns a correct answer (it is
> not clear from your explanation to me whether this is currently the case,
> but given that your patch makes things less conservative, I think so),
Sorry for being unclear, but scev_probably_wraps_p returns the correct answer.
The problem is that it is not called by convert_affine_scev because of the
return value of nowrap_type_p. So, in some sense, my patch makes things more
conservative, not less.
> Introducing this type of hack into a correct analysis is a bad thing.
Well, not that correct for unsigned subtypes.
> I will have a look at the problem today.
Thanks in advance.