Add to the BUGS file

diff --git a/MANIFEST b/MANIFEST
index 4037bced02ee3e948d6624d62b8a8b677b011d29..f5002369d489f5635ba15491ba6ee24551a4d3c1 100644 (file)
--- a/MANIFEST
+++ b/MANIFEST
@@ -38,7 +38,6 @@
 ./etc/IFFI/IFFI.h
 ./etc/IFFI.spec
 ./etc/intercal.el
-./etc/intercal.vim
 ./etc/temp
 ./MANIFEST
 ./NEWS

diff --git a/NEWS b/NEWS
index 3ac14ea3dde498d53c04c32663b45b1a0389202c..8416ce36149f74ba3974fba8524e9cbca0ea66af 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -2,7 +2,7 @@
 
   Release 0.29 (by Alex Smith)
 
-Bugs reported and changes patched by Arvid Norlander
+Changes reported or patched by Arvid Norlander
 
 1.  Fixed a typo in the perpet.c version of the help information.
 
@@ -28,7 +28,7 @@ Bugs reported and changes patched by Arvid Norlander
 
 7.  Refactored main(). It neeeded it, badly.
 
-Bugs reported by Elliott Hird
+Changes reported by Elliott Hird
 
 8.  Fixed the configure script to work with the default Debian shell dash.
     (also reported independently by Debian)
@@ -46,7 +46,7 @@ Bugs reported by Elliott Hird
     the prebuilt versions; see change 11 of version 0.26, this is finishing
     what that started.)
 
-Bugs reported, changes requested, and patches by Joris Huizer
+Changes reported or patched by Joris Huizer
 
 12. The [xoritself] optimiser idiom has been generalised to handle some
     situations where the redundant XOR operands are on different grouping

diff --git a/doc/ick.txi b/doc/ick.txi
index ebebd4b99d98a0f9029ced4e05b574238385d7da..45198367e0d9b812614bd44fa9627f67e63b8bfb 100644 (file)
--- a/doc/ick.txi
+++ b/doc/ick.txi
@@ -1686,18 +1686,6 @@ mingle operation).  No values above twospot are allowed at any point
 during an @ical{} program; if you want to process higher numbers, you
 have to figure out a different way of storing them.
 
-@ieanchor E553
-@cindex buffer overflow
-@quotation
-BETTER LATE THAN NEVER
-@end quotation
-Oops!  The compiler just noticed that it had a buffer overflow.
-(Normally programs catch buffer overflows before they happen;
-C-INTERCAL catches them just afterwards instead.)  This only happens
-on systems which don't have a modern C standard library. Try using
-shorter or fewer filenames on the command line, to reduce the risk of
-such an overflow.
-
 @ieanchor E555
 @cindex @code{COME FROM}, ambiguity
 @quotation

diff --git a/etc/IFFI/IFFI.c b/etc/IFFI/IFFI.c
index 8720636648b8fbd54bfeddccf539135df58c1f8d..221fd17739c21641252c44c118aa62e88b891e4c 100644 (file)
--- a/etc/IFFI/IFFI.c
+++ b/etc/IFFI/IFFI.c
@@ -120,7 +120,7 @@ static void finger_IFFI_create(instructionPointer * ip)
 {
     // arguments: line number on TOS, signature as 0gnirts beneath it
        fungeCell l = stack_pop(ip->stack);
-       unsigned char * restrict str = stack_pop_string(ip->stack, NULL);
+       unsigned char * restrict str = stack_pop_string(ip->stack);
        ick_create((const char*)str, l);
 }
 

diff --git a/prebuilt/lexer.c b/prebuilt/lexer.c
index ccb3ceae55eec56dd014ebc67b0a3d3f4a3b5982..774de5e64bad8a04670088efb141cf457e94b97d 100644 (file)
--- a/prebuilt/lexer.c
+++ b/prebuilt/lexer.c
@@ -8,7 +8,7 @@
 #define FLEX_SCANNER
 #define YY_FLEX_MAJOR_VERSION 2
 #define YY_FLEX_MINOR_VERSION 5
-#define YY_FLEX_SUBMINOR_VERSION 35
+#define YY_FLEX_SUBMINOR_VERSION 34
 #if YY_FLEX_SUBMINOR_VERSION > 0
 #define FLEX_BETA
 #endif
@@ -53,6 +53,7 @@ typedef int flex_int32_t;
 typedef unsigned char flex_uint8_t; 
 typedef unsigned short int flex_uint16_t;
 typedef unsigned int flex_uint32_t;
+#endif /* ! C99 */
 
 /* Limits of integral types. */
 #ifndef INT8_MIN
@@ -83,8 +84,6 @@ typedef unsigned int flex_uint32_t;
 #define UINT32_MAX             (4294967295U)
 #endif
 
-#endif /* ! C99 */
-
 #endif /* ! FLEXINT_H */
 
 #ifdef __cplusplus
@@ -179,6 +178,13 @@ extern FILE *yyin, *yyout;
 
 #define unput(c) yyunput( c, (yytext_ptr)  )
 
+/* The following is because we cannot portably get our hands on size_t
+ * (without autoconf's help, which isn't available because we want
+ * flex-generated scanners to compile on their own).
+ * Given that the standard has decreed that size_t exists since 1989,
+ * I guess we can afford to depend on it. Manoj.
+ */
+
 #ifndef YY_TYPEDEF_YY_SIZE_T
 #define YY_TYPEDEF_YY_SIZE_T
 typedef size_t yy_size_t;
@@ -971,8 +977,7 @@ static char *lineptr = linebuf;
 ick_bool re_send_token = ick_FALSE;
 
 int lexer(void);
-static int myatoi(const char *text);
-void yyerror(const char *errtype);
+static int myatoi(char *text);
 
 #define SETLINENO                                      \
     {if (stbeginline == 0)     stbeginline = iyylineno;\
@@ -1107,7 +1112,7 @@ int getc(FILE *fp)
          } \
        }
 
