This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix overzealous folding
On Fri, May 16, 2008 at 9:54 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
>> The problem seems to be caused by adjust_range_with_scev (after applying
>> the patch I posted). If I remove that from VRP the test is retained.
>
> Bummer, SCEV... I guess I'm going to make "boolean" a BOOLEAN_TYPE then. :-)
>
> Thanks for the tip, I'm going to further investigate.
Just a wild guess - is boolean unsigned? Try making it such (to make
overflow not
undefined).
>> Now - I don't feel exactly like digging into this - is there a chance to
>> minimize the testcase or make a C one? I suppose one of the
>> TYPE_MIN/MAX_VALUE uses in tree-ssa-loop-niter.c is the cause of the range
>> still "leaking".
>
> Well, the testcase has 38 lines and 1 loop with 1 statement...
Yeah, but it's Ada ;) I guess a C++ testcase should be possible.
Richard.