2012-09-15 Tom de Vries <tom@codesourcery.com>

	* gcc.dg/tree-ssa/vrp80-2.c: Rename to ...
	* gcc.dg/tree-ssa/vrp81.c: ... this.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191347 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ChangeLog

+2012-09-15  Tom de Vries  <tom@codesourcery.com>
+
+	* gcc.dg/tree-ssa/vrp80-2.c: Rename to ...
+	* gcc.dg/tree-ssa/vrp81.c: ... this.
+
 2012-09-15  Georg-Johann Lay  <avr@gjlay.de>
 
 	PR target/54222