diff options
Diffstat (limited to 'Build/source/texk/chktex/chktex-1.7.2-PATCHES/patch-02-unsigned')
| -rw-r--r-- | Build/source/texk/chktex/chktex-1.7.2-PATCHES/patch-02-unsigned | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Build/source/texk/chktex/chktex-1.7.2-PATCHES/patch-02-unsigned b/Build/source/texk/chktex/chktex-1.7.2-PATCHES/patch-02-unsigned new file mode 100644 index 00000000000..bced537d868 --- /dev/null +++ b/Build/source/texk/chktex/chktex-1.7.2-PATCHES/patch-02-unsigned @@ -0,0 +1,14 @@ + Avoid undefined behaviour when char is signed. + +diff -ur chktex-1.7.2.orig/FindErrs.c chktex-1.7.2/FindErrs.c +--- chktex-1.7.2.orig/FindErrs.c 2014-06-19 11:19:40.000000000 +0200 ++++ chktex-1.7.2/FindErrs.c 2014-06-19 11:21:36.000000000 +0200 +@@ -342,7 +342,7 @@ + EscapePtr = ++TmpPtr; /* move past NUL terminator */ + while ( *EscapePtr ) + { +- *EscapePtr = tolower(*EscapePtr); ++ *EscapePtr = tolower((unsigned char)*EscapePtr); + ++EscapePtr; + } + |