------- Comment #1 from pinskia at gcc dot gnu dot org 2005-11-28 22:56 -------
Even the simple code like:
int f(int i, int j )
{
int k;
k = i+ - 1;
return k < i;
}Does not get VRP to optimize it which means we don't do that much symbolic ranges as we should. From looking at things, the only time we get a symbolic range is from scev and never make it ourselves which seems wrong. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25145
