From: Arvid Norlander <anmaster@tele2.se>
Date: Tue, 18 Nov 2008 21:53:54 +0000 (-0500)
Subject: Add some more const in various places. Also fix an inconsistent splint annotation.
X-Git-Tag: 0.29~175
X-Git-Url: http://thyrsus.com/gitweb/?a=commitdiff_plain;h=763b9643a68d8d6dff39c1795f98b2273ebd1101;p=intercal.git

Add some more const in various places. Also fix an inconsistent splint annotation.
---

diff --git a/src/ick_ec.c b/src/ick_ec.c
index 40fe6e1..7db2cef 100644
--- a/src/ick_ec.c
+++ b/src/ick_ec.c
@@ -67,7 +67,7 @@ extern ick_overop* ick_oo_twospots;
 				       void (*os1)(ick_type32, void(*)()),
 				       void (*os2)(ick_type32, void(*)()),
 				       void (*os3)(ick_type32, void(*)()),
-			/*@observer@*/ char* errstr)
+			/*@observer@*/ const char* errstr)
 {
   int st;
   uint32_t rv;
diff --git a/src/ick_ec.h b/src/ick_ec.h
index c123bb8..03c5ff2 100644
--- a/src/ick_ec.h
+++ b/src/ick_ec.h
@@ -243,7 +243,7 @@ void ick_runstartups(void);
 				       void(*)(ick_type32, void(*)()),
 				       void(*)(ick_type32, void(*)()),
 				       void(*)(ick_type32, void(*)()),
-				       char*);
+			/*@observer@*/ const char*);
 
 void ick_allecfuncs(void); /* in generated program */
 
diff --git a/src/perpet.c b/src/perpet.c
index 88c54cc..93da285 100644
--- a/src/perpet.c
+++ b/src/perpet.c
@@ -138,9 +138,9 @@ unsigned int ick_Max_large;
 int ick_lineno;	/* after yyparse, this is the total number of statements */
 
 /* currently supported numeric bases, not exported */
-static int maxbase = 7;
-static int smallsizes[8] = {0, 0, 16, 10, 8, 6, 6, 5};
-static unsigned int maxsmalls[8] =
+static const int maxbase = 7;
+static const int smallsizes[8] = {0, 0, 16, 10, 8, 6, 6, 5};
+static const unsigned int maxsmalls[8] =
 {0, 0, 65535, 59048, 65535, 15624, 46655, 16806};
 
 /*@observer@*/ static const char *compiler;