On Fri, Sep 14, 2012 at 09:27:27AM +0200, Tom de Vries wrote: > * gcc.dg/tree-ssa/vrp81.c: New test. > * gcc.dg/tree-ssa/vrp81-2.c: Same. > * gcc.dg/tree-ssa/vrp82.c: Same.
Why not vrp82.c, vrp83.c and vrp84.c (and rename the recently added
vrp80-2.c test to vrp81.c)?
Jakub
