From 97ff7dd6abf007f100c0b12c67702f98c45701c3 Mon Sep 17 00:00:00 2001
From: pacien
Date: Tue, 5 Jun 2018 22:48:55 +0200
Subject: add const tests

---
 res/test_const_ko.tpc | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 res/test_const_ko.tpc

(limited to 'res/test_const_ko.tpc')

diff --git a/res/test_const_ko.tpc b/res/test_const_ko.tpc
new file mode 100644
index 0000000..6683d01
--- /dev/null
+++ b/res/test_const_ko.tpc
@@ -0,0 +1,9 @@
+const c1 = 0;
+const c2 = 0;
+
+entier main(void) {
+  entier c1;
+  c1 = 0; /* expect no error */
+  c2 = 0; /* expect an error */
+  return 1;
+}
-- 
cgit v1.2.3