contrib/netbsd-tests/bin/sh/t_fsplit.sh

   1 # $NetBSD: t_fsplit.sh,v 1.4 2016/03/27 14:50:01 christos Exp $
   2 #
   3 # Copyright (c) 2007-2016 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 # The standard
  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.
  34 #
  35 # So: sh -c 'set ${x-a b c}; echo $#' should give 3.
  36 # and: sh -c 'set -- ${x-}' echo $#' shold give 0
  37 #
  38
  39 # the implementation of "sh" to test
  40 : ${TEST_SH:="/bin/sh"}
  41
  42 nl='
  43 '
  44
  45 check()
  46 {
  47         TEST=$((${TEST} + 1))
  48
  49         case "$#" in
  50         (2)     ;;
  51         (*)     atf_fail "Internal test error, $# args to check test ${TEST}";;
  52         esac
  53
  54         result=$( ${TEST_SH} -c "unset x; $1" )
  55         STATUS="$?"
  56
  57         # Remove newlines
  58         oifs="$IFS"
  59         IFS="$nl"
  60         result="$(echo $result)"
  61         IFS="$oifs"
  62
  63         # trim the test text in case we use it in a message below
  64         case "$1" in
  65         ????????????????*)
  66                 set -- "$(expr "$1" : '\(............\).*')..." "$2" ;;
  67         esac
  68
  69         if [ "$2" != "$result" ]
  70         then
  71                 if [ "${STATUS}" = "0" ]
  72                 then
  73                   atf_fail "Test ${TEST} '$1': expected [$2], found [$result]"
  74                 else
  75                   atf_fail \
  76           "TEST ${TEST} '$1' failed ($STATUS): expected [$2], found [$result]"
  77                 fi
  78         elif [ "${STATUS}" != 0 ]
  79         then
  80                   atf_fail "TEST ${TEST} '$1' failed ($STATUS)"
  81         fi
  82 }
  83
  84 atf_test_case for
  85 for_head() {
  86         atf_set "descr" "Checks field splitting in for loops"
  87 }
  88 for_body() {
  89         unset x
  90
  91         TEST=0
  92         # Since I managed to break this, leave the test in
  93         check 'for f in $x; do echo x${f}y; done' ''
  94 }
  95
  96 atf_test_case default_val
  97 default_val_head() {
  98         atf_set "descr" "Checks field splitting in variable default values"
  99 }
 100 default_val_body() {
 101         TEST=0
 102         # Check that IFS is applied to text from ${x-...} unless it is inside
 103         # any set of "..."
 104         check 'set -- ${x-a b c};   echo $#'   3
 105
 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
 109
 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
 113
 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
 117
 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
 130
 131         check 'for i in ${x-a b c};            do echo "z${i}z"; done' \
 132                 'zaz zbz zcz'
 133         check 'for i in ${x-"a b" c};          do echo "z${i}z"; done' \
 134                 'za bz zcz'
 135         check 'for i in ${x-"a ${x-b c}" d};   do echo "z${i}z"; done' \
 136                 'za b cz zdz'
 137         check 'for i in ${x-a ${x-b c} d};     do echo "z${i}z"; done' \
 138                 'zaz zbz zcz zdz'
 139
 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)
 144
 145         check 'for i in ${x-"a ${x-"b c"}" d}; do echo "z${i}z"; done' \
 146                 'za b cz zdz'
 147         check 'for i in ${x-a ${x-"b c"} d};   do echo "z${i}z"; done' \
 148                 'zaz zb cz zdz'
 149 }
 150
 151 atf_test_case replacement_val
 152 replacement_val_head() {
 153         atf_set "descr" "Checks field splitting in variable replacement values"
 154 }
 155 replacement_val_body() {
 156         TEST=0
 157
 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...
 160
 161         check 'x=BOGUS; set -- ${x+a b c};   echo $#'   3
 162
 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
 166
 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
 170
 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
 174
 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
 183
 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
 193
 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
 202
 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'\
 205                 'zaz zbz zcz'
 206         check 'x=BOGUS; for i in ${x+"a b" c};          do echo "z${i}z"; done'\
 207                 'za bz zcz'
 208         check 'x=BOGUS; for i in ${x+"a ${x+b c}" d};   do echo "z${i}z"; done'\
 209                 'za b cz zdz'
 210         check 'x=BOGUS; for i in ${x+"a ${x+"b c"}" d}; do echo "z${i}z"; done'\
 211                 'za b cz zdz'
 212         check 'x=BOGUS; for i in ${x+a ${x+"b c"} d};   do echo "z${i}z"; done'\
 213                 'zaz zb cz zdz'
 214         check 'x=BOGUS; for i in ${x+a ${x+b c} d};     do echo "z${i}z"; done'\
 215                 'zaz zbz zcz zdz'
 216 }
 217
 218 atf_test_case ifs_alpha
 219 ifs_alpha_head() {
 220         atf_set "descr" "Checks that field splitting works with alphabetic" \
 221                         "characters"
 222 }
 223 ifs_alpha_body() {
 224         unset x
 225
 226         TEST=0
 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' \
 230                 'zaz zbz zcz'
 231         check 'IFS=q; for i in ${x-"aqb"qc};          do echo "z${i}z"; done' \
 232                 'zaqbz zcz'
 233         check 'IFS=q; for i in ${x-"aq${x-bqc}"qd};   do echo "z${i}z"; done' \
 234                 'zaqbqcz zdz'
 235         check 'IFS=q; for i in ${x-"aq${x-"bqc"}"qd}; do echo "z${i}z"; done' \
 236                 'zaqbqcz zdz'
 237         check 'IFS=q; for i in ${x-aq${x-"bqc"}qd};  do echo "z${i}z"; done' \
 238                 'zaz zbqcz zdz'
 239 }
 240
 241 atf_test_case quote
 242 quote_head() {
 243         atf_set "descr" "Checks that field splitting works with multi-word" \
 244                         "fields"
 245 }
 246 quote_body() {
 247         unset x
 248
 249         TEST=0
 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'
 254 }
 255
 256 atf_test_case dollar_at
 257 dollar_at_head() {
 258         atf_set "descr" "Checks that field splitting works when expanding" \
 259                         "\$@"
 260 }
 261 dollar_at_body() {
 262         unset x
 263
 264         TEST=0
 265         # Check we get "$@" right
 266
 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'
 270
 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'
 276         # atf_expect_pass
 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'
 282
 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' ''
 288
 289         check 'set "a b" c;   for i;            do echo "z${i}z"; done' \
 290                 'za bz zcz'
 291         check 'set "a b" c;   for i in "$@";    do echo "z${i}z"; done' \
 292                 'za bz zcz'
 293         check 'set "a b" c;   for i in $@;      do echo "z${i}z"; done' \
 294                 'zaz zbz zcz'
 295         check 'set " a b " c; for i in "$@";    do echo "z${i}z"; done' \
 296                 'z a b z zcz'
 297
 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'
 302 }
 303
 304 atf_test_case ifs
 305 ifs_head() {
 306         atf_set "descr" "Checks that IFS correctly configures field" \
 307                         "splitting behavior"
 308 }
 309 ifs_body() {
 310         unset x
 311
 312         TEST=0
 313         # Some IFS tests
 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'
 327 }
 328
 329 atf_test_case var_length
 330 var_length_head() {
 331         atf_set "descr" "Checks that field splitting works when expanding" \
 332                         "a variable's length"
 333 }
 334 var_length_body() {
 335         TEST=0
 336
 337         long=12345678123456781234567812345678
 338         long=$long$long$long$long
 339         export long
 340
 341         # first test that the test method works...
 342         check 'set -u; : ${long}; echo ${#long}' '128'
 343
 344         # Check that we apply IFS to ${#var}
 345         check 'echo ${#long}; IFS=2; echo ${#long}; set 1 ${#long};echo $#' \
 346                 '128 1 8 3'
 347         check 'IFS=2; set ${x-${#long}};   IFS=" "; echo $* $#'   '1 8 2'
 348         check 'IFS=2; set ${x-"${#long}"}; IFS=" "; echo $* $#'   '128 1'
 349 }
 350
 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
 360 }