From 6d8c315cdbe4aca6c88ed815c403d32b3b746377 Mon Sep 17 00:00:00 2001 From: laubzega Date: Sun, 14 Oct 2018 14:10:59 -0700 Subject: [PATCH] Testcase added. --- test/val/bug735.c | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 test/val/bug735.c diff --git a/test/val/bug735.c b/test/val/bug735.c new file mode 100644 index 000000000..7bcc8d9cc --- /dev/null +++ b/test/val/bug735.c @@ -0,0 +1,17 @@ +#include + +unsigned char failures = 0; + +int main(void) +{ + int i; + + i = 0; + if ((i > 1) && (i < 3)) { + failures++; + } + + printf("failures: %u\n", failures); + return failures; +} + -- 2.39.5