diff --git a/test/val/pr1425.c b/test/val/pr1425.c
deleted file mode 100644
index e3ae23ba3..000000000
--- a/test/val/pr1425.c
+++ /dev/null
@@ -1,45 +0,0 @@
-
-/* pr #1425 - Ternary fixes */
-
-unsigned char fails = 0;
-
-void test1(void)
-{
-    int x = 0;
-    x ? (void)x-- : (void)1;
-    if (x != 0) {
-        fails++;
-    }
-}
-
-int test2(void)
-{
-    int x = 0, y = 0;
-    x ? (void)x--, (void)y++ : (void)1;
-    if (x != 0) {
-        fails++;
-    }
-    if (y != 0) {
-        fails++;
-    }
-}
-
-void test3(void)
-{
-    int x = 0, y = 0;
-    x ? ((void)x--, (void)y++) : (void)1;
-    if (x != 0) {
-        fails++;
-    }
-    if (y != 0) {
-        fails++;
-    }
-}
-
-int main(void)
-{
-    test1();
-    test2();
-    test3();
-    return fails;
-}