-#line 1111 "lexer.c"
+#line 1116 "lexer.c"
 
 #define INITIAL 0
 
@@ -1125,35 +1130,6 @@ int getc(FILE *fp)
 
 static int yy_init_globals (void );
 
-/* Accessor methods to globals.
-   These are made visible to non-reentrant scanners for convenience. */
-
-int yylex_destroy (void );
-
-int yyget_debug (void );
-
-void yyset_debug (int debug_flag  );
-
-YY_EXTRA_TYPE yyget_extra (void );
-
-void yyset_extra (YY_EXTRA_TYPE user_defined  );
-
-FILE *yyget_in (void );
-
-void yyset_in  (FILE * in_str  );
-
-FILE *yyget_out (void );
-
-void yyset_out  (FILE * out_str  );
-
-int yyget_leng (void );
-
-char *yyget_text (void );
-
-int yyget_lineno (void );
-
-void yyset_lineno (int line_number  );
-
 /* Macros after this point can all be overridden by user definitions in
  * section 1.
  */
@@ -1196,7 +1172,7 @@ static int input (void );
 /* This used to be an fputs(), but since the string might contain NUL's,
  * we now use fwrite().
  */
-#define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
+#define ECHO fwrite( yytext, yyleng, 1, yyout )
 #endif
 
 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
