summaryrefslogtreecommitdiff
path: root/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI')
-rw-r--r--Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI176
1 files changed, 176 insertions, 0 deletions
diff --git a/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI b/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI
new file mode 100644
index 00000000000..bb6654b4ef7
--- /dev/null
+++ b/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI
@@ -0,0 +1,176 @@
+diff -ur lacheck-1.26.orig/lacheck.l lacheck-1.26/lacheck.l
+--- lacheck-1.26.orig/lacheck.l 2010-02-20 12:35:04.000000000 +0100
++++ lacheck-1.26/lacheck.l 2010-12-09 23:22:45.000000000 +0100
+@@ -125,8 +125,6 @@
+
+ /* extern char *realloc(); */
+
+-int yywrap() { return 1; }
+-
+ #ifdef NEED_STRSTR
+ char *strstr();
+ #endif
+@@ -144,16 +142,16 @@
+ #define CG_ITALIC gstack[gstackp-1].italic
+ #define CG_FILE gstack[gstackp-1].s_file
+
+-char *bg_command();
+-void pop();
+-void push();
+-void linecount();
+-void g_checkend();
+-void e_checkend();
+-void f_checkend();
+-void input_file();
+-void print_bad_match();
+-int check_top_level_end();
++char *bg_command(char *name);
++void pop(void);
++void push(const char *p_name, int p_type, int p_line);
++void linecount(void);
++void g_checkend(int n);
++void e_checkend(int n, char *name);
++void f_checkend(char *name);
++void input_file(char *file_nam);
++void print_bad_match(char *end_command, int type);
++int check_top_level_end(char *end_command, int type);
+
+ /* global variables */
+
+@@ -764,9 +762,7 @@
+
+ . { ; }
+ %%
+-int main( argc, argv )
+-int argc;
+-char *argv[];
++int main(int argc, char *argv[])
+ {
+ /* allocate initial stacks */
+ gstack = (tex_group *)malloc(gstack_size * sizeof(tex_group));
+@@ -824,6 +820,8 @@
+ return(0);
+ }
+
++int yywrap(void) { return 1; }
++
+ #ifdef NEED_STRSTR
+ char *
+ strstr(string, substring)
+@@ -860,10 +858,7 @@
+ }
+ #endif /* NEED_STRSTR */
+
+-void push(p_name, p_type, p_line)
+-unsigned char *p_name;
+-int p_type;
+-int p_line;
++void push(const unsigned char *p_name, int p_type, int p_line)
+ {
+ if ( gstackp == gstack_size ) { /* extend stack */
+ gstack_size *= 2;
+@@ -895,8 +890,7 @@
+
+ }
+
+-void input_file(file_nam)
+-char *file_nam;
++void input_file(char *file_nam)
+ {
+ char *tmp_file_name;
+ FILE *tmp_yyin;
+@@ -953,7 +947,7 @@
+ }
+ }
+
+-void pop()
++void pop(void)
+ {
+ if ( gstackp == 0 )
+ {
+@@ -966,8 +960,7 @@
+ free(gstack[gstackp].s_file);
+ }
+
+-char *bg_command(name)
+-char *name;
++char *bg_command(char *name)
+ {
+
+ switch (CG_TYPE) {
+@@ -1001,9 +994,7 @@
+ return ((char *)returnval);
+ }
+
+-char *eg_command(name,type)
+-int type;
+-char *name;
++static char *eg_command(char *name, int type)
+ {
+
+ switch (type) {
+@@ -1038,19 +1029,18 @@
+ }
+
+
+-void g_checkend(n)
+-int n;
++void g_checkend(int n)
+ {
+ if ( check_top_level_end(yytext,n) == 1 )
++ {
+ if ( CG_TYPE != n )
+ print_bad_match(yytext,n);
+ else
+ pop();
++ }
+ }
+
+-void e_checkend(n, name)
+-int n;
+-char *name;
++void e_checkend(int n, char *name)
+ {
+ if ( check_top_level_end(name,n) == 1 )
+ {
+@@ -1062,8 +1052,7 @@
+ }
+ }
+
+-void f_checkend(name)
+-char *name;
++void f_checkend(char *name)
+ {
+ if ( check_top_level_end(name,3) == 1 )
+ {
+@@ -1079,9 +1068,7 @@
+ }
+ }
+
+-void print_bad_match(end_command,type)
+-char *end_command;
+-int type;
++void print_bad_match(char *end_command, int type)
+ {
+ printf("\"%s\", line %d: <- unmatched \"%s\"\n",
+ file_name,
+@@ -1095,9 +1082,7 @@
+ warn_count += 2;
+ }
+
+-int check_top_level_end(end_command,type)
+-char *end_command;
+-int type;
++int check_top_level_end(char *end_command, int type)
+ {
+ if ( gstackp == 0 )
+ {
+@@ -1112,7 +1097,7 @@
+ return(1);
+ }
+
+-void linecount()
++void linecount(void)
+ {
+ int i;
+ for (i = 0; i < yyleng; i++)