This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][RFC] Fix PR30364, reassociation not allowed for undefined overflow
On Thu, 22 Feb 2007, Ian Lance Taylor wrote:
> Richard Guenther <rguenther@suse.de> writes:
>
> > ! if ((FLOAT_TYPE_P (type) && flag_unsafe_math_optimizations)
> > ! || (INTEGRAL_TYPE_P (type) && TYPE_OVERFLOW_WRAPS (type)))
>
> Wow, yuck. I guess it has to be done, though.
I'll add some commentary as well as the above also excludes pointer
reassociation.
> It would be cool if we could later use VRP to do the association when
> permitted.
Yeah, I'll plan to do a vrp-improvements-branch for this kind of stuff
this weekend.
Richard.