aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22026.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22026.c')
-rw-r--r--gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22026.c49
1 files changed, 0 insertions, 49 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22026.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22026.c
deleted file mode 100644
index 7e6914d9d..000000000
--- a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22026.c
+++ /dev/null
@@ -1,49 +0,0 @@
-/* PR tree-optimization/22026
- VRP used think that ~[0,0] + ~[0,0] = ~[0,0], which is wrong. The
- same applies to subtraction and unsigned multiplication. */
-
-/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-vrp1" } */
-
-int
-plus (int x, int y)
-{
- if (x != 0)
- if (y != 0)
- {
- int z = x + y;
- if (z != 0)
- return 1;
- }
- return 0;
-}
-
-int
-minus (int x, int y)
-{
- if (x != 0)
- if (y != 0)
- {
- int z = x - y;
- if (z != 0)
- return 1;
- }
- return 0;
-}
-
-int
-mult (unsigned x, unsigned y)
-{
- if (x != 0)
- if (y != 0)
- {
- unsigned z = x * y;
- if (z != 0)
- return 1;
- }
- return 0;
-}
-
-/* None of the predicates can be folded in these functions. */
-/* { dg-final { scan-tree-dump-times "Folding predicate" 0 "vrp1" } } */
-/* { dg-final { cleanup-tree-dump "vrp1" } } */