@@ -1207,7 +1183,7 @@ static int input (void );
        if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
                { \
                int c = '*'; \
-               size_t n; \
+               int n; \
                for ( n = 0; n < max_size && \
                             (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
                        buf[n] = (char) c; \
@@ -1289,10 +1265,10 @@ YY_DECL
        register char *yy_cp, *yy_bp;
        register int yy_act;
     
-#line 226 "lexer.l"
+#line 225 "lexer.l"
 
 
-#line 1296 "lexer.c"
+#line 1272 "lexer.c"
 
        if ( !(yy_init) )
                {
@@ -1378,132 +1354,132 @@ do_action:    /* This label is used only to access EOF actions. */
 case 1:
 /* rule 1 can match eol */
 YY_RULE_SETUP
-#line 228 "lexer.l"
+#line 227 "lexer.l"
 {yylval.numval = myatoi(yytext); return(NUMBER);}
        YY_BREAK
 case 2:
 YY_RULE_SETUP
-#line 229 "lexer.l"
+#line 228 "lexer.l"
 {return(NOSPOT);}
        YY_BREAK
 case 3:
 YY_RULE_SETUP
-#line 230 "lexer.l"
+#line 229 "lexer.l"
 {return(ick_ONESPOT);}
        YY_BREAK
 case 4:
 YY_RULE_SETUP
-#line 231 "lexer.l"
+#line 230 "lexer.l"
 {return(ick_TWOSPOT);}
        YY_BREAK
 case 5:
 YY_RULE_SETUP
-#line 232 "lexer.l"
+#line 231 "lexer.l"
 {return(ick_TAIL);}
        YY_BREAK
 case 6:
 YY_RULE_SETUP
-#line 233 "lexer.l"
+#line 232 "lexer.l"
 {return(ick_HYBRID);}
        YY_BREAK
 case 7:
 YY_RULE_SETUP
-#line 234 "lexer.l"
+#line 233 "lexer.l"
 {return(MESH);}
        YY_BREAK
 case 8:
-#line 237 "lexer.l"
+#line 236 "lexer.l"
 case 9:
-#line 238 "lexer.l"
+#line 237 "lexer.l"
 case 10:
 YY_RULE_SETUP
-#line 238 "lexer.l"
+#line 237 "lexer.l"
 {return(MINGLE); /* AIS: CLC-INTERCAL ick_mingle symbols.
                                    The \xBD is ISO-8859-1 for cent. */}
        YY_BREAK
 case 11:
-#line 241 "lexer.l"
+#line 240 "lexer.l"
 case 12:
-#line 242 "lexer.l"
+#line 241 "lexer.l"
 case 13:
-#line 243 "lexer.l"
+#line 242 "lexer.l"
 case 14:
-#line 244 "lexer.l"
+#line 243 "lexer.l"
 case 15:
-#line 245 "lexer.l"
+#line 244 "lexer.l"
 case 16:
-#line 246 "lexer.l"
+#line 245 "lexer.l"
 case 17:
-#line 247 "lexer.l"
+#line 246 "lexer.l"
 case 18:
-#line 248 "lexer.l"
+#line 247 "lexer.l"
 case 19:
-#line 249 "lexer.l"
+#line 248 "lexer.l"
 case 20:
-#line 250 "lexer.l"
+#line 249 "lexer.l"
 case 21:
-#line 251 "lexer.l"
+#line 250 "lexer.l"
 case 22:
-#line 252 "lexer.l"
+#line 251 "lexer.l"
 case 23:
-#line 253 "lexer.l"
+#line 252 "lexer.l"
 case 24:
-#line 254 "lexer.l"
+#line 253 "lexer.l"
 case 25:
-#line 255 "lexer.l"
+#line 254 "lexer.l"
 case 26:
-#line 256 "lexer.l"
+#line 255 "lexer.l"
 case 27:
-#line 257 "lexer.l"
+#line 256 "lexer.l"
 case 28:
-#line 258 "lexer.l"
+#line 257 "lexer.l"
 case 29:
-#line 259 "lexer.l"
+#line 258 "lexer.l"
 case 30:
-#line 260 "lexer.l"
+#line 259 "lexer.l"
 case 31:
-#line 261 "lexer.l"
+#line 260 "lexer.l"
 case 32:
-#line 262 "lexer.l"
+#line 261 "lexer.l"
 case 33:
 YY_RULE_SETUP
-#line 262 "lexer.l"
+#line 261 "lexer.l"
 {return(MINGLE);}
        YY_BREAK
 case 34:
 YY_RULE_SETUP
-#line 264 "lexer.l"
+#line 263 "lexer.l"
 {return(SELECT);}
        YY_BREAK
 case 35:
 YY_RULE_SETUP
-#line 266 "lexer.l"
+#line 265 "lexer.l"
 {return(SLAT); /* AIS: Operand overloading */}
        YY_BREAK
 case 36:
 YY_RULE_SETUP
-#line 267 "lexer.l"
+#line 266 "lexer.l"
 {return(BACKSLAT); /* ditto */}
        YY_BREAK
 case 37:
 YY_RULE_SETUP
-#line 269 "lexer.l"
+#line 268 "lexer.l"
 {yylval.numval = AND; return(UNARY);}
        YY_BREAK
 case 38:
 YY_RULE_SETUP
-#line 270 "lexer.l"
+#line 269 "lexer.l"
 {yylval.numval = OR; return(UNARY);}
        YY_BREAK
 case 39:
-#line 272 "lexer.l"
+#line 271 "lexer.l"
 case 40:
-#line 273 "lexer.l"
+#line 272 "lexer.l"
 case 41:
-#line 274 "lexer.l"
+#line 273 "lexer.l"
 case 42:
 YY_RULE_SETUP
-#line 274 "lexer.l"
+#line 273 "lexer.l"
 {yylval.numval = XOR; return(UNARY);
                  /* AIS: CLC-INTERCAL uses \xBE, ISO-8859-1 for yen;
                     for some reason, \xA5 is what was detected by the compiler
@@ -1511,34 +1487,34 @@ YY_RULE_SETUP
        YY_BREAK
 case 43:
 YY_RULE_SETUP
-#line 278 "lexer.l"
+#line 277 "lexer.l"
 {if(clclex) yylval.numval = WHIRL;
                  else yylval.numval = XOR; return(UNARY);
                  /* AIS: ? is a unary operator in both C-INTERCAL and
                    CLC-INTERCAL, but with different meanings. */}
        YY_BREAK
 case 44:
-#line 283 "lexer.l"
+#line 282 "lexer.l"
 case 45:
 YY_RULE_SETUP
-#line 283 "lexer.l"
+#line 282 "lexer.l"
 {yylval.numval = FIN; return(UNARY); /* AIS: | is CLC */}
        YY_BREAK
 case 46:
 YY_RULE_SETUP
-#line 284 "lexer.l"
+#line 283 "lexer.l"
 {if(clclex) return(NOSPOT); /* AIS: a C/CLC ambiguity */
                  else {yylval.numval = WHIRL; return(UNARY);}}
        YY_BREAK
 case 47:
 /* rule 47 can match eol */
 YY_RULE_SETUP
-#line 286 "lexer.l"
+#line 285 "lexer.l"
 {yylval.numval = WHIRL + myatoi(yytext) - 1; return(UNARY);}
        YY_BREAK
 case 48:
 YY_RULE_SETUP
-#line 288 "lexer.l"
+#line 287 "lexer.l"
 {char temp = sparkearsstack[sparkearslev/32]&1;
                  STACKSPARKEARS(0); /* AIS: I added all mentions of
                                       STACKSPARKEARS, OPEN\(SPARK\|EARS\),
@@ -1548,7 +1524,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 49:
 YY_RULE_SETUP
-#line 294 "lexer.l"
+#line 293 "lexer.l"
 {char temp = sparkearsstack[sparkearslev/32]&1;
                  STACKSPARKEARS(1);
                  return(temp?CLOSEEARS:OPENEARS);}
@@ -1556,116 +1532,116 @@ YY_RULE_SETUP
 case 50:
 /* rule 50 can match eol */
 YY_RULE_SETUP
-#line 298 "lexer.l"
+#line 297 "lexer.l"
 {SETLINENO; yylval.numval = myatoi(yytext); return(LABEL);}
        YY_BREAK
 case 51:
 YY_RULE_SETUP
-#line 300 "lexer.l"
+#line 299 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; return(DO);}
        YY_BREAK
 case 52:
 YY_RULE_SETUP
-#line 301 "lexer.l"
+#line 300 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; return(DO);}
        YY_BREAK
 case 53:
 YY_RULE_SETUP
-#line 302 "lexer.l"
+#line 301 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; politesse++; return(DO);}
        YY_BREAK
 case 54:
 YY_RULE_SETUP
-#line 303 "lexer.l"
+#line 302 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; politesse++; return(DO);}
        YY_BREAK
 case 55:
 /* rule 55 can match eol */
 YY_RULE_SETUP
-#line 304 "lexer.l"
+#line 303 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; politesse++; return(DO);}
        YY_BREAK
 case 56:
 /* rule 56 can match eol */
 YY_RULE_SETUP
-#line 305 "lexer.l"
+#line 304 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; politesse++; return(DO);}
        YY_BREAK
 case 57:
 YY_RULE_SETUP
-#line 306 "lexer.l"
+#line 305 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; return(MAYBE);}
        YY_BREAK
 case 58:
 /* rule 58 can match eol */
 YY_RULE_SETUP
-#line 307 "lexer.l"
+#line 306 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; return(MAYBE);}
        YY_BREAK
 case 59:
 /* rule 59 can match eol */
 YY_RULE_SETUP
-#line 308 "lexer.l"
+#line 307 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; politesse++; return(MAYBE);}
        YY_BREAK
 case 60:
 /* rule 60 can match eol */
 YY_RULE_SETUP
-#line 309 "lexer.l"
+#line 308 "lexer.l"
 {SETLINENO; CLEARSPARKEARSTACK; politesse++; return(MAYBE);
                      /* AIS: I added all the MAYBE cases. It seems that MAYBE
                              has no simple Latin synonym. */}
        YY_BREAK
 case 61:
 YY_RULE_SETUP
-#line 313 "lexer.l"
+#line 312 "lexer.l"
 {return(NOT);}
        YY_BREAK
 case 62:
 YY_RULE_SETUP
-#line 314 "lexer.l"
+#line 313 "lexer.l"
 {return(NOT);}
        YY_BREAK
 case 63:
 YY_RULE_SETUP
-#line 315 "lexer.l"
+#line 314 "lexer.l"
 {return(NOT);}
        YY_BREAK
 case 64:
 YY_RULE_SETUP
-#line 316 "lexer.l"
+#line 315 "lexer.l"
 {return(NOT); /* AIS: CLC-INTERCAL again, this time it's
                                 ISO-8859-1 for the logical NOT symbol... */}
        YY_BREAK
 case 65:
 YY_RULE_SETUP
-#line 318 "lexer.l"
+#line 317 "lexer.l"
 {return(NOT); /* ... but my computer translates it to \xAC */}
        YY_BREAK
 case 66:
 YY_RULE_SETUP
-#line 320 "lexer.l"
+#line 319 "lexer.l"
 {return(ONCE);}
        YY_BREAK
 case 67:
 YY_RULE_SETUP
-#line 321 "lexer.l"
+#line 320 "lexer.l"
 {return(ONCE);}
        YY_BREAK
 case 68:
 YY_RULE_SETUP
-#line 322 "lexer.l"
+#line 321 "lexer.l"
 {return(AGAIN);}
        YY_BREAK
 case 69:
 YY_RULE_SETUP
-#line 323 "lexer.l"
+#line 322 "lexer.l"
 {return(AGAIN);}
        YY_BREAK
 case 70:
 /* rule 70 can match eol */
 YY_RULE_SETUP
-#line 325 "lexer.l"
+#line 324 "lexer.l"
 {yylval.numval = myatoi(yytext);
                  if (yylval.numval && yylval.numval < 100)
                   return(OHOHSEVEN);
@@ -1674,343 +1650,343 @@ YY_RULE_SETUP
        YY_BREAK
 case 71:
 YY_RULE_SETUP
-#line 330 "lexer.l"
+#line 329 "lexer.l"
 {return(SUB);}
        YY_BREAK
 case 72:
 /* rule 72 can match eol */
-#line 332 "lexer.l"
+#line 331 "lexer.l"
 case 73:
 /* rule 73 can match eol */
 YY_RULE_SETUP
-#line 332 "lexer.l"
+#line 331 "lexer.l"
 {return(BY);}
        YY_BREAK
 case 74:
 YY_RULE_SETUP
-#line 334 "lexer.l"
+#line 333 "lexer.l"
 {return(GETS);}
        YY_BREAK
 case 75:
-#line 336 "lexer.l"
+#line 335 "lexer.l"
 case 76:
 YY_RULE_SETUP
-#line 336 "lexer.l"
+#line 335 "lexer.l"
 {yylval.numval = GETS; return(GERUND);}
        YY_BREAK
 case 77:
-#line 339 "lexer.l"
+#line 338 "lexer.l"
 case 78:
 YY_RULE_SETUP
-#line 339 "lexer.l"
+#line 338 "lexer.l"
 {return(FORGET);}
        YY_BREAK
 case 79:
-#line 341 "lexer.l"
+#line 340 "lexer.l"
 case 80:
 YY_RULE_SETUP
-#line 341 "lexer.l"
+#line 340 "lexer.l"
 {yylval.numval = FORGET; return(GERUND);}
        YY_BREAK
 case 81:
-#line 343 "lexer.l"
+#line 342 "lexer.l"
 case 82:
 YY_RULE_SETUP
-#line 343 "lexer.l"
+#line 342 "lexer.l"
 {return(RESUME);}
        YY_BREAK
 case 83:
-#line 345 "lexer.l"
+#line 344 "lexer.l"
 case 84:
 YY_RULE_SETUP
-#line 345 "lexer.l"
+#line 344 "lexer.l"
 {yylval.numval = RESUME; return(GERUND);}
        YY_BREAK
 case 85:
-#line 347 "lexer.l"
+#line 346 "lexer.l"
 case 86:
 YY_RULE_SETUP
-#line 347 "lexer.l"
+#line 346 "lexer.l"
 {return(STASH);}
        YY_BREAK
 case 87:
-#line 349 "lexer.l"
+#line 348 "lexer.l"
 case 88:
 YY_RULE_SETUP
-#line 349 "lexer.l"
+#line 348 "lexer.l"
 {yylval.numval = STASH; return(GERUND);}
        YY_BREAK
 case 89:
-#line 351 "lexer.l"
+#line 350 "lexer.l"
 case 90:
 YY_RULE_SETUP
-#line 351 "lexer.l"
+#line 350 "lexer.l"
 {return(RETRIEVE);}
        YY_BREAK
 case 91:
-#line 353 "lexer.l"
+#line 352 "lexer.l"
 case 92:
 YY_RULE_SETUP
-#line 353 "lexer.l"
+#line 352 "lexer.l"
 {yylval.numval = RETRIEVE; return(GERUND);}
        YY_BREAK
 case 93:
-#line 355 "lexer.l"
+#line 354 "lexer.l"
 case 94:
 YY_RULE_SETUP
-#line 355 "lexer.l"
+#line 354 "lexer.l"
 {return(IGNORE);}
        YY_BREAK
 case 95:
-#line 357 "lexer.l"
+#line 356 "lexer.l"
 case 96:
 YY_RULE_SETUP
-#line 357 "lexer.l"
+#line 356 "lexer.l"
 {yylval.numval = IGNORE; return(GERUND);}
        YY_BREAK
 case 97:
-#line 359 "lexer.l"
+#line 358 "lexer.l"
 case 98:
 YY_RULE_SETUP
-#line 359 "lexer.l"
+#line 358 "lexer.l"
 {return(REMEMBER);}
        YY_BREAK
 case 99:
-#line 361 "lexer.l"
+#line 360 "lexer.l"
 case 100:
 YY_RULE_SETUP
-#line 361 "lexer.l"
+#line 360 "lexer.l"
 {yylval.numval = REMEMBER; return(GERUND);}
        YY_BREAK
 case 101:
-#line 363 "lexer.l"
+#line 362 "lexer.l"
 case 102:
 YY_RULE_SETUP
-#line 363 "lexer.l"
+#line 362 "lexer.l"
 {return(ABSTAIN);}
        YY_BREAK
 case 103:
-#line 365 "lexer.l"
+#line 364 "lexer.l"
 case 104:
 YY_RULE_SETUP
-#line 365 "lexer.l"
+#line 364 "lexer.l"
 {yylval.numval = ABSTAIN; return(GERUND);}
        YY_BREAK
 case 105:
-#line 367 "lexer.l"
+#line 366 "lexer.l"
 case 106:
 YY_RULE_SETUP
-#line 367 "lexer.l"
+#line 366 "lexer.l"
 {return(REINSTATE);}
        YY_BREAK
 case 107:
-#line 369 "lexer.l"
+#line 368 "lexer.l"
 case 108:
 YY_RULE_SETUP
-#line 369 "lexer.l"
+#line 368 "lexer.l"
 {yylval.numval = REINSTATE; return(GERUND);}
        YY_BREAK
 case 109:
 /* rule 109 can match eol */
-#line 371 "lexer.l"
+#line 370 "lexer.l"
 case 110:
 /* rule 110 can match eol */
 YY_RULE_SETUP
-#line 371 "lexer.l"
+#line 370 "lexer.l"
 {return(READ_OUT);}
        YY_BREAK
 case 111:
-#line 373 "lexer.l"
+#line 372 "lexer.l"
 case 112:
 /* rule 112 can match eol */
 YY_RULE_SETUP
-#line 373 "lexer.l"
+#line 372 "lexer.l"
 {yylval.numval = READ_OUT; return(GERUND);}
        YY_BREAK
 case 113:
 /* rule 113 can match eol */
-#line 375 "lexer.l"
+#line 374 "lexer.l"
 case 114:
 /* rule 114 can match eol */
 YY_RULE_SETUP
-#line 375 "lexer.l"
+#line 374 "lexer.l"
 {return(WRITE_IN);}
        YY_BREAK
 case 115:
-#line 377 "lexer.l"
+#line 376 "lexer.l"
 case 116:
 /* rule 116 can match eol */
 YY_RULE_SETUP
-#line 377 "lexer.l"
+#line 376 "lexer.l"
 {yylval.numval = WRITE_IN; return(GERUND);}
        YY_BREAK
 case 117:
-#line 379 "lexer.l"
+#line 378 "lexer.l"
 case 118:
-#line 380 "lexer.l"
+#line 379 "lexer.l"
 case 119:
-#line 381 "lexer.l"
+#line 380 "lexer.l"
 case 120:
 YY_RULE_SETUP
-#line 381 "lexer.l"
+#line 380 "lexer.l"
 {yylval.numval = UNKNOWN; return(GERUND);
                  /* AIS: An idea stolen from CLC-INTERCAL.
                    The Latin means literally 'remind' or 'mention'. */}
        YY_BREAK
 case 121:
 YY_RULE_SETUP
-#line 384 "lexer.l"
+#line 383 "lexer.l"
 {/* By AIS. I can't find a Latin translation for this. */
                  return(PIN);}
        YY_BREAK
 case 122:
 YY_RULE_SETUP
-#line 386 "lexer.l"
+#line 385 "lexer.l"
 {/* By AIS */ yylval.numval = PIN; return(GERUND);}
        YY_BREAK
 case 123:
 /* rule 123 can match eol */
-#line 388 "lexer.l"
+#line 387 "lexer.l"
 case 124:
 /* rule 124 can match eol */
 YY_RULE_SETUP
-#line 388 "lexer.l"
+#line 387 "lexer.l"
 {/* AIS */ yylval.numval = myatoi(yytext);
                          return(NEXTFROMLABEL);}
        YY_BREAK
 case 125:
 /* rule 125 can match eol */
-#line 391 "lexer.l"
+#line 390 "lexer.l"
 case 126:
 /* rule 126 can match eol */
 YY_RULE_SETUP
-#line 391 "lexer.l"
+#line 390 "lexer.l"
 {/* AIS: 'next' is not a verb, so the Latin is invented */
                  return(NEXTFROMEXPR);}
        YY_BREAK
 case 127:
-#line 394 "lexer.l"
+#line 393 "lexer.l"
 case 128:
 /* rule 128 can match eol */
 YY_RULE_SETUP
-#line 394 "lexer.l"
+#line 393 "lexer.l"
 {/* AIS */ yylval.numval = NEXTFROMLABEL; return(GERUND);}
        YY_BREAK
 case 129:
 /* rule 129 can match eol */
-#line 396 "lexer.l"
+#line 395 "lexer.l"
 case 130:
 /* rule 130 can match eol */
 YY_RULE_SETUP
-#line 396 "lexer.l"
+#line 395 "lexer.l"
 {/* AIS */ yylval.numval = myatoi(yytext);
                          return(COME_FROM);}
        YY_BREAK
 case 131:
 /* rule 131 can match eol */
-#line 399 "lexer.l"
+#line 398 "lexer.l"
 case 132:
 /* rule 132 can match eol */
 YY_RULE_SETUP
-#line 399 "lexer.l"
+#line 398 "lexer.l"
 {/* AIS */ return(COMPUCOME);}
        YY_BREAK
 case 133:
-#line 401 "lexer.l"
+#line 400 "lexer.l"
 case 134:
 /* rule 134 can match eol */
 YY_RULE_SETUP
-#line 401 "lexer.l"
+#line 400 "lexer.l"
 {yylval.numval = COME_FROM; return(GERUND);}
        YY_BREAK
 case 135:
-#line 403 "lexer.l"
+#line 402 "lexer.l"
 case 136:
 YY_RULE_SETUP
-#line 403 "lexer.l"
+#line 402 "lexer.l"
 {stbeginline = 0; return(NEXT);}
        YY_BREAK
 case 137:
-#line 405 "lexer.l"
+#line 404 "lexer.l"
 case 138:
 YY_RULE_SETUP
-#line 405 "lexer.l"
+#line 404 "lexer.l"
 {yylval.numval = NEXT; return(GERUND);}
        YY_BREAK
 case 139:
 YY_RULE_SETUP
-#line 406 "lexer.l"
+#line 405 "lexer.l"
 {return(FROM); /* AIS: Latin is 'A', which confuses the rest
                                   of the parser */}
        YY_BREAK
 case 140:
-#line 409 "lexer.l"
+#line 408 "lexer.l"
 case 141:
-#line 410 "lexer.l"
+#line 409 "lexer.l"
 case 142:
 /* rule 142 can match eol */
 YY_RULE_SETUP
-#line 410 "lexer.l"
+#line 409 "lexer.l"
 {return(GIVE_UP);}
        YY_BREAK
 case 143:
 /* rule 143 can match eol */
-#line 412 "lexer.l"
+#line 411 "lexer.l"
 case 144:
 /* rule 144 can match eol */
 YY_RULE_SETUP
-#line 412 "lexer.l"
+#line 411 "lexer.l"
 {return(TRY_AGAIN);}
        YY_BREAK
 case 145:
 YY_RULE_SETUP
-#line 413 "lexer.l"
+#line 412 "lexer.l"
 {return(WHILE); /* AIS. Latin for this is needed. */}
        YY_BREAK
 case 146:
-#line 415 "lexer.l"
+#line 414 "lexer.l"
 case 147:
 YY_RULE_SETUP
-#line 415 "lexer.l"
+#line 414 "lexer.l"
 {yylval.numval = WHILE; return(GERUND);}
        YY_BREAK
 case 148:
 /* rule 148 can match eol */
 YY_RULE_SETUP
-#line 416 "lexer.l"
+#line 415 "lexer.l"
 {yylval.numval = TRY_AGAIN; return(GERUND);}
        YY_BREAK
 case 149:
 /* rule 149 can match eol */
-#line 418 "lexer.l"
+#line 417 "lexer.l"
 case 150:
 /* rule 150 can match eol */
 YY_RULE_SETUP
-#line 418 "lexer.l"
+#line 417 "lexer.l"
 {return(GO_BACK);}
        YY_BREAK
 case 151:
 /* rule 151 can match eol */
-#line 420 "lexer.l"
+#line 419 "lexer.l"
 case 152:
 /* rule 152 can match eol */
 YY_RULE_SETUP
-#line 420 "lexer.l"
+#line 419 "lexer.l"
 {yylval.numval = GO_BACK; return(GERUND);}
        YY_BREAK
 case 153:
 /* rule 153 can match eol */
-#line 422 "lexer.l"
+#line 421 "lexer.l"
 case 154:
 /* rule 154 can match eol */
 YY_RULE_SETUP
-#line 422 "lexer.l"
+#line 421 "lexer.l"
 {return(GO_AHEAD);}
        YY_BREAK
 case 155:
 /* rule 155 can match eol */
 YY_RULE_SETUP
-#line 423 "lexer.l"
+#line 422 "lexer.l"
 {yylval.numval = GO_AHEAD; return(GERUND);
                 /* AIS: I'm having a few deponent troubles with the Latin, so
                    there are no Latin gerunds around here. Besides, the Latin
@@ -2019,48 +1995,48 @@ YY_RULE_SETUP
        YY_BREAK
 case 156:
 /* rule 156 can match eol */
-#line 429 "lexer.l"
+#line 428 "lexer.l"
 case 157:
 /* rule 157 can match eol */
 YY_RULE_SETUP
-#line 429 "lexer.l"
+#line 428 "lexer.l"
 {yylval.numval = myatoi(yytext); return(CREATE);}
        YY_BREAK
 case 158:
-#line 431 "lexer.l"
+#line 430 "lexer.l"
 case 159:
 YY_RULE_SETUP
-#line 431 "lexer.l"
+#line 430 "lexer.l"
 {return(COMPUCREATE);}
        YY_BREAK
 case 160:
-#line 433 "lexer.l"
+#line 432 "lexer.l"
 case 161:
-#line 434 "lexer.l"
+#line 433 "lexer.l"
 case 162:
 YY_RULE_SETUP
-#line 434 "lexer.l"
+#line 433 "lexer.l"
 {yylval.numval = CREATE; return(GERUND);}
        YY_BREAK
 case 163:
 YY_RULE_SETUP
-#line 436 "lexer.l"
+#line 435 "lexer.l"
 {return(INTERSECTION);}
        YY_BREAK
 case 164:
 /* rule 164 can match eol */
 YY_RULE_SETUP
-#line 438 "lexer.l"
+#line 437 "lexer.l"
 ;
        YY_BREAK
 case 165:
 YY_RULE_SETUP
-#line 439 "lexer.l"
+#line 438 "lexer.l"
 {/* AIS */ yylval.numval = *yytext; return(UNKNOWNID);}
        YY_BREAK
 case 166:
 YY_RULE_SETUP
-#line 440 "lexer.l"
+#line 439 "lexer.l"
 {/* AIS */ yylval.numval = yytext[0]*256 + yytext[3];
                 if(yytext[0] > yytext[3])
                   yylval.numval = yytext[0] + yytext[3]*256;
@@ -2068,17 +2044,17 @@ YY_RULE_SETUP
        YY_BREAK
 case 167:
 YY_RULE_SETUP
-#line 444 "lexer.l"
+#line 443 "lexer.l"
 {yylval.numval = yytext[0]; /* AIS: The line below for debug */
  if(yydebug) fprintf(stdout, "yylex: bad char %#x\n",(unsigned char)yytext[0]);
                  return(BADCHAR);}
        YY_BREAK
 case 168:
 YY_RULE_SETUP
-#line 449 "lexer.l"
+#line 448 "lexer.l"
 ECHO;
        YY_BREAK
-#line 2082 "lexer.c"
+#line 2058 "lexer.c"
 case YY_STATE_EOF(INITIAL):
        yyterminate();
 
@@ -3076,7 +3052,7 @@ void yyfree (void * ptr )
 
 #define YYTABLES_NAME "yytables"
 
-#line 449 "lexer.l"
+#line 448 "lexer.l"
 
 
 
@@ -3102,7 +3078,7 @@ int lexer(void)
     return(tok);
 }
 
-static int myatoi(const char *text) /* AIS */
+static int myatoi(char *text) /* AIS */
 {
 #define MAXTEXT 100
     static char buf[MAXTEXT];
@@ -3125,7 +3101,7 @@ static int myatoi(const char *text) /* AIS */
     return atoi(thinbuf);
 }
 
-void yyerror(const char *errtype)
+void yyerror(char *errtype)
 {
 #ifdef MAIN
     (void) printf("lextest: lexer error: %s.\n", errtype);

diff --git a/prebuilt/oil-oil.c b/prebuilt/oil-oil.c
index 6329d8c6bfeef46b3c5aa01c58dfdff6a6ce727d..af6232213fcead8e93f4b8b1de9ddb171b9e2a00 100644 (file)
--- a/prebuilt/oil-oil.c
+++ b/prebuilt/oil-oil.c
@@ -101,7 +101,7 @@
 
 /* Define strdup if it isn't available */
 #ifndef HAVE_STRDUP
-char* strdup(const char* s)
+char* strdup(char* s)
 {
   char* t=malloc(strlen(s)+1);
   if(t) strcpy(t,s);
@@ -124,12 +124,12 @@ struct ickstype
                         sequence of lvals (=0) or rvals (=1) this is from the
                         root; depth bits from the end are relevant, and the
                         bit nearest the root is least significant */
-  const char* condition; /* Points to a constant string; the condition to generate
+  char* condition;    /* Points to a constant string; the condition to generate
                         on that node. Could also point to something the lexer
                         mallocs, but then the lexer has to keep track of being
                         able to free it again. If this is NULL, it means that
                         there isn't a condition other than maybe mustbemesh */
-  const char* nodetypename; /* The name of the type of node this condition matches,
+  char* nodetypename; /* The name of the type of node this condition matches,
                         or NULL for a LEXERLEAF */
   mybool usec;        /* Whether to append the value of c to the condition */
   mybool mustbemesh;  /* Must this node be a mesh or mesh32? */
@@ -153,8 +153,8 @@ char optname[MAXOPTNAMELEN]="undefined";
 
 typedef struct ickstype *YYSTYPE;
 
-void splitend(void);
-void splitstart(void);
+void splitend();
+void splitstart();
 
 void treedepthup(YYSTYPE, mybool);
 void treefree(YYSTYPE);
@@ -2689,7 +2689,7 @@ int countungetc(int c, FILE* f)
   return c;
 }
 
-void splitstart(void)
+void splitstart()
 {
   static char fname[]="oilout00.c";
   if(filenumber>255)
@@ -2711,7 +2711,7 @@ void splitstart(void)
         "  node *tp;\n", filenumber);
 }
 
-void splitend(void)
+void splitend()
 {
   /* Disabling warnings about unused variables. gcc will optimize this right
      out, and in any case the raise(SIGSEGV) will be unreachable (but will

diff --git a/prebuilt/parser.c b/prebuilt/parser.c
index 448b5dbacf89a157d2a8ecdbd305f9060eb80bcc..0d703297411314ee5a2447ae59fc6e22a21abfd7 100644 (file)
--- a/prebuilt/parser.c
+++ b/prebuilt/parser.c
@@ -306,7 +306,7 @@
 #include "feh.h"
 #include "ick_lose.h"
 
-extern int yyerror(const char*);
+extern int yyerror(char*);
 
 /* Intervene our ick_first-stage lexer. */
 extern int lexer(void);

diff --git a/src/cesspool.c b/src/cesspool.c
index 0ea2a291eaa1881fd262dbc8abd831d59724c5e7..05b3be6fe3fd2be412e5907727cae2b2e6a1a08b 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);
-  (void) fflush(ick_cesspoolout);
+  fflush(ick_cesspoolout);
   free(tempcp);
   free(buf);
 }

diff --git a/src/dekludge.c b/src/dekludge.c
index 73f26a00180b9c757d3c5f6a0e4dbeeb5fa1209e..59823fa63ce98e335204e86676e2a51136c84238 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@*/ const node* n)
+/*@null@*/ node *nodecopy(/*@null@*/ 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(/*@observer@*/ const node* n1, /*@observer@*/ const node* n2)
+ick_bool nodessame(const node* n1, const node* n2)
 {
   if(!n1) return !n2;
   if(!n2) return 0;

diff --git a/src/feh.h b/src/feh.h
index 1876fb00c9e963172c32e9e21d47972f623521fe..63be73232f25484d59fc53a90abbe1950028349a 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(const node*); /* AIS */
-extern ick_bool nodessame(/*@observer@*/ const node*, /*@observer@*/ const node*); /* AIS */
+extern node *nodecopy(node*); /* AIS */
+extern ick_bool nodessame(const node*, const node*); /* AIS */
 
 extern node *optdebugnode; /* AIS */
 extern const char **enablers; /* AIS: so that there can be an element before the

diff --git a/src/feh2.c b/src/feh2.c
index 827a6396139f8b22118d41737e4e9dd3d76f007f..2790d3bc046d44a0ebf5a1b62285cd28c5808e0d 100644 (file)
--- a/src/feh2.c
+++ b/src/feh2.c
@@ -459,7 +459,7 @@ void prexpr(node *np, FILE *fp, int freenode);
  * If the order of statement-token defines in parser.y ever changes,
  * this will need to be reordered.
  */
-/*@observer@*/ const char *enablersm1[MAXTYPES+1] =
+const char *enablersm1[MAXTYPES+1] =
 {
     "UNKNOWN", /* AIS: so comments can be ABSTAINED/REINSTATED */
     "GETS",
@@ -1594,10 +1594,10 @@ static int prunknownstr(node *np, FILE* fp)
   case BADCHAR:
     if (np->constant > 256)
       (void) fprintf(fp, "o%xx%x",
-                    (unsigned int)(np->constant / 256),
-                    (unsigned int)(np->constant % 256));
+                    (int)(np->constant / 256),
+                    (int)(np->constant % 256));
     else
-      (void) fprintf(fp, "u%x", (unsigned int)np->constant);
+      (void) fprintf(fp, "u%x", (int)np->constant);
     return 2;
   case US_ID: (void) fputc((char)np->constant, fp); return 0;
   case US_ELEM: (void) fputc(';', fp); return 1;

diff --git a/src/ick.h b/src/ick.h
index e45231df8db2ddc10a69a77a95674d170a2aa74b..60fefe3d818603adf71de5bd37d4c26c8c69bee7 100644 (file)
--- a/src/ick.h
+++ b/src/ick.h
@@ -129,7 +129,7 @@ extern int tuplecount;
 /*@dependent@*/ extern tuple *optuple; /* AIS: The tuple currently being optimized */
 
 extern const char **enablers;
-/*@observer@*/ extern const char *enablersm1[MAXTYPES+1];
+extern const char *enablersm1[MAXTYPES+1];
 extern const assoc vartypes[];
 
 /* the lexical analyzer keeps copies of the source logical lines */

diff --git a/src/numerals.c b/src/numerals.c
index ecdee2bbb3433ba69001d7ff170424d5d2fa9272..024228edf8c653ff953175b26df7dc21e31f4be0 100644 (file)
--- a/src/numerals.c
+++ b/src/numerals.c
@@ -38,8 +38,8 @@ LICENSE TERMS
 
 typedef struct
 {
-    /*@observer@*/ const char *name;
-    const int  value;
+    const char *name;
+    int        value;
 }
 numeral;
 

diff --git a/src/perpet.c b/src/perpet.c
index 02607d6e4198e7d6bb19173fbfb32941d2721e10..468c95fbd4bfa75e5a8ea04416bde2fb707f8c20 100644 (file)
--- a/src/perpet.c
+++ b/src/perpet.c
@@ -544,7 +544,7 @@ static void handle_befunge98(char *libbuf, size_t libbuf_size,
     else if(c=='\n' && jlb) {jlb = 0; continue;}
     else if(c=='\n') {x=0; y++; jlb = 0;}
     else x++;
-    fprintf(of,"\\x%x",(unsigned int)c);
+    fprintf(of,"\\x%x",c);
     if(!x) fprintf(of,"\"\n\"");
   }
   fprintf(of,"\";\n\nint ick_iffi_markercount=%d;\n"
@@ -555,7 +555,7 @@ static void handle_befunge98(char *libbuf, size_t libbuf_size,
                               markerposns[markercount][1]);
   fprintf(of,"};\n");
 
-  (void) fclose(of);
+  fclose(of);
 
   /* Put the libraries and .cio file in the command line. */
   ick_snprintf_or_die(libbuf+strlen(libbuf),libbuf_size - strlen(libbuf),
@@ -1516,10 +1516,10 @@ static void run_cc_and_maybe_debugger(/*@observer@*/ const char *cc_command,
  * @param cooptsh Path to coopt.sh
  * @param binaryname The output binary filename.
  */
-static void run_coopt(/*@observer@*/ /*@null@*/ /*@unused@*/ const char* cooptsh,
-                      /*@observer@*/ /*@unused@*/ const char* binaryname)
+static void run_coopt(/*@observer@*/ /*@null@*/ const char* cooptsh,
+                      /*@observer@*/ const char* binaryname)
 {
-  /* Note: Params are marked unused because they may not be used if sh isn't supported. */
+  char commandlinebuf[BUFSIZ];
 #ifdef HAVE_PROG_SH
 # ifdef HAVE_SYS_INTERPRETER
   if(coopt) /* AIS */
@@ -1532,7 +1532,6 @@ static void run_coopt(/*@observer@*/ /*@null@*/ /*@unused@*/ const char* cooptsh
        WRITE IN. Double-oh-sevens screw this up, too. */
     if(cooptsh)
     {
-      char commandlinebuf[BUFSIZ];
       (void) ick_snprintf_or_die(commandlinebuf, sizeof commandlinebuf,
                                 "sh %s %s", cooptsh, binaryname);
       ICK_SYSTEM(commandlinebuf); /* replaces the output executable if
@@ -1800,7 +1799,7 @@ int main(int argc, char *argv[])
 #endif
 
   oldoptind=optind; /* AIS */
-  *libbuf = '\0'; /* AIS */
+  *libbuf = 0; /* AIS */
   /* Begin file loop */
   for (firstfile = ick_TRUE; optind < argc; optind++, firstfile = ick_FALSE)
   {
@@ -1886,7 +1885,7 @@ int main(int argc, char *argv[])
           it instead adds a space and the filename to libbuf. */
        handle_archive(libbuf, sizeof libbuf,
                       argv[optind] /* Archive name without extension. */);
-       *argv[optind]='\0';
+       *argv[optind]=0;
        continue;
       }