···193193194194addFlags() {
195195 local n flag before after var
196196+197197+ # Disable file globbing, since bash will otherwise try to find
198198+ # filenames matching the the value to be prefixed/suffixed if
199199+ # it contains characters considered wildcards, such as `?` and
200200+ # `*`. We want the value as is, except we also want to split
201201+ # it on on the separator; hence we can't quote it.
202202+ local reenableGlob=0
203203+ if [[ ! -o noglob ]]; then
204204+ reenableGlob=1
205205+ fi
206206+ set -o noglob
196207 # shellcheck disable=SC2086
197208 before=($1) after=($2)
209209+ if (( reenableGlob )); then
210210+ set +o noglob
211211+ fi
212212+198213 var="argv_tmp"
199214 printf '%s\n' "char **$var = calloc(${#before[@]} + argc + ${#after[@]} + 1, sizeof(*$var));"
200215 printf '%s\n' "assert($var != NULL);"