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 40fe6e1ad64e759f1af0f072cae672ebea7000a8..7db2cef79305c5f3a9703f9103b3e125ac55619c 100644 (file)
--- 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 c123bb8628bb4a0740dd9100eac503167f644780..03c5ff270fadb1d0f5f9a5fbe8918d5a151bc4a5 100644 (file)
--- 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 88c54ccc92cc585710d2d78de70ff29ed20b7842..93da285d4891b5aee76d7dd8eae5c0da0aeff91d 100644 (file)
--- 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;