http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53986
--- Comment #12 from vries at gcc dot gnu.org 2012-09-07 09:21:31 UTC --- Author: vries Date: Fri Sep 7 09:21:21 2012 New Revision: 191058 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191058 Log: 2012-09-07 Tom de Vries <t...@codesourcery.com> PR tree-optimization/53986 * gcc.dg/tree-ssa/vrp80.c: New test. * gcc.dg/tree-ssa/vrp80-2.c: Same. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp80-2.c trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp80.c Modified: trunk/gcc/testsuite/ChangeLog