Home | History | Annotate | Line # | Download | only in lint1
t_integration.sh revision 1.36
      1 # $NetBSD: t_integration.sh,v 1.36 2021/03/27 13:59:18 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 
     30 Names=
     31 
     32 extract_flags()
     33 {
     34 	local extract_flags_awk
     35 
     36 	# shellcheck disable=SC2016
     37 	extract_flags_awk='
     38 		BEGIN {
     39 			flags = "-g -S -w"
     40 		}
     41 		/^\/\* (lint1-flags|lint1-extra-flags): .*\*\/$/ {
     42 			if ($2 == "lint1-flags:")
     43 				flags = ""
     44 			for (i = 3; i < NF; i++)
     45 				flags = flags " " $i
     46 		}
     47 		END {
     48 			print flags
     49 		}
     50 	'
     51 
     52 	awk "$extract_flags_awk" "$@"
     53 }
     54 
     55 # shellcheck disable=SC2155
     56 check_lint1()
     57 {
     58 	local src="$(atf_get_srcdir)/$1"
     59 	local exp="${src%.c}.exp"
     60 	local flags="$(extract_flags "${src}")"
     61 
     62 	if [ -f "${exp}" ]; then
     63 		# shellcheck disable=SC2086
     64 		atf_check -s not-exit:0 -o "file:${exp}" -e empty \
     65 		    ${LINT1} ${flags} "${src}" /dev/null
     66 	else
     67 		# shellcheck disable=SC2086
     68 		atf_check -s exit:0 \
     69 		    ${LINT1} ${flags} "${src}" /dev/null
     70 	fi
     71 }
     72 
     73 test_case()
     74 {
     75 	local name="${1}"; shift
     76 	local descr="${*}"
     77 
     78 	atf_test_case ${name}
     79 	eval "${name}_head() {
     80 		if [ \"${descr}\" ]; then
     81 			atf_set \"descr\" \"${descr}\"
     82 		fi
     83 		atf_set \"require.progs\" \"${LINT1}\"
     84 	}"
     85 	eval "${name}_body() {
     86 		check_lint1 ${name}.c
     87 	}"
     88 
     89 	Names="${Names} ${name}"
     90 }
     91 
     92 test_case d_bltinoffsetof
     93 test_case d_c99_anon_struct
     94 test_case d_c99_anon_union
     95 test_case d_c99_bool
     96 test_case d_c99_bool_strict
     97 test_case d_c99_bool_strict_syshdr
     98 test_case d_c99_compound_literal_comma
     99 test_case d_c99_decls_after_stmt2
    100 test_case d_c99_flex_array_packed
    101 test_case d_c99_init
    102 test_case d_c99_nested_struct
    103 test_case d_c99_union_cast
    104 test_case d_c99_union_init4
    105 test_case d_c99_union_init5
    106 test_case d_cast_fun_array_param
    107 test_case d_cast_typeof
    108 test_case d_decl_old_style_arguments
    109 test_case d_fold_test
    110 test_case d_gcc_extension
    111 test_case d_init_array_using_string
    112 test_case d_init_pop_member
    113 test_case d_lint_assert
    114 test_case d_return_type
    115 test_case d_type_question_colon
    116 test_case d_typefun
    117 test_case d_typename_as_var
    118 
    119 test_case d_c99_struct_init
    120 test_case d_c99_union_init1
    121 test_case d_c99_union_init2
    122 test_case d_c99_union_init3
    123 test_case d_c99_recursive_init
    124 test_case d_c9x_recursive_init
    125 test_case d_nested_structs
    126 test_case d_packed_structs
    127 test_case d_pr_22119
    128 test_case d_struct_init_nested
    129 
    130 test_case d_cast_init
    131 test_case d_cast_init2
    132 test_case d_cast_lhs
    133 
    134 test_case d_gcc_func
    135 test_case d_c99_func
    136 
    137 test_case d_gcc_variable_array_init
    138 test_case d_c9x_array_init
    139 test_case d_c99_decls_after_stmt
    140 test_case d_c99_decls_after_stmt3
    141 test_case d_nolimit_init
    142 test_case d_zero_sized_arrays
    143 
    144 test_case d_compound_literals1
    145 test_case d_compound_literals2
    146 test_case d_gcc_compound_statements1
    147 test_case d_gcc_compound_statements2
    148 test_case d_gcc_compound_statements3
    149 
    150 # XXX: Because of polymorphic __builtin_isnan and expression has null effect
    151 # test_case gcc_extension "Checks GCC __extension__ and __typeof__"
    152 
    153 test_case d_cvt_in_ternary
    154 test_case d_cvt_constant
    155 test_case d_ellipsis_in_switch
    156 test_case d_c99_complex_num
    157 test_case d_c99_complex_split
    158 test_case d_c99_for_loops
    159 test_case d_alignof
    160 test_case d_shift_to_narrower_type
    161 test_case d_constant_conv1
    162 test_case d_constant_conv2
    163 test_case d_type_conv1
    164 test_case d_type_conv2
    165 test_case d_type_conv3
    166 test_case d_incorrect_array_size
    167 test_case d_long_double_int
    168 
    169 test_case all_messages
    170 all_messages_body()
    171 {
    172 	local srcdir ok msg base flags
    173 
    174 	srcdir="$(atf_get_srcdir)"
    175 	ok="true"
    176 
    177 	for msg in $(seq 0 340); do
    178 		base="$(printf '%s/msg_%03d' "${srcdir}" "${msg}")"
    179 		flags="$(extract_flags "${base}.c")"
    180 
    181 		# shellcheck disable=SC2154 disable=SC2086
    182 		${Atf_Check} -s not-exit:0 -o "file:${base}.exp" -e empty \
    183 		    ${LINT1} ${flags} "${base}.c" /dev/null \
    184 		|| ok="false"
    185 	done
    186 
    187 	atf_check "${ok}"
    188 }
    189 
    190 
    191 atf_init_test_cases()
    192 {
    193 	for name in ${Names}; do
    194 		atf_add_test_case ${name}
    195 	done
    196 }
    197