1 files changed, 21 insertions, 0 deletions
diff --git a/support/valdiag/tests/const.c b/support/valdiag/tests/const.c
new file mode 100644
index 0000000..5082081
--- /dev/null
+++ b/support/valdiag/tests/const.c
@@ -0,0 +1,21 @@
+
+char a;
+const char ca=2;
+const char *pca;
+char * const cpa=&a;
+
+void test(void)
+{
+  a = 1;
+#ifdef TEST1
+  ca = a;		/* ERROR */
+#endif
+#ifdef TEST2
+  pca = &a;
+  *pca = 2;		/* ERROR */
+#endif
+#ifdef TEST3
+  *cpa = 3;
+  cpa = &ca;		/* ERROR */
+#endif
+}