Module Name: src
Committed By: christos
Date: Wed Mar 16 15:49:20 UTC 2016
Modified Files:
src/tests/bin/sh: Makefile
Added Files:
src/tests/bin/sh: t_arith.sh t_varval.sh
Log Message:
New tests from kre
To generate a diff of this commit:
cvs rdiff -u -r1.8 -r1.9 src/tests/bin/sh/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/bin/sh/t_arith.sh \
src/tests/bin/sh/t_varval.sh
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/tests/bin/sh/Makefile
diff -u src/tests/bin/sh/Makefile:1.8 src/tests/bin/sh/Makefile:1.9
--- src/tests/bin/sh/Makefile:1.8 Sun Mar 13 14:55:12 2016
+++ src/tests/bin/sh/Makefile Wed Mar 16 11:49:19 2016
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.8 2016/03/13 18:55:12 christos Exp $
+# $NetBSD: Makefile,v 1.9 2016/03/16 15:49:19 christos Exp $
#
.include <bsd.own.mk>
@@ -7,9 +7,10 @@ TESTSDIR = ${TESTSBASE}/bin/sh
TESTS_SUBDIRS += dotcmd
+TESTS_SH+= t_arith
+TESTS_SH+= t_evaltested
TESTS_SH+= t_exit
TESTS_SH+= t_expand
-TESTS_SH+= t_evaltested
TESTS_SH+= t_fsplit
TESTS_SH+= t_here
TESTS_SH+= t_option
@@ -18,6 +19,7 @@ TESTS_SH+= t_redircloexec
TESTS_SH+= t_set_e
TESTS_SH+= t_ulimit
TESTS_SH+= t_varquote
+TESTS_SH+= t_varval
TESTS_SH+= t_wait
.include <bsd.test.mk>
Added files:
Index: src/tests/bin/sh/t_arith.sh
diff -u /dev/null src/tests/bin/sh/t_arith.sh:1.1
--- /dev/null Wed Mar 16 11:49:20 2016
+++ src/tests/bin/sh/t_arith.sh Wed Mar 16 11:49:19 2016
@@ -0,0 +1,1055 @@
+# $NetBSD: t_arith.sh,v 1.1 2016/03/16 15:49:19 christos Exp $
+#
+# Copyright (c) 2016 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.
+#
+# the implementation of "sh" to test
+: ${TEST_SH:="/bin/sh"}
+
+# Requirement is to support at least "signed long" whatever that means
+# (number of bits in "long" is not specified - but should be at lease 32).
+
+# These tests use -o inline:"..." rather than -o match:'...' as we have
+# only digits to examine, and it is good to be sure that 1 + 2 really gives 2
+# and that 42 or 123 don't look like success because there is a 2 in them.
+
+ARITH_BITS='?'
+discover_range()
+{
+ # cannot use arithmetic "test" operators, range of test in
+ # ATF_SHELL (or even TEST_SH) might not be as big as that
+ # supported by $(( )) in TEST_SH
+
+ if ! ${TEST_SH} -c ': $(( 0x10000 ))' 2>/dev/null
+ then
+ # 16 bits or less, or hex unsupported, just give up...
+ return
+ fi
+ test $( ${TEST_SH} -c 'echo $(( 0x1FFFF ))' ) = 131071 || return
+
+ # when attempting to exceed the number of available bits
+ # the shell may react in any of 3 (rational) ways
+ # 1. syntax error (maybe even core dump...) and fail
+ # 2. represent a positive number input as negative value
+ # 3. keep the number positive, but not the value expected
+ # (perhaps pegged at the max possible value)
+ # any of those may be accompanied by a message to stderr
+
+ # Must check all 3 possibilities for each plausible size
+ # Tests do not use 0x8000... because that value can have weird
+ # other side effects that are not relevant to discover here.
+ # But we do want to try and force the sign bit set.
+
+ if ! ${TEST_SH} -c ': $(( 0xC0000000 ))' 2>/dev/null
+ then
+ # proobably shell detected overflow and complained
+ # (if it does not support hex, we will discover that later)
+ ARITH_BITS=32
+ return
+ fi
+ if ${TEST_SH} 2>/dev/null \
+ -c 'case $(( 0xC0000000 )); in (-*) exit 0;; esac; exit 1'
+ then
+ ARITH_BITS=32
+ return
+ fi
+ if ${TEST_SH} -c '[ $(( 0xC0000000 )) != 3221225472 ]' 2>/dev/null
+ then
+ ARITH_BITS=32
+ return
+ fi
+
+ if ! ${TEST_SH} -c ': $(( 0xC000000000000000 ))' 2>/dev/null
+ then
+ ARITH_BITS=64
+ return
+ fi
+ if ${TEST_SH} 2>/dev/null \
+ -c 'case $(( 0xC000000000000000 )); in (-*) exit 0;; esac; exit 1'
+ then
+ ARITH_BITS=64
+ return
+ fi
+ if ${TEST_SH} 2>/dev/null \
+ -c '[ $((0xC000000000000000)) != 13835058055282163712 ]'
+ then
+ ARITH_BITS=64
+ return
+ fi
+
+ if ${TEST_SH} 2>/dev/null -c \
+ '[ $((0x123456781234567812345678)) = 5634002657842756053938493048 ]'
+ then
+ # just assume... (for now anyway, revisit when it happens...)
+ ARITH_BITS=96
+ return
+ fi
+}
+
+atf_test_case constants
+constants_head()
+{
+ atf_set "descr" "Tests that arithmetic expansion can handle constants"
+}
+constants_body()
+{
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $((0x0))'
+
+ # atf_expect_fail "PR bin/50959"
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $((0X0))'
+ # atf_expect_pass
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $((000))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty \
+ ${TEST_SH} -c 'echo $(( 000000001 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty \
+ ${TEST_SH} -c 'echo $(( 0x000000 ))'
+
+ atf_check -s exit:0 -o inline:'99999\n' -e empty \
+ ${TEST_SH} -c 'echo $((99999))'
+
+ [ ${ARITH_BITS} -gt 44 ] &&
+ atf_check -s exit:0 -o inline:'9191919191919\n' -e empty \
+ ${TEST_SH} -c 'echo $((9191919191919))'
+
+ atf_check -s exit:0 -o inline:'13\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xD ))'
+ atf_check -s exit:0 -o inline:'11\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 013 ))'
+ atf_check -s exit:0 -o inline:'7\n' -e empty ${TEST_SH} -c \
+ 'x=7;echo $(($x))'
+ atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \
+ 'x=9;echo $((x))'
+
+ atf_check -s exit:0 -o inline:'11\n' -e empty \
+ ${TEST_SH} -c 'x=0xB; echo $(( $x ))'
+ atf_check -s exit:0 -o inline:'27\n' -e empty \
+ ${TEST_SH} -c 'x=0X1B; echo $(( x ))'
+ atf_check -s exit:0 -o inline:'27\n' -e empty \
+ ${TEST_SH} -c 'X=033; echo $(( $X ))'
+ atf_check -s exit:0 -o inline:'219\n' -e empty \
+ ${TEST_SH} -c 'X=0333; echo $(( X ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty \
+ ${TEST_SH} -c 'NULL=; echo $(( NULL ))'
+
+ # Not clear if this is 0, nothing, or an error, so omit for now
+ # atf_check -s exit:0 -o inline:'0\n' -e empty \
+ # ${TEST_SH} -c 'echo $(( ))'
+
+ # not clear whether this should return 0 or an error, so omit for now
+ # atf_check -s exit:0 -o inline:'0\n' -e empty \
+ # ${TEST_SH} -c 'echo $(( UNDEFINED_VAR ))'
+}
+
+atf_test_case constants_binary
+constants_binary_head()
+{
+ atf_set "descr" "Optional tests that binary constants work as expected"
+}
+constants_binary_body()
+{
+ if ! ${TEST_SH} -c '[ $(( 0b0101 )) = 5 ]' 2>/dev/null
+ then
+ atf_skip "Binary constants (0b0101) not implemented"
+ fi
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $((0b0))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $((0b01))'
+ atf_check -s exit:0 -o inline:'3\n' -e empty ${TEST_SH} -c \
+ 'echo $((0b11))'
+ atf_check -s exit:0 -o inline:'7\n' -e empty ${TEST_SH} -c \
+ 'echo $((0b111))'
+ atf_check -s exit:0 -o inline:'1398101\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0b101010101010101010101 ))'
+ atf_check -s exit:0 -o inline:'119097103\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0b111000110010100011100001111 ))'
+}
+
+atf_test_case do_unary_plus
+do_unary_plus_head()
+{
+ atf_set "descr" "Tests that unary plus works as expected"
+}
+do_unary_plus_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( +0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( +1 ))'
+ atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \
+ 'echo $(( + 6 ))'
+ atf_check -s exit:0 -o inline:'4321\n' -e empty ${TEST_SH} -c \
+ 'echo $(( + 4321 ))'
+ atf_check -s exit:0 -o inline:'17185\n' -e empty ${TEST_SH} -c \
+ 'echo $(( + 0x4321 ))'
+}
+
+atf_test_case do_unary_minus
+do_unary_minus_head()
+{
+ atf_set "descr" "Tests that unary minus works as expected"
+}
+do_unary_minus_body()
+{
+ atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( - 0 ))'
+ atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( - 1 ))'
+ atf_check -s exit:0 -o inline:'-6\n' -e empty ${TEST_SH} -c \
+ 'echo $(( - 6 ))'
+ atf_check -s exit:0 -o inline:'-4321\n' -e empty ${TEST_SH} -c \
+ 'echo $(( - 4321 ))'
+ atf_check -s exit:0 -o inline:'-2257\n' -e empty ${TEST_SH} -c \
+ 'echo $(( - 04321 ))'
+ atf_check -s exit:0 -o inline:'-7\n' -e empty ${TEST_SH} -c \
+ 'echo $((-7))'
+}
+
+atf_test_case do_unary_not
+do_unary_not_head()
+{
+ atf_set "descr" "Tests that unary not (boolean) works as expected"
+}
+do_unary_not_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ! 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ! 0 ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( !1234 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( !0xFFFF ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ! 000000 ))'
+}
+
+atf_test_case do_unary_tilde
+do_unary_tilde_head()
+{
+ atf_set "descr" "Tests that unary not (bitwise) works as expected"
+}
+do_unary_tilde_body()
+{
+ # definitely 2's complement arithmetic here...
+
+ atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ~ 0 ))'
+ atf_check -s exit:0 -o inline:'-2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ~ 1 ))'
+
+ atf_check -s exit:0 -o inline:'-1235\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ~1234 ))'
+ atf_check -s exit:0 -o inline:'-256\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ~0xFF ))'
+}
+
+atf_test_case elementary_add
+elementary_add_head()
+{
+ atf_set "descr" "Tests that simple addition works as expected"
+}
+elementary_add_body()
+{
+ # some of these tests actually test unary ops & op precedence...
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 + 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 + 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 + 1 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 + 1 ))'
+ atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 4 + 6 ))'
+ atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 6 + 4 ))'
+ atf_check -s exit:0 -o inline:'5555\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1234 + 4321 ))'
+ atf_check -s exit:0 -o inline:'3333\n' -e empty ${TEST_SH} -c \
+ 'echo $((1111+2222))'
+ atf_check -s exit:0 -o inline:'5555\n' -e empty ${TEST_SH} -c \
+ 'echo $((+3333+2222))'
+ atf_check -s exit:0 -o inline:'7777\n' -e empty ${TEST_SH} -c \
+ 'echo $((+3333++4444))'
+ atf_check -s exit:0 -o inline:'-7777\n' -e empty ${TEST_SH} -c \
+ 'echo -$((+4125++3652))'
+}
+
+atf_test_case elementary_sub
+elementary_sub_head()
+{
+ atf_set "descr" "Tests that simple subtraction works as expected"
+}
+elementary_sub_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 - 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 - 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 - 1 ))'
+ atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 - 1 ))'
+ atf_check -s exit:0 -o inline:'488\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1066 - 578 ))'
+ atf_check -s exit:0 -o inline:'-3662\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2016-5678 ))'
+ atf_check -s exit:0 -o inline:'-3662\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2016+-5678 ))'
+ atf_check -s exit:0 -o inline:'-3662\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2016-+5678 ))'
+ atf_check -s exit:0 -o inline:'-7694\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -2016-5678 ))'
+ atf_check -s exit:0 -o inline:'--1\n' -e empty ${TEST_SH} -c \
+ 'echo -$(( -1018--1017 ))'
+}
+
+atf_test_case elementary_mul
+elementary_mul_head()
+{
+ atf_set "descr" "Tests that simple multiplication works as expected"
+}
+elementary_mul_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 * 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 * 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 * 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 * 1 ))'
+ atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -1 * 1 ))'
+ atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 * -1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -1 * -1 ))'
+ atf_check -s exit:0 -o inline:'391\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 17 * 23 ))'
+ atf_check -s exit:0 -o inline:'169\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 13*13 ))'
+ atf_check -s exit:0 -o inline:'-11264\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -11 *1024 ))'
+ atf_check -s exit:0 -o inline:'-16983\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 17* -999 ))'
+ atf_check -s exit:0 -o inline:'9309\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -29*-321 ))'
+}
+
+atf_test_case elementary_div
+elementary_div_head()
+{
+ atf_set "descr" "Tests that simple division works as expected"
+}
+elementary_div_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 / 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 / 1 ))'
+ test ${ARITH_BITS} -ge 38 &&
+ atf_check -s exit:0 -o inline:'99999999999\n' -e empty \
+ ${TEST_SH} -c 'echo $(( 99999999999 / 1 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 / 1 ))'
+
+ atf_check -s exit:0 -o inline:'3\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 / 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 / 2 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 / 3 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 / 4 ))'
+
+ atf_check -s exit:0 -o inline:'173\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 123456 / 713 ))'
+ atf_check -s exit:0 -o inline:'13\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 169 / 13 ))'
+}
+
+atf_test_case elementary_rem
+elementary_rem_head()
+{
+ atf_set "descr" "Tests that simple modulus works as expected"
+}
+elementary_rem_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 % 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 % 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 % 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9999 % 1 ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 % 2 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 % 2 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 % 2 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xFFFF % 2 ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 % 3 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 % 3 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 % 3 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 % 3 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3123 % 3 ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9999 % 2 ))'
+
+ atf_check -s exit:0 -o inline:'107\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 123456%173 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $((169%13))'
+}
+
+atf_test_case elementary_shl
+elementary_shl_head()
+{
+ atf_set "descr" "Tests that simple modulus works as expected"
+}
+elementary_shl_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 << 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 << 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 << 17 ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 << 0 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 << 1 ))'
+ atf_check -s exit:0 -o inline:'131072\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 << 17 ))'
+
+ atf_check -s exit:0 -o inline:'2021161080\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x3C3C3C3C << 1 ))'
+
+ test "${ARITH_BITS}" -ge 40 &&
+ atf_check -s exit:0 -o inline:'129354309120\n' -e empty \
+ ${TEST_SH} -c 'echo $(( 0x3C3C3C3C << 7 ))'
+ test "${ARITH_BITS}" -ge 72 &&
+ atf_check -s exit:0 -o inline:'1111145054534149079040\n' \
+ -e empty ${TEST_SH} -c 'echo $(( 0x3C3C3C3C << 40 ))'
+
+ return 0
+}
+
+atf_test_case elementary_shr
+elementary_shr_head()
+{
+ atf_set "descr" "Tests that simple modulus works as expected"
+}
+elementary_shr_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 >> 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 >> 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 >> 17 ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 >> 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 >> 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 >> 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 >> 1 ))'
+
+ atf_check -s exit:0 -o inline:'4\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x10 >> 2 ))'
+ atf_check -s exit:0 -o inline:'4\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 022 >> 2 ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 131072 >> 17 ))'
+
+ test ${ARITH_BITS} -ge 40 &&
+ atf_check -s exit:0 -o inline:'8\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x4000000000 >> 35 ))'
+ test ${ARITH_BITS} -ge 80 &&
+ atf_check -s exit:0 -o inline:'4464\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x93400FACE005C871000 >> 64 ))'
+
+ return 0
+}
+
+atf_test_case elementary_eq
+elementary_eq_head()
+{
+ atf_set "descr" "Tests that simple equality test works as expected"
+}
+elementary_eq_body()
+{
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 == 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 == 0000 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 == 0x00 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 == 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'X=30; Y=0x1E; echo $(( X == Y ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1234 == 4660 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1234 == 011064 ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 == 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 == 0000000000000001 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 == 0x10000000000000 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 == 2 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'X=3; Y=7; echo $(( X == Y ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1234 == 0x4660 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 01234 == 0x11064 ))'
+}
+atf_test_case elementary_ne
+elementary_ne_head()
+{
+ atf_set "descr" "Tests that simple inequality test works as expected"
+}
+elementary_ne_body()
+{
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 != 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x71 != 17 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1234 != 01234 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1234 != 01234 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'X=3; echo $(( X != 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'X=3; Y=0x11; echo $(( X != Y ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 != 3 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 != 0x0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xA != 012 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'X=1; echo $(( X != 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'X=0xC; Y=014; echo $(( X != Y ))'
+}
+atf_test_case elementary_lt
+elementary_lt_head()
+{
+ atf_set "descr" "Tests that simple less than test works as expected"
+}
+elementary_lt_body()
+{
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 < 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -1 < 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 < 10 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 100 < 101 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xA1 < 200 ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 < 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 < 0 ))'
+
+ test ${ARITH_BITS} -ge 40 &&
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1BEEFF00D < 0x1FACECAFE ))'
+
+ return 0
+}
+atf_test_case elementary_le
+elementary_le_head()
+{
+ atf_set "descr" "Tests that simple less or equal test works as expected"
+}
+elementary_le_body()
+{
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 <= 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -1 <= 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 <= 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 <= 10 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 100 <= 101 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xA1 <= 161 ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 <= 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -100 <= -200 ))'
+
+ test ${ARITH_BITS} -ge 40 &&
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'cost=; AUD=; echo $(( $cost 0x2FEEDBABE <= $AUD 12866927294 ))'
+
+ return 0
+}
+atf_test_case elementary_gt
+elementary_gt_head()
+{
+ atf_set "descr" "Tests that simple greater than works as expected"
+}
+elementary_gt_body()
+{
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 > 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 > -1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 11 > 012 ))'
+
+ # atf_expect_fail "PR bin/50959"
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2147483647 > 0X7FFFFF0 ))'
+ # atf_expect_pass
+
+ test ${ARITH_BITS} -gt 32 &&
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x80000000 > 0x7FFFFFFF ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 > 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 > 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -1 > 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 > 10 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2015 > 2016 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xA1 > 200 ))'
+
+ test ${ARITH_BITS} -ge 44 &&
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x7F07F07F0 > 34099628014 ))'
+
+ return 0
+}
+atf_test_case elementary_ge
+elementary_ge_head()
+{
+ atf_set "descr" "Tests that simple greater or equal works as expected"
+}
+elementary_ge_body()
+{
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 >= 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 >= 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -100 >= -101 ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( -1 >= 0 ))'
+}
+
+atf_test_case fiddle_bits_and
+fiddle_bits_and_head()
+{
+ atf_set "descr" "Test bitwise and operations in arithmetic expressions"
+}
+fiddle_bits_and_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 & 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 & 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 & 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 & 1 ))'
+
+ atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xFF & 0xFF ))'
+ atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xFFFF & 0377 ))'
+
+ test "${ARITH_BITS}" -ge 48 &&
+ atf_check -s exit:0 -o inline:'70377641607203\n' -e empty \
+ ${TEST_SH} -c 'echo $(( 0x5432FEDC0123 & 0x42871357BAB3 ))'
+
+ return 0
+}
+atf_test_case fiddle_bits_or
+fiddle_bits_or_head()
+{
+ atf_set "descr" "Test bitwise or operations in arithmetic expressions"
+}
+fiddle_bits_or_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 | 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 | 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 | 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 | 1 ))'
+
+ atf_check -s exit:0 -o inline:'4369\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1111 | 0x1111 ))'
+ atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xAA | 0125 ))'
+
+ test "${ARITH_BITS}" -ge 48 &&
+ atf_check -s exit:0 -o inline:'95348271856563\n' -e empty \
+ ${TEST_SH} -c 'echo $(( 0x5432FEDC0123 | 0x42871357BAB3 ))'
+
+ return 0
+}
+atf_test_case fiddle_bits_xor
+fiddle_bits_xor_head()
+{
+ atf_set "descr" "Test bitwise xor operations in arithmetic expressions"
+}
+fiddle_bits_xor_body()
+{
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 ^ 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 ^ 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 ^ 1 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 ^ 1 ))'
+
+ atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xF0 ^ 0x0F ))'
+ atf_check -s exit:0 -o inline:'15\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xF0 ^ 0xFF ))'
+
+ test "${ARITH_BITS}" -ge 48 &&
+ atf_check -s exit:0 -o inline:'24970630249360\n' -e empty \
+ ${TEST_SH} -c 'echo $(( 0x5432FEDC0123 ^ 0x42871357BAB3 ))'
+
+ return 0
+}
+
+atf_test_case logical_and
+logical_and_head()
+{
+ atf_set "descr" "Test bitwise and operations in arithmetic expressions"
+}
+logical_and_body()
+{
+ # cannot test short-circuit eval until sh implements side effects...
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 && 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 && 0 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 && 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 && 1 ))'
+
+ # atf_expect_fail "PR bin/50960"
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1111 && 01234 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xFFFF && 0xF0F0 ))'
+}
+atf_test_case logical_or
+logical_or_head()
+{
+ atf_set "descr" "Test bitwise or operations in arithmetic expressions"
+}
+logical_or_body()
+{
+ # cannot test short-circuit eval until sh implements side effects...
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 || 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 || 0 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 || 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 || 1 ))'
+
+ # atf_expect_fail "PR bin/50960"
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1111 || 01234 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x33 || 0xF0F0 ))'
+}
+
+atf_test_case make_selection
+make_selection_head()
+{
+ atf_set "descr" "Test ?: operator in arithmetic expressions"
+}
+make_selection_body()
+{
+ # atf_expect_fail "PR bin/50958"
+
+ atf_check -s exit:0 -o inline:'3\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0 ? 2 : 3 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 ? 2 : 3 ))'
+
+ atf_check -s exit:0 -o inline:'111\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0x1234 ? 111 : 222 ))'
+}
+
+atf_test_case operator_precedence
+operator_precedence_head()
+{
+ atf_set "descr" "Test operator precedence without parentheses"
+}
+operator_precedence_body()
+{
+ # NB: apart from $(( )) ** NO ** parentheses in the expressions.
+
+ atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 + 2 + 3 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 - 2 + 3 ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 - 2 - 1 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 - 2 + 1 ))'
+
+ atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( - 2 + 1 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 + -1 ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ! 2 + 1 ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 + !1 ))'
+
+ atf_check -s exit:0 -o inline:'8\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 * 2 + 2 ))'
+ atf_check -s exit:0 -o inline:'7\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 + 2 * 2 ))'
+ atf_check -s exit:0 -o inline:'12\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 * 2 * 2 ))'
+
+ atf_check -s exit:0 -o inline:'5\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 / 3 + 2 ))'
+ atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 + 3 / 2 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 / 3 / 2 ))'
+
+ atf_check -s exit:0 -o inline:'72\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 << 1 + 2 ))'
+ atf_check -s exit:0 -o inline:'48\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 + 3 << 2 ))'
+ atf_check -s exit:0 -o inline:'288\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 << 3 << 2 ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 >> 1 + 2 ))'
+ atf_check -s exit:0 -o inline:'3\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 + 3 >> 2 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 19 >> 3 >> 1 ))'
+
+ atf_check -s exit:0 -o inline:'4\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 19 >> 3 << 1 ))'
+ atf_check -s exit:0 -o inline:'76\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 19 << 3 >> 1 ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 + 3 < 3 * 2 ))'
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 << 3 >= 3 << 2 ))'
+
+ # sh inherits C's crazy operator precedence...
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 0xfD & 0xF == 0xF ))'
+}
+
+parentheses_head()
+{
+ atf_set "descr" "Test use of () to group sub-expressions"
+}
+parentheses_body()
+{
+ atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \
+ 'echo $(( (1 + 2) + 3 ))'
+ atf_check -s exit:0 -o inline:'-4\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 1 - (2 + 3) ))'
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 - (2 - 1) ))'
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 - ( 2 + 1 ) ))'
+
+ atf_check -s exit:0 -o inline:'-3\n' -e empty ${TEST_SH} -c \
+ 'echo $(( - (2 + 1) ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ! (2 + 1) ))'
+
+ atf_check -s exit:0 -o inline:'12\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 * (2 + 2) ))'
+ atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \
+ 'echo $(( (3 + 2) * 2 ))'
+ atf_check -s exit:0 -o inline:'12\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 3 * (2 * 2) ))'
+
+ atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 / (3 + 2) ))'
+ atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ( 9 + 3 ) / 2 ))'
+ atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 / ( 3 / 2 ) ))'
+
+ atf_check -s exit:0 -o inline:'20\n' -e empty ${TEST_SH} -c \
+ 'echo $(( ( 9 << 1 ) + 2 ))'
+ atf_check -s exit:0 -o inline:'21\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 + (3 << 2) ))'
+ atf_check -s exit:0 -o inline:'36864\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 << (3 << 2) ))'
+
+ atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \
+ 'echo $(( (9 >> 1) + 2 ))'
+ atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 9 + (3 >> 2) ))'
+ atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 19 >> (3 >> 1) ))'
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 19 >> (3 << 1) ))'
+ atf_check -s exit:0 -o inline:'38\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 19 << (3 >> 1) ))'
+
+ atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 + (3 < 3) * 2 ))'
+ atf_check -s exit:0 -o inline:'32\n' -e empty ${TEST_SH} -c \
+ 'echo $(( 2 << ((3 >= 3) << 2) ))'
+
+ # sh inherits C's crazy operator precedence...
+
+ atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \
+ 'echo $(( (0xfD & 0xF) == 0xF ))'
+}
+
+atf_test_case arithmetic_fails
+arithmetic_fails_head()
+{
+ atf_set "descr" "Dummy test to force failure"
+}
+arithmetic_fails_body()
+{
+ atf_fail "Cannot estimate number of bits supported by $(( ))"
+}
+
+atf_init_test_cases() {
+
+ discover_range
+
+ test "${ARITH_BITS}" = '?' && {
+ atf_add_test_case arithmetic_fails
+ return 0
+ }
+
+ # odd names are to get atf's sort order semi-rational
+
+ atf_add_test_case constants
+ atf_add_test_case constants_binary
+ atf_add_test_case do_unary_plus
+ atf_add_test_case do_unary_minus
+ atf_add_test_case do_unary_not
+ atf_add_test_case do_unary_tilde
+ atf_add_test_case elementary_add
+ atf_add_test_case elementary_sub
+ atf_add_test_case elementary_mul
+ atf_add_test_case elementary_div
+ atf_add_test_case elementary_rem
+ atf_add_test_case elementary_shl
+ atf_add_test_case elementary_shr
+ atf_add_test_case elementary_eq
+ atf_add_test_case elementary_ne
+ atf_add_test_case elementary_lt
+ atf_add_test_case elementary_le
+ atf_add_test_case elementary_gt
+ atf_add_test_case elementary_ge
+ atf_add_test_case fiddle_bits_and
+ atf_add_test_case fiddle_bits_or
+ atf_add_test_case fiddle_bits_xor
+ atf_add_test_case logical_and
+ atf_add_test_case logical_or
+ atf_add_test_case make_selection
+ atf_add_test_case operator_precedence
+ atf_add_test_case parentheses
+ # atf_add_test_case progressive # build up big expr
+ # atf_add_test_case test_errors # erroneous input
+ # atf_add_test_case torture # hard stuff (if there is any)
+ # atf_add_test_case var_assign # assignment ops
+ # atf_add_test_case vulgarity # truly evil inputs (syntax in vars...)
+}
Index: src/tests/bin/sh/t_varval.sh
diff -u /dev/null src/tests/bin/sh/t_varval.sh:1.1
--- /dev/null Wed Mar 16 11:49:20 2016
+++ src/tests/bin/sh/t_varval.sh Wed Mar 16 11:49:19 2016
@@ -0,0 +1,251 @@
+# $NetBSD: t_varval.sh,v 1.1 2016/03/16 15:49:19 christos Exp $
+#
+# Copyright (c) 2016 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.
+#
+# the implementation of "sh" to test
+: ${TEST_SH:="/bin/sh"}
+
+# Test all kinds of weird values in various ways to use shell $... expansions
+
+oneline()
+{
+ q="'"
+ test $# -eq 4 && q=""
+
+ v=$( printf '\\%3.3o' $(( $2 & 0xFF )) )
+ printf "%s" "$1"
+ if [ $2 != 39 ]; then
+ printf "%sprefix${v}suffix%s" "$q" "$q"
+ elif [ $# -ne 4 ]; then
+ printf %s prefix\"\'\"suffix
+ else
+ printf %s prefix\'suffix
+ fi
+ printf "%s\n" "$3"
+}
+
+mkdata() {
+ quote= pfx=
+ while [ $# -gt 0 ]
+ do
+ case "$1" in
+ --) shift; break;;
+ -q) quote=no; shift; continue;;
+ esac
+
+ pfx="${pfx}${pfx:+ }${1}"
+ shift
+ done
+
+ sfx=
+ while [ $# -gt 0 ]
+ do
+ sfx="${sfx}${sfx:+ }${1}"
+ shift
+ done
+
+ i=1 # '\0' is not expected to work, anywhere...
+ while [ $i -lt 256 ]
+ do
+ oneline "${pfx}" "$i" "${sfx}" $quote
+ i=$(( $i + 1 ))
+ done
+}
+
+atf_test_case aaa
+aaa_head() {
+ atf_set "descr" "Check that this test has a hope of working. " \
+ "Just give up on these tests if the aaa test fails".
+}
+aaa_body() {
+ oneline "echo " 9 '' |
+ atf_check -s exit:0 -o inline:'prefix\tsuffix\n' -e empty \
+ ${TEST_SH}
+
+ oneline "VAR=" 65 '; echo "${#VAR}:${VAR}"' |
+ atf_check -s exit:0 -o inline:'13:prefixAsuffix\n' -e empty \
+ ${TEST_SH}
+
+ oneline "VAR=" 1 '; echo "${#VAR}:${VAR}"' |
+ atf_check -s exit:0 -o inline:'13:prefixsuffix\n' -e empty \
+ ${TEST_SH}
+
+ oneline "VAR=" 10 '; echo "${#VAR}:${VAR}"' |
+ atf_check -s exit:0 -o inline:'13:prefix\nsuffix\n' -e empty \
+ ${TEST_SH}
+
+ rm -f prefix* 2>/dev/null || :
+ oneline "echo hello >" 45 "" |
+ atf_check -s exit:0 -o empty -e empty ${TEST_SH}
+ test -f "prefix-suffix" ||
+ atf_fail "failed to create prefix-suffix (45)"
+ test -s "prefix-suffix" ||
+ atf_fail "no data in prefix-suffix (45)"
+ test "$(cat prefix-suffix)" = "hello" ||
+ atf_fail "incorrect data in prefix-suffix (45)"
+
+ return 0
+}
+
+atf_test_case assignment
+assignment_head() {
+ atf_set "descr" "Check that all chars can be assigned to vars"
+}
+assignment_body() {
+ atf_require_prog grep
+ atf_require_prog rm
+
+ rm -f results || :
+ mkdata "VAR=" -- '; echo ${#VAR}' |
+ atf_check -s exit:0 -o save:results -e empty ${TEST_SH}
+ test -z $( grep -v "^13$" results ) ||
+ atf_fail "Incorrect lengths: $(grep -nv '^13$' results)"
+
+ return 0
+}
+
+atf_test_case cmdline
+cmdline_head() {
+ atf_set "descr" "Check vars containing all chars can be used"
+}
+cmdline_body() {
+ atf_require_prog rm
+ atf_require_prog wc
+
+ rm -f results || :
+ mkdata "VAR=" -- '; echo "${VAR}"' |
+ atf_check -s exit:0 -o save:results -e empty ${TEST_SH}
+
+ # 256 because one output line contains a \n ...
+ test $( wc -l < results ) -eq 256 ||
+ atf_fail "incorrect line count in results"
+ test $(wc -c < results) -eq $(( 255 * 14 )) ||
+ atf_fail "incorrect character count in results"
+
+ return 0
+}
+
+atf_test_case redirect
+redirect_head() {
+ atf_set "descr" "Check vars containing all chars can be used"
+}
+redirect_body() {
+ atf_require_prog ls
+ atf_require_prog wc
+ atf_require_prog rm
+ atf_require_prog mkdir
+ atf_require_prog rmdir
+
+ nl='
+'
+
+ rm -f prefix* suffix || :
+
+ mkdir prefix # one of the files will be prefix/suffix
+ mkdata "VAR=" -- '; echo "${VAR}" > "${VAR}"' |
+ atf_check -s exit:0 -o empty -e empty ${TEST_SH}
+
+ test -f "prefix/suffix" ||
+ atf_fail "Failed to create file in subdirectory"
+ test $( wc -l < "prefix/suffix" ) -eq 1 ||
+ atf_fail "Not exactly one line in prefix/suffix file"
+
+ atf_check -s exit:0 -o empty -e empty rm "prefix/suffix"
+ atf_check -s exit:0 -o empty -e empty rmdir "prefix"
+
+ test -f "prefix${nl}suffix" ||
+ atf_fail "Failed to create file with newline in its name"
+ test $( wc -l < "prefix${nl}suffix" ) -eq 2 ||
+ atf_fail "NewLine file did not contain embedded newline"
+
+ atf_check -s exit:0 -o empty -e empty rm "prefix${nl}suffix"
+
+ # Now there should be 253 files left...
+ test $( ls | wc -l ) -eq 253 ||
+ atf_fail \
+ "Did not create all expected files: wanted: 253, found ($( ls | wc -l ))"
+
+ # and each of them should have a name that is 13 chars long (+ \n)
+ test $( ls | wc -c ) -eq $(( 253 * 14 )) ||
+ atf_fail "File names do not appear to be as expected"
+
+ return 0
+}
+
+atf_test_case read
+read_head() {
+ atf_set "descr" "Check vars containing all chars can be used"
+}
+read_body() {
+ atf_require_prog ls
+ atf_require_prog wc
+ atf_require_prog rm
+ atf_require_prog mkdir
+ atf_require_prog rmdir
+
+ nl='
+'
+
+ rm -f prefix* suffix || :
+
+ mkdir prefix # one of the files will be prefix/suffix
+ mkdata -q |
+ atf_check -s exit:0 -o empty -e empty ${TEST_SH} -c '
+ while read -r VAR
+ do
+ # skip the mess made by embedded newline
+ case "${VAR}" in
+ (prefix | suffix) continue;;
+ esac
+ echo "${VAR}" > "${VAR}"
+ done'
+
+ test -f "prefix/suffix" ||
+ atf_fail "Failed to create file in subdirectory"
+ test $( wc -l < "prefix/suffix" ) -eq 1 ||
+ atf_fail "Not exactly one line in prefix/suffix file"
+
+ atf_check -s exit:0 -o empty -e empty rm "prefix/suffix"
+ atf_check -s exit:0 -o empty -e empty rmdir "prefix"
+
+ # Now there should be 253 files left...
+ test $( ls | wc -l ) -eq 253 ||
+ atf_fail \
+ "Did not create all expected files: wanted: 253, found ($( ls | wc -l ))"
+
+ # and each of them should have a name that is 13 chars long (+ \n)
+ test $( ls | wc -c ) -eq $(( 253 * 14 )) ||
+ atf_fail "File names do not appear to be as expected"
+
+ return 0
+}
+
+atf_init_test_cases() {
+ atf_add_test_case aaa
+ atf_add_test_case assignment
+ atf_add_test_case cmdline
+ atf_add_test_case redirect
+ atf_add_test_case read
+}
