Fix some more splint warnings in cesspool.c and dekludge.c, make the parameter of...

diff --git a/src/cesspool.c b/src/cesspool.c
index 05b3be6fe3fd2be412e5907727cae2b2e6a1a08b..0ea2a291eaa1881fd262dbc8abd831d59724c5e7 100644 (file)
--- a/src/cesspool.c
+++ b/src/cesspool.c
@@ -460,7 +460,7 @@ static void clcbinout(unsigned int type, const ick_array* a)
   while(i--) if(tempcp[i] == '\0') tempcp[i]='\x1a';
   if(!ick_cesspoolout) ick_cesspoolout=stdout;
   fprintf(ick_cesspoolout,"%s\n",tempcp);
-  fflush(ick_cesspoolout);
+  (void) fflush(ick_cesspoolout);
   free(tempcp);
   free(buf);
 }

diff --git a/src/dekludge.c b/src/dekludge.c
index 59823fa63ce98e335204e86676e2a51136c84238..73f26a00180b9c757d3c5f6a0e4dbeeb5fa1209e 100644 (file)
--- a/src/dekludge.c
+++ b/src/dekludge.c
@@ -58,7 +58,7 @@ extern void prexpr(node *np, FILE* fp, int freenode); /* AIS */
    just with extra arrows in. The annotations here show that nulls are allowed
    when called recursively, but not otherwise. */
 /*@-incondefs@*/
-/*@null@*/ node *nodecopy(/*@null@*/ node* n)
+/*@null@*/ node *nodecopy(/*@null@*/ const node* n)
 /*@=incondefs@*/
 {
   node* np;
@@ -72,7 +72,7 @@ extern void prexpr(node *np, FILE* fp, int freenode); /* AIS */
 
 /* This function by AIS. Compares expressions. In C++, I'd call this
    node::operator== . */
-ick_bool nodessame(const node* n1, const node* n2)
+ick_bool nodessame(/*@observer@*/ const node* n1, /*@observer@*/ const node* n2)
 {
   if(!n1) return !n2;
   if(!n2) return 0;

diff --git a/src/feh.h b/src/feh.h
index 63be73232f25484d59fc53a90abbe1950028349a..1876fb00c9e963172c32e9e21d47972f623521fe 100644 (file)
--- a/src/feh.h
+++ b/src/feh.h
@@ -23,8 +23,8 @@ extern void checknodeactbits(node *np); /* AIS */
 extern void optimizef(void); /* AIS */
 extern void nodefree(/*@keep@*/ /*@null@*/ node* np); /* AIS */
 extern unsigned long varextern(unsigned long intern, int vartype); /* AIS */
-extern node *nodecopy(node*); /* AIS */
-extern ick_bool nodessame(const node*, const node*); /* AIS */
+extern node *nodecopy(const node*); /* AIS */
+extern ick_bool nodessame(/*@observer@*/ const node*, /*@observer@*/ const node*); /* AIS */
 
 extern node *optdebugnode; /* AIS */
 extern const char **enablers; /* AIS: so that there can be an element before the