From 763b9643a68d8d6dff39c1795f98b2273ebd1101 Mon Sep 17 00:00:00 2001 From: Arvid Norlander Date: Tue, 18 Nov 2008 16:53:54 -0500 Subject: [PATCH] Add some more const in various places. Also fix an inconsistent splint annotation. --- src/ick_ec.c | 2 +- src/ick_ec.h | 2 +- src/perpet.c | 6 +++--- 3 files changed, 5 insertions(+), 5 deletions(-) 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; -- 2.43.0