moderrs.mk revision 1.17 1 1.17 rillig # $NetBSD: moderrs.mk,v 1.17 2020/10/24 08:50:17 rillig Exp $
2 1.1 apb #
3 1.1 apb # various modifier error tests
4 1.1 apb
5 1.17 rillig VAR= TheVariable
6 1.1 apb # incase we have to change it ;-)
7 1.17 rillig MOD_UNKN= Z
8 1.17 rillig MOD_TERM= S,V,v
9 1.17 rillig MOD_S:= ${MOD_TERM},
10 1.1 apb
11 1.7 rillig FIB= 1 1 2 3 5 8 13 21 34
12 1.7 rillig
13 1.2 rillig all: modunkn modunknV varterm vartermV modtermV modloop
14 1.5 rillig all: modloop-close
15 1.3 rillig all: modwords
16 1.4 rillig all: modexclam
17 1.6 rillig all: mod-subst-delimiter
18 1.7 rillig all: mod-regex-delimiter
19 1.13 rillig all: mod-regex-undefined-subexpression
20 1.7 rillig all: mod-ts-parse
21 1.7 rillig all: mod-t-parse
22 1.7 rillig all: mod-ifelse-parse
23 1.7 rillig all: mod-remember-parse
24 1.7 rillig all: mod-sysv-parse
25 1.1 apb
26 1.1 apb modunkn:
27 1.1 apb @echo "Expect: Unknown modifier 'Z'"
28 1.1 apb @echo "VAR:Z=${VAR:Z}"
29 1.1 apb
30 1.1 apb modunknV:
31 1.1 apb @echo "Expect: Unknown modifier 'Z'"
32 1.1 apb @echo "VAR:${MOD_UNKN}=${VAR:${MOD_UNKN}}"
33 1.1 apb
34 1.1 apb varterm:
35 1.1 apb @echo "Expect: Unclosed variable specification for VAR"
36 1.1 apb @echo VAR:S,V,v,=${VAR:S,V,v,
37 1.1 apb
38 1.1 apb vartermV:
39 1.1 apb @echo "Expect: Unclosed variable specification for VAR"
40 1.1 apb @echo VAR:${MOD_TERM},=${VAR:${MOD_S}
41 1.1 apb
42 1.1 apb modtermV:
43 1.12 rillig @echo "Expect: Unfinished modifier for VAR (',' missing)"
44 1.1 apb -@echo "VAR:${MOD_TERM}=${VAR:${MOD_TERM}}"
45 1.2 rillig
46 1.2 rillig modloop:
47 1.3 rillig @echo "Expect: 2 errors about missing @ delimiter"
48 1.2 rillig @echo ${UNDEF:U1 2 3:@var}
49 1.2 rillig @echo ${UNDEF:U1 2 3:@var (a] ...}
50 1.2 rillig @echo ${UNDEF:U1 2 3:@var@${var}@}
51 1.3 rillig
52 1.5 rillig # The closing brace after the ${var} is part of the replacement string.
53 1.5 rillig # In ParseModifierPart, braces and parentheses don't have to be balanced.
54 1.5 rillig # This is contrary to the :M, :N modifiers, where both parentheses and
55 1.5 rillig # braces must be balanced.
56 1.5 rillig # This is also contrary to the SysV modifier, where only the actually
57 1.5 rillig # used delimiter (either braces or parentheses) must be balanced.
58 1.5 rillig modloop-close:
59 1.5 rillig @echo $@:
60 1.5 rillig @echo ${UNDEF:U1 2 3:@var@${var}}...@
61 1.5 rillig @echo ${UNDEF:U1 2 3:@var@${var}}...@}
62 1.5 rillig
63 1.3 rillig modwords:
64 1.3 rillig @echo "Expect: 2 errors about missing ] delimiter"
65 1.3 rillig @echo ${UNDEF:U1 2 3:[}
66 1.3 rillig @echo ${UNDEF:U1 2 3:[#}
67 1.3 rillig
68 1.3 rillig # out of bounds => empty
69 1.3 rillig @echo 13=${UNDEF:U1 2 3:[13]}
70 1.3 rillig
71 1.3 rillig # Word index out of bounds.
72 1.3 rillig #
73 1.3 rillig # On LP64I32, strtol returns LONG_MAX,
74 1.3 rillig # which is then truncated to int (undefined behavior),
75 1.3 rillig # typically resulting in -1.
76 1.3 rillig # This -1 is interpreted as "the last word".
77 1.3 rillig #
78 1.3 rillig # On ILP32, strtol returns LONG_MAX,
79 1.3 rillig # which is a large number.
80 1.3 rillig # This results in a range from LONG_MAX - 1 to 3,
81 1.3 rillig # which is empty.
82 1.3 rillig @echo 12345=${UNDEF:U1 2 3:[123451234512345123451234512345]:S,^$,ok,:S,^3$,ok,}
83 1.4 rillig
84 1.4 rillig modexclam:
85 1.4 rillig @echo "Expect: 2 errors about missing ! delimiter"
86 1.4 rillig @echo ${VARNAME:!echo}
87 1.4 rillig # When the final exclamation mark is missing, there is no
88 1.4 rillig # fallback to the SysV substitution modifier.
89 1.4 rillig # If there were a fallback, the output would be "exclam",
90 1.4 rillig # and the above would have produced an "Unknown modifier '!'".
91 1.4 rillig @echo ${!:L:!=exclam}
92 1.6 rillig
93 1.6 rillig mod-subst-delimiter:
94 1.6 rillig @echo $@:
95 1.6 rillig @echo ${VAR:S
96 1.6 rillig @echo ${VAR:S,
97 1.6 rillig @echo ${VAR:S,from
98 1.6 rillig @echo ${VAR:S,from,
99 1.6 rillig @echo ${VAR:S,from,to
100 1.6 rillig @echo ${VAR:S,from,to,
101 1.6 rillig @echo ${VAR:S,from,to,}
102 1.6 rillig @echo 1: ${VAR:S
103 1.6 rillig @echo 2: ${VAR:S,
104 1.6 rillig @echo 3: ${VAR:S,from
105 1.6 rillig @echo ${VAR:S,from,
106 1.6 rillig @echo ${VAR:S,from,to
107 1.6 rillig @echo ${VAR:S,from,to,
108 1.6 rillig @echo ${VAR:S,from,to,}
109 1.7 rillig
110 1.7 rillig mod-regex-delimiter:
111 1.7 rillig @echo $@:
112 1.7 rillig @echo ${VAR:C
113 1.7 rillig @echo ${VAR:C,
114 1.7 rillig @echo ${VAR:C,from
115 1.7 rillig @echo ${VAR:C,from,
116 1.7 rillig @echo ${VAR:C,from,to
117 1.7 rillig @echo ${VAR:C,from,to,
118 1.7 rillig @echo ${VAR:C,from,to,}
119 1.7 rillig @echo 1: ${VAR:C
120 1.7 rillig @echo 2: ${VAR:C,
121 1.7 rillig @echo 3: ${VAR:C,from
122 1.7 rillig @echo ${VAR:C,from,
123 1.7 rillig @echo ${VAR:C,from,to
124 1.7 rillig @echo ${VAR:C,from,to,
125 1.7 rillig @echo ${VAR:C,from,to,}
126 1.7 rillig
127 1.13 rillig # In regular expressions with alternatives, not all capturing groups are
128 1.13 rillig # always set; some may be missing. Warn about these.
129 1.13 rillig #
130 1.13 rillig # Since there is no way to turn off this warning, the combination of
131 1.13 rillig # alternative matches and capturing groups is not widely used.
132 1.13 rillig #
133 1.13 rillig # A newly added modifier 'U' such as in :C,(a.)|(b.),\1\2,U might be added
134 1.13 rillig # for treating undefined capturing groups as empty, but that would create a
135 1.13 rillig # syntactical ambiguity since the :S and :C modifiers are open-ended (see
136 1.13 rillig # mod-subst-chain). Luckily the modifier :U does not make sense after :C,
137 1.13 rillig # therefore this case does not happen in practice.
138 1.13 rillig # The sub-modifier for the :C modifier would have to be chosen wisely.
139 1.13 rillig mod-regex-undefined-subexpression:
140 1.13 rillig @echo $@:
141 1.13 rillig @echo ${FIB:C,1(.*),one\1,} # all ok
142 1.14 rillig @echo ${FIB:C,1(.*)|2(.*),(\1)+(\2),:Q} # no match for subexpression
143 1.13 rillig
144 1.7 rillig mod-ts-parse:
145 1.7 rillig @echo $@:
146 1.7 rillig @echo ${FIB:ts}
147 1.7 rillig @echo ${FIB:ts\65} # octal 065 == U+0035 == '5'
148 1.7 rillig @echo ${FIB:ts\65oct} # bad modifier
149 1.7 rillig @echo ${FIB:tsxy} # modifier too long
150 1.7 rillig
151 1.7 rillig mod-t-parse:
152 1.7 rillig @echo $@:
153 1.10 rillig @echo ${FIB:t
154 1.7 rillig @echo ${FIB:txy}
155 1.7 rillig @echo ${FIB:t}
156 1.7 rillig @echo ${FIB:t:M*}
157 1.7 rillig
158 1.7 rillig mod-ifelse-parse:
159 1.7 rillig @echo $@:
160 1.7 rillig @echo ${FIB:?
161 1.7 rillig @echo ${FIB:?then
162 1.7 rillig @echo ${FIB:?then:
163 1.7 rillig @echo ${FIB:?then:else
164 1.7 rillig @echo ${FIB:?then:else}
165 1.7 rillig
166 1.7 rillig mod-remember-parse:
167 1.7 rillig @echo $@:
168 1.7 rillig @echo ${FIB:_} # ok
169 1.7 rillig @echo ${FIB:__} # modifier name too long
170 1.7 rillig
171 1.7 rillig mod-sysv-parse:
172 1.7 rillig @echo $@:
173 1.7 rillig @echo ${FIB:3
174 1.7 rillig @echo ${FIB:3=
175 1.7 rillig @echo ${FIB:3=x3
176 1.7 rillig @echo ${FIB:3=x3} # ok
177