Testcase added.

2018-10-14 14:10:59 -07:00 · 2018-10-14 14:10:59 -07:00 · 6d8c315cdb
parent 8eb9f4a8aa
commit 6d8c315cdb
1 changed files with 17 additions and 0 deletions
--- a/test/val/bug735.c
+++ 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;
+}
+