Home | History | Annotate | Line # | Download | only in lint1
      1 # $NetBSD: t_integration.sh,v 1.85 2025/01/03 02:14:52 rillig Exp $
      2 #
      3 # Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
      4 # All rights reserved.
      5 #
      6 # Redistribution and use in source and binary forms, with or without
      7 # modification, are permitted provided that the following conditions
      8 # are met:
      9 # 1. Redistributions of source code must retain the above copyright
     10 #    notice, this list of conditions and the following disclaimer.
     11 # 2. Redistributions in binary form must reproduce the above copyright
     12 #    notice, this list of conditions and the following disclaimer in the
     13 #    documentation and/or other materials provided with the distribution.
     14 #
     15 # THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     16 # ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     17 # TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     18 # PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     19 # BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     20 # CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     21 # SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     22 # INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     23 # CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     24 # ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     25 # POSSIBILITY OF SUCH DAMAGE.
     26 #
     27 
     28 : "${lint1:=/usr/libexec/lint1}"
     29 : "${archsubdir:=archsubdir_must_be_set}"
     30 
     31 srcdir="$(atf_get_srcdir)"
     32 
     33 configure_test_case()
     34 {
     35 	local awk
     36 
     37 	# shellcheck disable=SC2016
     38 	awk='
     39 		BEGIN {
     40 			# see ./gen-platforms.sh
     41 			platform["aarch64"]	= "uchar lp64  long ldbl128"
     42 			platform["alpha"]	= "schar lp64  long ldbl64"
     43 			platform["arm"]		= "uchar ilp32 long ldbl64"
     44 			platform["coldfire"]	= "schar ilp32 int  ldbl64"
     45 			platform["hppa"]	= "schar ilp32 long ldbl64"
     46 			platform["i386"]	= "schar ilp32 int  ldbl96"
     47 			platform["ia64"]	= "schar lp64  long ldbl128"
     48 			platform["m68000"]	= "schar ilp32 int  ldbl64"
     49 			platform["m68k"]	= "schar ilp32 int  ldbl96"
     50 			platform["mips"]	= "schar ilp32 ???? ldbl64"
     51 			platform["mips64"]	= "schar ilp32 long ldbl128"
     52 			platform["mipsn64"]	= "schar lp64  long ldbl128"
     53 			platform["or1k"]	= "schar ilp32 int  ldbl64"
     54 			platform["powerpc"]	= "uchar ilp32 int  ldbl64"
     55 			platform["powerpc64"]	= "uchar lp64  long ldbl64"
     56 			platform["riscv32"]	= "schar ilp32 int  ldbl64"
     57 			platform["riscv64"]	= "schar lp64  long ldbl64"
     58 			platform["sh3"]		= "schar ilp32 int  ldbl64"
     59 			platform["sparc"]	= "schar ilp32 long ldbl64"
     60 			platform["sparc64"]	= "schar lp64  long ldbl128"
     61 			platform["vax"]		= "schar ilp32 long ldbl64"
     62 			platform["x86_64"]	= "schar lp64  long ldbl128"
     63 		}
     64 
     65 		function platform_has(prop) {
     66 			if (!match(prop, /^(schar|uchar|ilp32|lp64|int|long|ldbl64|ldbl96|ldbl128)$/)) {
     67 				printf("bad property '\''%s'\''\n", prop) > "/dev/stderr"
     68 				exit(1)
     69 			}
     70 			if (platform[archsubdir] == "") {
     71 				printf("bad archsubdir '\''%s'\''\n", archsubdir) > "/dev/stderr"
     72 				exit(1)
     73 			}
     74 			return match(" " platform[archsubdir] " ", " " prop " ")
     75 		}
     76 
     77 		BEGIN {
     78 			archsubdir = "'"$archsubdir"'"
     79 			flags = "-g -S -w"
     80 			skip = "no"
     81 		}
     82 		$1 == "/*" && $2 ~ /^lint1-/ && $NF == "*/" {
     83 			if ($2 == "lint1-flags:" || $2 == "lint1-extra-flags:") {
     84 				if ($2 == "lint1-flags:")
     85 					flags = ""
     86 				for (i = 3; i < NF; i++)
     87 					flags = flags " " $i
     88 			} else if ($2 == "lint1-only-if:") {
     89 				for (i = 3; i < NF; i++)
     90 					if (!platform_has($i))
     91 						skip = "yes"
     92 			} else {
     93 				printf("bad lint1 comment '\''%s'\''\n", $2) > "/dev/stderr"
     94 				exit(1)
     95 			}
     96 		}
     97 
     98 		END {
     99 			printf("flags='\''%s'\''\n", flags)
    100 			printf("skip=%s\n", skip)
    101 		}
    102 	'
    103 
    104 	local config
    105 	config="$(awk "$awk" "$1")" || exit 1
    106 	eval "$config"
    107 
    108 	case "_${1%.c}_" in
    109 	*_utf8_*)
    110 		LC_ALL=en_US.UTF-8;;
    111 	*)
    112 		LC_ALL=C;;
    113 	esac
    114 	export LC_ALL
    115 }
    116 
    117 tests_done=''
    118 check_lint1()
    119 {
    120 	local src="$1"
    121 	local base="${src##*/}"
    122 	local exp="${base%.c}.exp"
    123 	local exp_ln="${src%.c}.exp-ln"
    124 	local wrk_ln="${base%.c}.ln"
    125 	local flags=""
    126 	local skip=""
    127 
    128 	if [ ! -f "$exp_ln" ]; then
    129 		exp_ln='/dev/null'
    130 		wrk_ln='/dev/null'
    131 	fi
    132 
    133 	configure_test_case "$src"	# sets 'skip' and 'flags'
    134 
    135 	if [ "$skip" = "yes" ]; then
    136 		return
    137 	fi
    138 	tests_done="$tests_done $src"
    139 
    140 	# shellcheck disable=SC2086
    141 	atf_check -s 'exit' -o "save:$exp" \
    142 	    "$lint1" $flags "$src" "$wrk_ln"
    143 
    144 	if [ "$exp_ln" != '/dev/null' ]; then
    145 		# Remove comments and whitespace from the .exp-ln file.
    146 		sed \
    147 		    -e '/^#/d' \
    148 		    -e '/^$/d' \
    149 		    -e 's,^#.*,,' \
    150 		    -e 's,\([^%]\)[[:space:]],\1,g' \
    151 		    < "$exp_ln" > "./${exp_ln##*/}"
    152 
    153 		atf_check -o "file:${exp_ln##*/}" cat "$wrk_ln"
    154 	fi
    155 }
    156 
    157 atf_test_case lint1
    158 lint1_head() {
    159 	atf_set 'require.progs' "$lint1"
    160 }
    161 lint1_body() {
    162 	local src
    163 
    164 	for src in "$srcdir"/*.c; do
    165 		check_lint1 "$src"
    166 	done
    167 
    168 	# shellcheck disable=SC2086
    169 	atf_check lua "$srcdir/check-expect.lua" $tests_done
    170 }
    171 
    172 atf_init_test_cases()
    173 {
    174 	atf_add_test_case lint1
    175 }
    176