diff options
Diffstat (limited to 'usr.bin/cc')
| -rw-r--r-- | usr.bin/cc/t_ctype_abuse.sh | 124 | ||||
| -rw-r--r-- | usr.bin/cc/t_libm_cabs.sh | 57 | ||||
| -rw-r--r-- | usr.bin/cc/t_pthread_abuse.sh | 79 |
3 files changed, 260 insertions, 0 deletions
diff --git a/usr.bin/cc/t_ctype_abuse.sh b/usr.bin/cc/t_ctype_abuse.sh new file mode 100644 index 000000000000..e7c7c74d1220 --- /dev/null +++ b/usr.bin/cc/t_ctype_abuse.sh @@ -0,0 +1,124 @@ +# $NetBSD: t_ctype_abuse.sh,v 1.1 2024/12/18 02:47:00 riastradh Exp $ +# +# Copyright (c) 2024 The NetBSD Foundation, Inc. +# All rights reserved. +# +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions +# are met: +# 1. Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# 2. Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in the +# documentation and/or other materials provided with the distribution. +# +# THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS +# ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +# PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS +# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR +# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF +# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN +# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) +# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +# POSSIBILITY OF SUCH DAMAGE. +# + +ctype_abuse_head() +{ + local ctypefn reftype desc + + ctypefn=$1 + reftype=$2 + + case $reftype in + var) desc="variable";; + ptr) desc="pointer dereference";; + array) desc="array element";; + funcall) + desc="function call";; + esac + + atf_set "descr" "Test that $ctypefn warns on $desc of type char" + atf_set "require.progs" "cc" +} + +ctype_abuse_body() +{ + local ctypefn reftype + + ctypefn=$1 + reftype=$2 + + case $reftype in + var) decl='x'; ref='x';; + ptr) decl='*x'; ref='*x';; + array) decl='x[]'; ref='x[0]';; + funcall) + decl='f(void)'; ref='f()';; + esac + + cat >test.c <<EOF +#include <ctype.h> + +extern char $decl; + +int +g(void) +{ + + return $ctypefn($ref); +} +EOF + case $reftype in + var) atf_expect_fail 'PR lib/58912: ctype(3) abuse detection' \ + ' fails for variable references';; + esac + atf_check -s not-exit:0 \ + -e match:'array subscript has type.*char.*-W.*char-subscripts' \ + cc -c -Wall -Werror test.c +} + +ctype_abuse_tests() +{ + local ctypefn reftype tc + + for ctypefn in \ + isalpha \ + isupper \ + islower \ + isdigit \ + isxdigit \ + isalnum \ + isspace \ + ispunct \ + isprint \ + isgraph \ + iscntrl \ + isblank \ + toupper \ + tolower \ + # end of ctypefn enumeration + do + for reftype in var ptr array funcall; do + tc=${ctypefn}_${reftype} + eval "atf_test_case $tc" + eval "${tc}_head() + { + ctype_abuse_head $ctypefn $reftype + }" + eval "${tc}_body() + { + ctype_abuse_body $ctypefn $reftype + }" + atf_add_test_case $tc + done + done +} + +atf_init_test_cases() +{ + + ctype_abuse_tests +} diff --git a/usr.bin/cc/t_libm_cabs.sh b/usr.bin/cc/t_libm_cabs.sh new file mode 100644 index 000000000000..85cce3f19228 --- /dev/null +++ b/usr.bin/cc/t_libm_cabs.sh @@ -0,0 +1,57 @@ +# $NetBSD: t_libm_cabs.sh,v 1.1 2026/01/27 20:01:47 mrg Exp $ +# +# Copyright (c) 2026 Matthew R. Green +# All rights reserved. +# +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions +# are met: +# 1. Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# 2. Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in the +# documentation and/or other materials provided with the distribution. +# +# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR +# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES +# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. +# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, +# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, +# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; +# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED +# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, +# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY +# OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF +# SUCH DAMAGE. + + +atf_test_case libm_cabs +libm_cabs_head() { + atf_set "descr" "compile using __builtin_cabsl(3) which should be renamed" + atf_set "require.progs" "cc" +} + +# +# Simple program that misses including <complex.h> so that the renames +# GCC itself is supposed to be doing are also applied, which makes their +# uses in libgfortran use the correct symbols. The use of +# "__builtin_cabsl" should become "__c99_cabsl". +# +libm_cabs_body() { + cat > cabsl.c << EOF +long double my_foo(long double _Complex); +long double +my_foo(long double _Complex z) +{ + return __builtin_cabsl(z); +} +EOF + atf_check -s exit:0 -o ignore -e ignore cc -O3 -c cabsl.c + atf_check -s exit:0 -o match:__c99_cabsl -e empty objdump -dr cabsl.o +} + +atf_init_test_cases() +{ + + atf_add_test_case libm_cabs +} diff --git a/usr.bin/cc/t_pthread_abuse.sh b/usr.bin/cc/t_pthread_abuse.sh new file mode 100644 index 000000000000..caf88e60557f --- /dev/null +++ b/usr.bin/cc/t_pthread_abuse.sh @@ -0,0 +1,79 @@ +# $NetBSD: t_pthread_abuse.sh,v 1.1 2025/10/06 13:11:56 riastradh Exp $ +# +# Copyright (c) 2025 The NetBSD Foundation, Inc. +# All rights reserved. +# +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions +# are met: +# 1. Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# 2. Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in the +# documentation and/or other materials provided with the distribution. +# +# THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS +# ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +# PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS +# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR +# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF +# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN +# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) +# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +# POSSIBILITY OF SUCH DAMAGE. +# + +pthread_abuse_head() +{ + + atf_set "descr" \ + "Test that pthread_create calls without -lpthread fail to link" + atf_set "require.progs" "cc" +} +pthread_abuse_body() +{ + + cat >test.c <<'EOF' +#include <err.h> +#include <pthread.h> +#include <stdlib.h> + +static void * +start(void *cookie) +{ + return cookie; +} + +int +main(void) +{ + int cookie = 123; + pthread_t t; + void *result; + int error; + + error = pthread_create(&t, NULL, &start, &cookie); + if (error) + errc(EXIT_FAILURE, error, "pthread_create"); + error = pthread_join(t, &result); + if (error) + errc(EXIT_FAILURE, error, "pthread_join"); + return (result == &cookie ? 0 : EXIT_FAILURE); +} +EOF + atf_check -s not-exit:0 \ + -e match:'undefined reference to.*pthread_create' \ + cc -o test test.c + atf_check cc -o test test.c -lpthread + atf_check ./test + atf_check cc -o test test.c -pthread + atf_check ./test +} + +atf_init_test_cases() +{ + + atf_add_test_case pthread_abuse +} |