From f01d490fad2fbf7fb7a2e0861075ca6c09976ec4 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 9 Dec 2020 11:39:50 +0100
Subject: redundant tests

---
 test/monniaux/if/if2.c | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test/monniaux/if/if2.c

diff --git a/test/monniaux/if/if2.c b/test/monniaux/if/if2.c
new file mode 100644
index 00000000..2a6d5507
--- /dev/null
+++ b/test/monniaux/if/if2.c
@@ -0,0 +1,11 @@
+int toto(int x) {
+  if (2*x+1 >= 3) {
+    if (2*x+1 >= 3) {
+      return 3;
+    } else {
+      return 2;
+    }
+  } else {
+    return 1;
+  }
+}
-- 
cgit