This fixes the testcase to match reality - and update the comments
appropriately in it.
Tested on x86_64-unknown-linux-gnu, applied.
Richard.
2012-06-19 Richard Guenther <rguent...@suse.de>
* gcc.dg/tree-ssa/vrp68.c: Adjust testcase.
Index: gcc/testsuite/gcc.dg/tree-ssa/vrp68.c
===================================================================
--- gcc/testsuite/gcc.dg/tree-ssa/vrp68.c (revision 188780)
+++ gcc/testsuite/gcc.dg/tree-ssa/vrp68.c (working copy)
@@ -8,17 +8,11 @@ void test1 (int i, int j, int b)
RANGE(i, 2, 6);
ANTI_RANGE(j, 1, 7);
MERGE(b, i, j);
- CHECK_ANTI_RANGE(i, 7, 7);
CHECK_ANTI_RANGE(i, 1, 1);
- /* If we swap the anti-range tests the ~[6, 6] test is never eliminated. */
}
int main() { }
-/* While subsequent VRP/DOM passes manage to even recognize the ~[6, 6]
- test as redundant a single VRP run will arbitrarily choose ~[0, 0] when
- merging [1, 5] with ~[0, 6] so the first VRP pass can only eliminate
- the ~[0, 0] check as redundant. */
+/* VRP will arbitrarily choose ~[1, 1] when merging [2, 6] with ~[1, 7]. */
-/* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" { xfail *-*-* } } }
*/
-/* { dg-final { scan-tree-dump-times "link_error" 1 "vrp1" } } */
+/* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */
/* { dg-final { cleanup-tree-dump "vrp1" } } */
