xref: /src/tests/bin/expr/t_expr.sh

# $NetBSD: t_expr.sh,v 1.12 2025/03/15 14:33:39 rillig Exp $
#
# Copyright (c) 2007 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.
#

: "${expr_prog:=expr}"

# usage: test_expr operand ... result|error
test_expr() {
	i=1
	while [ $((i++)) -lt $# ]; do
		set -- "$@" "$1"
		shift
	done
	expected="$1"
	shift

	# shellcheck disable=SC2003
	actual=$("$expr_prog" "$@" 2>&1 || :)

	printf "%s => '%s'\n" "$*" "$expected" >> expected
	printf "%s => '%s'\n" "$*" "$actual" >> actual
}

test_finish() {
	atf_check -o file:expected cat actual
}

atf_test_case lang
lang_head() {
	atf_set "descr" "Test that expr(1) works with non-C LANG (PR bin/2486)"
}
lang_body() {

	export LANG=nonexistent
	atf_check -s exit:0 -o inline:"21\n" -e empty -x "expr 10 + 11"

	export LANG=ru_RU.KOI8-R
	atf_check -s exit:0 -o inline:"21\n" -e empty -x "expr 10 + 11"
}

atf_test_case overflow
overflow_head() {
	atf_set "descr" "Test overflow cases"
}
overflow_body() {
	test_expr 4611686018427387904 + 4611686018427387903 \
	          '9223372036854775807'
	test_expr 4611686018427387904 + 4611686018427387904 \
	          "expr: integer overflow or underflow occurred for operation '4611686018427387904 + 4611686018427387904'"
	test_expr 4611686018427387904 - -4611686018427387904 \
	          "expr: integer overflow or underflow occurred for operation '4611686018427387904 - -4611686018427387904'"
	test_expr -4611686018427387904 - 4611686018427387903 \
	          '-9223372036854775807'
	test_expr -4611686018427387904 - 4611686018427387905 \
	          "expr: integer overflow or underflow occurred for operation '-4611686018427387904 - 4611686018427387905'"
	test_expr -4611686018427387904 \* 1 '-4611686018427387904'
	test_expr -4611686018427387904 \* -1 '4611686018427387904'
	test_expr -4611686018427387904 \* 2 '-9223372036854775808'
	test_expr -4611686018427387904 \* 3 \
	          "expr: integer overflow or underflow occurred for operation '-4611686018427387904 * 3'"
	test_expr -4611686018427387904 \* -2 \
	          "expr: integer overflow or underflow occurred for operation '-4611686018427387904 * -2'"
	test_expr 4611686018427387904 \* 1 '4611686018427387904'
	test_expr 4611686018427387904 \* 2 \
	          "expr: integer overflow or underflow occurred for operation '4611686018427387904 * 2'"
	test_expr 4611686018427387904 \* 3 \
	          "expr: integer overflow or underflow occurred for operation '4611686018427387904 * 3'"
	test_expr -9223372036854775808 % -1 \
	          "expr: integer overflow or underflow occurred for operation '-9223372036854775808 % -1'"
	test_expr -9223372036854775808 / -1 \
	          "expr: integer overflow or underflow occurred for operation '-9223372036854775808 / -1'"
	test_expr 0 + -9223372036854775808 '-9223372036854775808'
	test_expr 0 + -1 '-1'
	test_expr 0 + 0 '0'
	test_expr 0 + 1 '1'
	test_expr 0 + 9223372036854775807 '9223372036854775807'
	test_expr -9223372036854775808 + 0 '-9223372036854775808'
	test_expr 9223372036854775807 + 0 '9223372036854775807'
	test_expr 4611686018427387904 \* -1 '-4611686018427387904'
	test_expr 4611686018427387904 \* -2 '-9223372036854775808'
	test_expr 4611686018427387904 \* -3 \
	          "expr: integer overflow or underflow occurred for operation '4611686018427387904 * -3'"
	test_expr -4611686018427387904 \* -1 '4611686018427387904'
	test_expr -4611686018427387904 \* -2 \
	          "expr: integer overflow or underflow occurred for operation '-4611686018427387904 * -2'"
	test_expr -4611686018427387904 \* -3 \
	          "expr: integer overflow or underflow occurred for operation '-4611686018427387904 * -3'"
	test_expr 0 \* -1 '0'
	test_expr 0 \* 0 '0'
	test_expr 0 \* 1 '0'

	test_finish
}

atf_test_case gtkmm
gtkmm_head() {
	atf_set "descr" "Tests from gtk-- configure that cause problems on old expr"
}
gtkmm_body() {
	test_expr 3 \> 3 \| 3 = 3 \& 4 \> 4 \| 3 = 3 \& 4 = 4 \& 5 \>= 5 '1'
	test_expr 3 \> 3 \| 3 = 3 \& 4 \> 4 \| 3 = 3 \& 4 = 4 \& 5 \>= 6 '0'
	test_expr 3 \> 3 \| 3 = 3 \& 4 \> 4 \| 3 = 3 \& 4 = 3 \& 5 \>= 5 '0'
	test_expr 3 \> 3 \| 3 = 3 \& 4 \> 4 \| 3 = 2 \& 4 = 4 \& 5 \>= 5 '0'
	test_expr 3 \> 2 \| 3 = 3 \& 4 \> 4 \| 3 = 3 \& 4 = 4 \& 5 \>= 6 '1'
	test_expr 3 \> 3 \| 3 = 3 \& 4 \> 3 \| 3 = 3 \& 4 = 4 \& 5 \>= 5 '1'

	test_finish
}

atf_test_case colon_vs_math
colon_vs_math_head() {
	atf_set "descr" "Basic precendence test with the : operator vs. math"
}
colon_vs_math_body() {
	test_expr 2 : 4 / 2 '0'
	test_expr 4 : 4 % 3 '1'

	test_finish
}

atf_test_case arithmetic_ops
arithmetic_ops_head() {
	atf_set "descr" "Dangling arithmetic operator"
}
arithmetic_ops_body() {
	test_expr .java_wrapper : / '0'
	test_expr 4 : \* '0'
	test_expr 4 : + '0'
	test_expr 4 : - '0'
	test_expr 4 : / '0'
	test_expr 4 : % '0'

	test_finish
}

atf_test_case basic_math
basic_math_head() {
	atf_set "descr" "Basic math test"
}
basic_math_body() {
	test_expr 2 + 4 \* 5 '22'

	test_finish
}

atf_test_case basic_functional
basic_functional_head() {
	atf_set "descr" "Basic functional tests"
}
basic_functional_body() {
	test_expr 2 '2'
	test_expr -4 '-4'
	test_expr hello 'hello'
	test_expr -- double-dash 'double-dash'
	test_expr -- -- -- six-dashes 'expr: syntax error'
	test_expr 3 -- + 4 'expr: syntax error'

	test_finish
}

atf_test_case compare_ops_precedence
compare_ops_precedence_head() {
	atf_set "descr" "Compare operator precendence test"
}
compare_ops_precedence_body() {
	test_expr 2 \> 1 \* 17 '0'

	test_finish
}

atf_test_case compare_ops
compare_ops_head() {
	atf_set "descr" "Compare operator tests"
}
compare_ops_body() {
	test_expr 2 \!= 5 '1'
	test_expr 2 \!= 2 '0'
	test_expr 2 \<= 3 '1'
	test_expr 2 \<= 2 '1'
	test_expr 2 \<= 1 '0'
	test_expr 2 \< 3 '1'
	test_expr 2 \< 2 '0'
	test_expr 2 = 2 '1'
	test_expr 2 = 4 '0'
	test_expr 2 \>= 1 '1'
	test_expr 2 \>= 2 '1'
	test_expr 2 \>= 3 '0'
	test_expr 2 \> 1 '1'
	test_expr 2 \> 2 '0'

	test_finish
}

atf_test_case multiply
multiply_head() {
	atf_set "descr" "Test the multiply operator (PR bin/12838)"
}
multiply_body() {
	test_expr 1 \* -1 '-1'
	test_expr 2 \> 1 \* 17 '0'

	test_finish
}

atf_test_case negative
negative_head() {
	atf_set "descr" "Test the additive inverse"
}
negative_body() {
	test_expr -1 + 5 '4'
	test_expr - 1 + 5 'expr: syntax error'

	test_expr 5 + -1 '4'
	test_expr 5 + - 1 'expr: syntax error'

	test_expr 1 - -5 '6'

	test_finish
}

atf_test_case math_precedence
math_precedence_head() {
	atf_set "descr" "More complex math test for precedence"
}
math_precedence_body() {
	test_expr -3 + -1 \* 4 + 3 / -6 '-7'

	test_finish
}

atf_test_case precedence
precedence_head() {
	atf_set "descr" "Test precedence between ':' and '|'"
}
precedence_body() {
	test_expr X1/2/3 : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| . : '\(.\)' '1/2'

	test_finish
}

atf_test_case regex
regex_head() {
	atf_set "descr" "Test proper () returning \1 from a regex"
}
regex_body() {
	test_expr 1/2 : '.*/\(.*\)' '2'

	test_finish
}

atf_test_case short_circuit
short_circuit_head() {
	atf_set "descr" "Test short-circuit evaluation of '|' and '&'"
}
short_circuit_body() {
	test_expr 0 \| 1 / 0 "expr: second argument to '/' must not be zero"
	test_expr 123 \| 1 / 0 '123'
	test_expr 123 \| a : '***' '123'

	test_expr 0 \& 1 / 0 '0'
	test_expr 0 \& a : '***' '0'
	test_expr 123 \& 1 / 0 "expr: second argument to '/' must not be zero"

	test_finish
}

atf_test_case string_length
string_length_head() {
	atf_set "descr" "Test the string length operator"
}
string_length_body() {
	# The 'length' operator is an extension to POSIX 2024.
	test_expr length "" '0'
	test_expr length + 'expr: syntax error'
	test_expr length \! '1'
	test_expr length ++ '2'
	test_expr length length '6'

	test_finish
}

atf_init_test_cases()
{
	atf_add_test_case lang
	atf_add_test_case overflow
	atf_add_test_case gtkmm
	atf_add_test_case colon_vs_math
	atf_add_test_case arithmetic_ops
	atf_add_test_case basic_math
	atf_add_test_case basic_functional
	atf_add_test_case compare_ops_precedence
	atf_add_test_case compare_ops
	atf_add_test_case multiply
	atf_add_test_case negative
	atf_add_test_case math_precedence
	atf_add_test_case precedence
	atf_add_test_case regex
	atf_add_test_case short_circuit
	atf_add_test_case string_length
}