turning off range simplification

[Paul Brook]

On Friday 25 June 2004 14:51, Conway, Christopher L (Christopher)** CTR ** 
wrote:
> I am working on a static analysis tool that operates the tree-ssa
> representation. We're having trouble with what I *think* is a tree
> dominator optimization.
>
> C code:
>   if( i==1 || i==2 ) { ... }
>
> tree-ssa code:
>   T.1 = i - 1;
>   T.2 = (unsigned int)T.1;
>   if (T.2 <= 1) { ... }
<...>
> If you know whether (a), (b), (c), or (d) "none of the above" is true, I
> would be most grateful to hear.

The .t03.original dump contains if ((n - 1) <= 1u. This implies the 
optimization is performed by fold(), not the tree-ssa optimizers.
It's probably conditional on -O. Not all optimizations have specific flags to 
turn them on and off.

Paul