[PATCH] Fix overzealous folding

[Eric Botcazou]

> 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.

> 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...

-- 
Eric Botcazou