[patch] for PRs 27639 and 26719

[Zdenek Dvorak]

Hello,

> > I do not see anything principially wrong with the code that ivopts
> > produces; I think this is simply a VRP bug.
> 
> I disagree: IVOPTs should preserve the semantics of subtypes, that is to say 
> the arithmetics operations are performed in the base type and the result is 
> casted to the subtype.  IOW, it should not generate IVs in subtypes.  IIUC 
> it's Jeff's position too: http://gcc.gnu.org/ml/gcc/2006-02/msg00590.html

OK, I was not aware of this (I was cced in the mail, but with a typo in
the address).  I will prepare the patch to fix the problem.

Zdenek