annotate src/toolcheck @ 33303:924e9cb09df7 v9.0.1917

patch 9.0.1917: undefined behaviour with python function pointer Commit: https://github.com/vim/vim/commit/d606fccf6fd716bda43a8e1d11d898f438d28b82 Author: Yee Cheng Chin <ychin.git@gmail.com> Date: Wed Sep 20 19:59:47 2023 +0200 patch 9.0.1917: undefined behaviour with python function pointer Problem: undefined behaviour with python function pointer Solution: correctly cast function pointers from void Fix more undefined behaviors in if_python Fix remaining UBSAN errors from Clang 17 in if_python in casting function pointers. Also fix a mistake where `PyMem_Free()` should be returning void, by the dynamic build is mistakenly casting it as a function that returns an int. closes: #13128 Signed-off-by: Christian Brabandt <cb@256bit.org> Co-authored-by: Yee Cheng Chin <ychin.git@gmail.com>
author Christian Brabandt <cb@256bit.org>
date Wed, 20 Sep 2023 20:15:04 +0200
parents 3fc0f57ecb91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #!/bin/sh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 # toolcheck -- check for tools that have severe bugs. Good that all the buggy
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # tools identify by version numbers. This is the spirit of GNU :-)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5 # 24.7.95 jw.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 retval=0
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 reply="`sh -version -c exit 2>&1 < /dev/null`"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 case "$reply" in
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 GNU*1.14.3*)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 echo "- sh is '$reply'";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 echo " CAUTION: This shell has a buggy 'trap' command.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
13 echo " The configure script may fail silently.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14 retval=1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16 GNU*)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17 echo "- sh is '$reply' - probably OK.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
18 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
19 *) ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 esac
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
22 reply="`sed --version 2>&1 < /dev/null`"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23 case "$reply" in
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
24 GNU\ sed\ version\ 2.0[34])
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
25 echo "- sed is '$reply'";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
26 echo " CAUTION: This sed cannot configure screen properly."
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 retval=1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29 GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 echo "- sed is '$reply' - good.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32 GNU*) echo "- sed is '$reply'.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34 *) ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35 esac
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 exit $retval