1 # $NetBSD: t_fsplit.sh,v 1.4 2016/03/27 14:50:01 christos Exp $
3 # Copyright (c) 2007-2016 The NetBSD Foundation, Inc.
6 # Redistribution and use in source and binary forms, with or without
7 # modification, are permitted provided that the following conditions
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.
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.
29 # http://www.opengroup.org/onlinepubs/009695399/utilities/xcu_chap02.html
30 # explains (section 2.6) that Field splitting should be performed on the
31 # result of variable expansions.
32 # In particular this means that in ${x-word}, 'word' must be expanded as if
33 # the "${x-" and "}" were absent from the input line.
35 # So: sh -c 'set ${x-a b c}; echo $#' should give 3.
36 # and: sh -c 'set -- ${x-}' echo $#' shold give 0
39 # the implementation of "sh" to test
40 : ${TEST_SH:="/bin/sh"}
51 (*) atf_fail "Internal test error, $# args to check test ${TEST}";;
54 result=$( ${TEST_SH} -c "unset x; $1" )
60 result="$(echo $result)"
63 # trim the test text in case we use it in a message below
66 set -- "$(expr "$1" : '\(............\).*')..." "$2" ;;
69 if [ "$2" != "$result" ]
71 if [ "${STATUS}" = "0" ]
73 atf_fail "Test ${TEST} '$1': expected [$2], found [$result]"
76 "TEST ${TEST} '$1' failed ($STATUS): expected [$2], found [$result]"
78 elif [ "${STATUS}" != 0 ]
80 atf_fail "TEST ${TEST} '$1' failed ($STATUS)"
86 atf_set "descr" "Checks field splitting in for loops"
92 # Since I managed to break this, leave the test in
93 check 'for f in $x; do echo x${f}y; done' ''
96 atf_test_case default_val
98 atf_set "descr" "Checks field splitting in variable default values"
102 # Check that IFS is applied to text from ${x-...} unless it is inside
104 check 'set -- ${x-a b c}; echo $#' 3
106 check 'set -- ${x-"a b" c}; echo $#' 2
107 check 'set -- ${x-a "b c"}; echo $#' 2
108 check 'set -- ${x-"a b c"}; echo $#' 1
110 check "set -- \${x-'a b' c}; echo \$#" 2
111 check "set -- \${x-a 'b c'}; echo \$#" 2
112 check "set -- \${x-'a b c'}; echo \$#" 1
114 check 'set -- ${x-a\ b c}; echo $#' 2
115 check 'set -- ${x-a b\ c}; echo $#' 2
116 check 'set -- ${x-a\ b\ c}; echo $#' 1
118 check 'set -- ${x}; echo $#' 0
119 check 'set -- ${x-}; echo $#' 0
120 check 'set -- ${x-""}; echo $#' 1
121 check 'set -- ""${x}; echo $#' 1
122 check 'set -- ""${x-}; echo $#' 1
123 check 'set -- ""${x-""}; echo $#' 1
124 check 'set -- ${x}""; echo $#' 1
125 check 'set -- ${x-}""; echo $#' 1
126 check 'set -- ${x-""}""; echo $#' 1
127 check 'set -- ""${x}""; echo $#' 1
128 check 'set -- ""${x-}""; echo $#' 1
129 check 'set -- ""${x-""}""; echo $#' 1
131 check 'for i in ${x-a b c}; do echo "z${i}z"; done' \
133 check 'for i in ${x-"a b" c}; do echo "z${i}z"; done' \
135 check 'for i in ${x-"a ${x-b c}" d}; do echo "z${i}z"; done' \
137 check 'for i in ${x-a ${x-b c} d}; do echo "z${i}z"; done' \
140 # I am not sure these two are correct, the rules on quoting word
141 # in ${var-word} are peculiar, and hard to fathom...
142 # They are what the NetBSD shell does, and bash, not the freebsd shell
143 # (as of Mar 1, 2016)
145 check 'for i in ${x-"a ${x-"b c"}" d}; do echo "z${i}z"; done' \
147 check 'for i in ${x-a ${x-"b c"} d}; do echo "z${i}z"; done' \
151 atf_test_case replacement_val
152 replacement_val_head() {
153 atf_set "descr" "Checks field splitting in variable replacement values"
155 replacement_val_body() {
158 # Check that IFS is applied to text from ${x+...} unless it is inside
159 # any set of "...", or whole expansion is quoted, or both...
161 check 'x=BOGUS; set -- ${x+a b c}; echo $#' 3
163 check 'x=BOGUS; set -- ${x+"a b" c}; echo $#' 2
164 check 'x=BOGUS; set -- ${x+a "b c"}; echo $#' 2
165 check 'x=BOGUS; set -- ${x+"a b c"}; echo $#' 1
167 check "x=BOGUS; set -- \${x+'a b' c}; echo \$#" 2
168 check "x=BOGUS; set -- \${x+a 'b c'}; echo \$#" 2
169 check "x=BOGUS; set -- \${x+'a b c'}; echo \$#" 1
171 check 'x=BOGUS; set -- ${x+a\ b c}; echo $#' 2
172 check 'x=BOGUS; set -- ${x+a b\ c}; echo $#' 2
173 check 'x=BOGUS; set -- ${x+a\ b\ c}; echo $#' 1
175 check 'x=BOGUS; set -- ${x+}; echo $#' 0
176 check 'x=BOGUS; set -- ${x+""}; echo $#' 1
177 check 'x=BOGUS; set -- ""${x+}; echo $#' 1
178 check 'x=BOGUS; set -- ""${x+""}; echo $#' 1
179 check 'x=BOGUS; set -- ${x+}""; echo $#' 1
180 check 'x=BOGUS; set -- ${x+""}""; echo $#' 1
181 check 'x=BOGUS; set -- ""${x+}""; echo $#' 1
182 check 'x=BOGUS; set -- ""${x+""}""; echo $#' 1
184 # verify that the value of $x does not affecty the value of ${x+...}
185 check 'x=BOGUS; set -- ${x+}; echo X$1' X
186 check 'x=BOGUS; set -- ${x+""}; echo X$1' X
187 check 'x=BOGUS; set -- ""${x+}; echo X$1' X
188 check 'x=BOGUS; set -- ""${x+""}; echo X$1' X
189 check 'x=BOGUS; set -- ${x+}""; echo X$1' X
190 check 'x=BOGUS; set -- ${x+""}""; echo X$1' X
191 check 'x=BOGUS; set -- ""${x+}""; echo X$1' X
192 check 'x=BOGUS; set -- ""${x+""}""; echo X$1' X
194 check 'x=BOGUS; set -- ${x+}; echo X${1-:}X' X:X
195 check 'x=BOGUS; set -- ${x+""}; echo X${1-:}X' XX
196 check 'x=BOGUS; set -- ""${x+}; echo X${1-:}X' XX
197 check 'x=BOGUS; set -- ""${x+""}; echo X${1-:}X' XX
198 check 'x=BOGUS; set -- ${x+}""; echo X${1-:}X' XX
199 check 'x=BOGUS; set -- ${x+""}""; echo X${1-:}X' XX
200 check 'x=BOGUS; set -- ""${x+}""; echo X${1-:}X' XX
201 check 'x=BOGUS; set -- ""${x+""}""; echo X${1-:}X' XX
203 # and validate that the replacement can be used as expected
204 check 'x=BOGUS; for i in ${x+a b c}; do echo "z${i}z"; done'\
206 check 'x=BOGUS; for i in ${x+"a b" c}; do echo "z${i}z"; done'\
208 check 'x=BOGUS; for i in ${x+"a ${x+b c}" d}; do echo "z${i}z"; done'\
210 check 'x=BOGUS; for i in ${x+"a ${x+"b c"}" d}; do echo "z${i}z"; done'\
212 check 'x=BOGUS; for i in ${x+a ${x+"b c"} d}; do echo "z${i}z"; done'\
214 check 'x=BOGUS; for i in ${x+a ${x+b c} d}; do echo "z${i}z"; done'\
218 atf_test_case ifs_alpha
220 atf_set "descr" "Checks that field splitting works with alphabetic" \
227 # repeat with an alphabetic in IFS
228 check 'IFS=q; set ${x-aqbqc}; echo $#' 3
229 check 'IFS=q; for i in ${x-aqbqc}; do echo "z${i}z"; done' \
231 check 'IFS=q; for i in ${x-"aqb"qc}; do echo "z${i}z"; done' \
233 check 'IFS=q; for i in ${x-"aq${x-bqc}"qd}; do echo "z${i}z"; done' \
235 check 'IFS=q; for i in ${x-"aq${x-"bqc"}"qd}; do echo "z${i}z"; done' \
237 check 'IFS=q; for i in ${x-aq${x-"bqc"}qd}; do echo "z${i}z"; done' \
243 atf_set "descr" "Checks that field splitting works with multi-word" \
250 # Some quote propagation checks
251 check 'set "${x-a b c}"; echo $#' 1
252 check 'set "${x-"a b" c}"; echo $1' 'a b c'
253 check 'for i in "${x-a b c}"; do echo "z${i}z"; done' 'za b cz'
256 atf_test_case dollar_at
258 atf_set "descr" "Checks that field splitting works when expanding" \
265 # Check we get "$@" right
267 check 'set --; for i in x"$@"x; do echo "z${i}z"; done' 'zxxz'
268 check 'set a; for i in x"$@"x; do echo "z${i}z"; done' 'zxaxz'
269 check 'set a b; for i in x"$@"x; do echo "z${i}z"; done' 'zxaz zbxz'
271 check 'set --; for i; do echo "z${i}z"; done' ''
272 check 'set --; for i in $@; do echo "z${i}z"; done' ''
273 check 'set --; for i in "$@"; do echo "z${i}z"; done' ''
274 # atf_expect_fail "PR bin/50834"
275 check 'set --; for i in ""$@; do echo "z${i}z"; done' 'zz'
277 check 'set --; for i in $@""; do echo "z${i}z"; done' 'zz'
278 check 'set --; for i in ""$@""; do echo "z${i}z"; done' 'zz'
279 check 'set --; for i in """$@"; do echo "z${i}z"; done' 'zz'
280 check 'set --; for i in "$@"""; do echo "z${i}z"; done' 'zz'
281 check 'set --; for i in """$@""";do echo "z${i}z"; done' 'zz'
283 check 'set ""; for i; do echo "z${i}z"; done' 'zz'
284 check 'set ""; for i in "$@"; do echo "z${i}z"; done' 'zz'
285 check 'set "" ""; for i; do echo "z${i}z"; done' 'zz zz'
286 check 'set "" ""; for i in "$@"; do echo "z${i}z"; done' 'zz zz'
287 check 'set "" ""; for i in $@; do echo "z${i}z"; done' ''
289 check 'set "a b" c; for i; do echo "z${i}z"; done' \
291 check 'set "a b" c; for i in "$@"; do echo "z${i}z"; done' \
293 check 'set "a b" c; for i in $@; do echo "z${i}z"; done' \
295 check 'set " a b " c; for i in "$@"; do echo "z${i}z"; done' \
298 check 'set a b c; for i in "$@$@"; do echo "z${i}z"; done' \
299 'zaz zbz zcaz zbz zcz'
300 check 'set a b c; for i in "$@""$@";do echo "z${i}z"; done' \
301 'zaz zbz zcaz zbz zcz'
306 atf_set "descr" "Checks that IFS correctly configures field" \
314 check 't="-- "; IFS=" "; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '0'
315 check 't=" x"; IFS=" x"; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '1'
316 check 't=" x "; IFS=" x"; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '1'
317 check 't=axb; IFS="x"; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '2 a:b'
318 check 't="a x b"; IFS="x"; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '2 a : b'
319 check 't="a xx b"; IFS="x"; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '3 a :: b'
320 check 't="a xx b"; IFS="x "; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '3 a::b'
321 # A recent 'clarification' means that a single trailing IFS non-whitespace
322 # doesn't generate an empty parameter
323 check 't="xax"; IFS="x"; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '2 :a'
324 check 't="xax "; IFS="x "; set $t; IFS=":"; r="$*"; IFS=; echo $# $r' '2 :a'
325 # Verify that IFS isn't being applied where it shouldn't be.
326 check 'IFS="x"; set axb; IFS=":"; r="$*"; IFS=; echo $# $r' '1 axb'
329 atf_test_case var_length
331 atf_set "descr" "Checks that field splitting works when expanding" \
332 "a variable's length"
337 long=12345678123456781234567812345678
338 long=$long$long$long$long
341 # first test that the test method works...
342 check 'set -u; : ${long}; echo ${#long}' '128'
344 # Check that we apply IFS to ${#var}
345 check 'echo ${#long}; IFS=2; echo ${#long}; set 1 ${#long};echo $#' \
347 check 'IFS=2; set ${x-${#long}}; IFS=" "; echo $* $#' '1 8 2'
348 check 'IFS=2; set ${x-"${#long}"}; IFS=" "; echo $* $#' '128 1'
351 atf_init_test_cases() {
352 atf_add_test_case for
353 atf_add_test_case default_val
354 atf_add_test_case replacement_val
355 atf_add_test_case ifs_alpha
356 atf_add_test_case quote
357 atf_add_test_case dollar_at
358 atf_add_test_case ifs
359 atf_add_test_case var_length