From d0163625ad55f8b01a3c002dd52be83b8a26e35e Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sun, 19 Apr 2020 19:50:14 +0200
Subject: test whether the instructions are allowed

---
 test/monniaux/cse2/noloopinvariant.c | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/monniaux/cse2/noloopinvariant.c

(limited to 'test')

diff --git a/test/monniaux/cse2/noloopinvariant.c b/test/monniaux/cse2/noloopinvariant.c
new file mode 100644
index 00000000..5c7789bf
--- /dev/null
+++ b/test/monniaux/cse2/noloopinvariant.c
@@ -0,0 +1,6 @@
+int toto(int *t, int n) {
+  for(int i=1; i<n; i++) {
+    if (t[i] > t[0]) return i;
+  }
+  return 0;
+}
-- 
cgit