Compile ssa-thread-14.c with -fdump-tree-vrp-details

	* gcc.dg/tree-ssa/ssa-thread-14.c: Replace -fdump-tree-vrp with
	-fdump-tree-vrp-details.

From-SVN: r235818

gcc/testsuite/ChangeLog

+2016-05-03  H.J. Lu  <hongjiu.lu@intel.com>
+
+	* gcc.dg/tree-ssa/ssa-thread-14.c: Replace -fdump-tree-vrp with
+	-fdump-tree-vrp-details.
+
 2016-05-03  Richard Biener  <rguenther@suse.de>
 
 	* gcc.dg/pr30172-1.c: Adjust.

gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-14.c

 /* { dg-do compile }  */
-/* { dg-additional-options "-O2 -fdump-tree-vrp" }  */
+/* { dg-additional-options "-O2 -fdump-tree-vrp-details" }  */
 /* { dg-final { scan-tree-dump-times "Threaded jump" 8 "vrp1" } }  */
 
 void foo (void);