This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [patch] for PRs 27639 and 26719


> Uh, I would guess a safe answer from nowrap_type_p is false, so you
> need to put some reasoning behind that (integer) types with a base
> type do not wrap.

My understanding is that a value may wrap in the base type but never in the 
subtype alone.

> Apart from that, you seem to rely on "optimization" (nowrap_type_p returning 
> true) to avoid the bug?

Not sure it's an optimization.  But perhaps tweaking convert_affine_scev would 
indeed be better.

-- 
Eric Botcazou


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]