Testcase added.

diff --git a/test/val/bug735.c b/test/val/bug735.c
new file mode 100644 (file)
index 0000000..7bcc8d9
--- /dev/null
+++ b/test/val/bug735.c
@@ -0,0 +1,17 @@
+#include <stdio.h>
+
+unsigned char failures = 0;
+
+int main(void)
+{
+  int i;
+
+  i = 0;
+  if ((i > 1) && (i < 3)) {
+    failures++;
+  }
+
+  printf("failures: %u\n", failures);
+  return failures;
+}
+