1 files changed, 9 insertions, 0 deletions

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;
+}