From 2fd9411f7f184ff2b88038b6502a86ce4cb9d273 Mon Sep 17 00:00:00 2001
From: Alex Volkov <codepro@usa.net>
Date: Fri, 20 Mar 2026 19:51:04 -0400
Subject: [PATCH] Expand bug2395 tests to other operators and conditions

---
 test/val/bug2395.c | 112 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 112 insertions(+)

diff --git a/test/val/bug2395.c b/test/val/bug2395.c
index 07c5cd7c5..7cdf8b30b 100644
--- a/test/val/bug2395.c
+++ b/test/val/bug2395.c
@@ -8,6 +8,7 @@
 unsigned char a, b;
 unsigned char c = 199;
 unsigned char d = 100;
+int i = 50;
 
 int main(void) {
     int fails = 0;
@@ -38,6 +39,117 @@ int main(void) {
       printf("AND error: a %d instead of %d\n", a, b);
       fails++;
     }
+
+    a = c + (d != 0);
+    b = c + 1;
+
+    printf("%u ^ (%u != 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("ADD error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c - (d != 0);
+    b = c - 1;
+
+    printf("%u ^ (%u != 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("SUB error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c ^ (d >= 0);
+    b = c ^ 1;
+
+    printf("%u ^ (%u >= 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("XOR error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c | (d >= 0);
+    b = c | 1;
+
+    printf("%u | (%u >= 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("OR error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c & (d >= 0);
+    b = c & 1;
+
+    printf("%u & (%u >= 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("AND error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c + (d >= 0);
+    b = c + 1;
+
+    printf("%u ^ (%u >= 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("ADD error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c - (d >= 0);
+    b = c - 1;
+
+    printf("%u ^ (%u >= 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("SUB error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    printf("%d errors\n", fails);
+
+    a = c ^ (i >= 0);
+    b = c ^ 1;
+
+    printf("%u ^ (%d >= 0) => %u\n", c, d, a);
+    if (a != b) {
+      printf("XOR int cmp error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c | (i >= 0);
+    b = c | 1;
+
+    printf("%u | (%d >= 0) => %u\n", c, i, a);
+    if (a != b) {
+      printf("OR int cmp error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c & (i >= 0);
+    b = c & 1;
+
+    printf("%u & (%d >= 0) => %u\n", c, i, a);
+    if (a != b) {
+      printf("AND int cmp error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c + (i >= 0);
+    b = c + 1;
+
+    printf("%u ^ (%d >= 0) => %u\n", c, i, a);
+    if (a != b) {
+      printf("ADD int cmp error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
+    a = c - (i >= 0);
+    b = c - 1;
+
+    printf("%u ^ (%d >= 0) => %u\n", c, i, a);
+    if (a != b) {
+      printf("SUB int cmp error: a %d instead of %d\n", a, b);
+      fails++;
+    }
+
     printf("%d errors\n", fails);
 
     return fails;