oo: constructor, unknown and bug fixes
[jimtcl.git] / tests / expr-old.test
blobb1d722d1b916ad3e2da56fecb1a3ac6af07f65e8
1 # Commands covered: expr
3 # This file contains the original set of tests for Tcl's expr command.
4 # Since the expr command is now compiled, a new set of tests covering
5 # the new implementation are in the files "parseExpr.test and
6 # "compExpr.test". Sourcing this file into Tcl runs the tests and generates
7 # output for errors. No output means no errors were found.
9 # Copyright (c) 1991-1994 The Regents of the University of California.
10 # Copyright (c) 1994-1997 Sun Microsystems, Inc.
11 # Copyright (c) 1998-1999 by Scriptics Corporation.
13 # See the file "license.terms" for information on usage and redistribution
14 # of this file, and for a DISCLAIMER OF ALL WARRANTIES.
16 # RCS: @(#) $Id: expr-old.test,v 1.8.2.1 2002/04/18 13:10:27 msofer Exp $
18 source [file dirname [info script]]/testing.tcl
20 # First, test all of the integer operators individually.
22 test expr-old-1.1 {integer operators} {expr -4} -4
23 test expr-old-1.2 {integer operators} {expr -(1+4)} -5
24 test expr-old-1.3 {integer operators} {expr ~3} -4
25 test expr-old-1.4 {integer operators} {expr !2} 0
26 test expr-old-1.5 {integer operators} {expr !0} 1
27 test expr-old-1.6 {integer operators} {expr 4*6} 24
28 test expr-old-1.7 {integer operators} {expr 36/12} 3
29 test expr-old-1.8 {integer operators} {expr 27/4} 6
30 test expr-old-1.9 {integer operators} {expr 27%4} 3
31 test expr-old-1.10 {integer operators} {expr 2+2} 4
32 test expr-old-1.11 {integer operators} {expr 2-6} -4
33 test expr-old-1.12 {integer operators} {expr 1<<3} 8
34 test expr-old-1.13 {integer operators} {expr 0xff>>2} 63
35 test expr-old-1.14 {integer operators} {expr -1>>2} -1
36 test expr-old-1.15 {integer operators} {expr 3>2} 1
37 test expr-old-1.16 {integer operators} {expr 2>2} 0
38 test expr-old-1.17 {integer operators} {expr 1>2} 0
39 test expr-old-1.18 {integer operators} {expr 3<2} 0
40 test expr-old-1.19 {integer operators} {expr 2<2} 0
41 test expr-old-1.20 {integer operators} {expr 1<2} 1
42 test expr-old-1.21 {integer operators} {expr 3>=2} 1
43 test expr-old-1.22 {integer operators} {expr 2>=2} 1
44 test expr-old-1.23 {integer operators} {expr 1>=2} 0
45 test expr-old-1.24 {integer operators} {expr 3<=2} 0
46 test expr-old-1.25 {integer operators} {expr 2<=2} 1
47 test expr-old-1.26 {integer operators} {expr 1<=2} 1
48 test expr-old-1.27 {integer operators} {expr 3==2} 0
49 test expr-old-1.28 {integer operators} {expr 2==2} 1
50 test expr-old-1.29 {integer operators} {expr 3!=2} 1
51 test expr-old-1.30 {integer operators} {expr 2!=2} 0
52 test expr-old-1.31 {integer operators} {expr 7&0x13} 3
53 test expr-old-1.32 {integer operators} {expr 7^0x13} 20
54 test expr-old-1.33 {integer operators} {expr 7|0x13} 23
55 test expr-old-1.34 {integer operators} {expr 0&&1} 0
56 test expr-old-1.35 {integer operators} {expr 0&&0} 0
57 test expr-old-1.36 {integer operators} {expr 1&&3} 1
58 test expr-old-1.37 {integer operators} {expr 0||1} 1
59 test expr-old-1.38 {integer operators} {expr 3||0} 1
60 test expr-old-1.39 {integer operators} {expr 0||0} 0
61 test expr-old-1.40 {integer operators} {expr 3>2?44:66} 44
62 test expr-old-1.41 {integer operators} {expr 2>3?44:66} 66
63 test expr-old-1.42 {integer operators} {expr 36/5} 7
64 test expr-old-1.43 {integer operators} {expr 36%5} 1
65 test expr-old-1.44 {integer operators} {expr -36/5} -8
66 test expr-old-1.45 {integer operators} {expr -36%5} 4
67 test expr-old-1.46 {integer operators} {expr 36/-5} -8
68 test expr-old-1.47 {integer operators} {expr 36%-5} -4
69 test expr-old-1.48 {integer operators} {expr -36/-5} 7
70 test expr-old-1.49 {integer operators} {expr -36%-5} -1
71 test expr-old-1.50 {integer operators} {expr +36} 36
72 test expr-old-1.51 {integer operators} {expr +--++36} 36
73 test expr-old-1.52 {integer operators} {expr +36%+5} 1
74 test expr-old-1.53 {integer operators} {
75     catch {unset x}
76     set x 1
77     list [expr {1 && $x}] [expr {$x && 1}] \
78          [expr {0 || $x}] [expr {$x || 0}]
79 } {1 1 1 1}
81 # Check the floating-point operators individually, along with
82 # automatic conversion to integers where needed.
84 test expr-old-2.1 {floating-point operators} {expr -4.2} -4.2
85 test expr-old-2.2 {floating-point operators} jim {expr -(1.1+4.2)} -5.3
86 test expr-old-2.3 {floating-point operators} {expr +5.7} 5.7
87 test expr-old-2.4 {floating-point operators} {expr +--+-62.0} -62.0
88 test expr-old-2.5 {floating-point operators} {expr !2.1} 0
89 test expr-old-2.6 {floating-point operators} {expr !0.0} 1
90 test expr-old-2.7 {floating-point operators} {expr 4.2*6.3} 26.46
91 test expr-old-2.8 {floating-point operators} {expr 36.0/12.0} 3.0
92 test expr-old-2.9 {floating-point operators} {expr 27/4.0} 6.75
93 test expr-old-2.10 {floating-point operators} {expr 2.3+2.1} 4.4
94 test expr-old-2.11 {floating-point operators} {expr 2.3-6.5} -4.2
95 test expr-old-2.12 {floating-point operators} {expr 3.1>2.1} 1
96 test expr-old-2.13 {floating-point operators} {expr {2.1 > 2.1}} 0
97 test expr-old-2.14 {floating-point operators} {expr 1.23>2.34e+1} 0
98 test expr-old-2.15 {floating-point operators} {expr 3.45<2.34} 0
99 test expr-old-2.16 {floating-point operators} {expr 0.002e3<--200e-2} 0
100 test expr-old-2.17 {floating-point operators} {expr 1.1<2.1} 1
101 test expr-old-2.18 {floating-point operators} {expr 3.1>=2.2} 1
102 test expr-old-2.19 {floating-point operators} {expr 2.345>=2.345} 1
103 test expr-old-2.20 {floating-point operators} {expr 1.1>=2.2} 0
104 test expr-old-2.21 {floating-point operators} {expr 3.0<=2.0} 0
105 test expr-old-2.22 {floating-point operators} {expr 2.2<=2.2} 1
106 test expr-old-2.23 {floating-point operators} {expr 2.2<=2.2001} 1
107 test expr-old-2.24 {floating-point operators} {expr 3.2==2.2} 0
108 test expr-old-2.25 {floating-point operators} {expr 2.2==2.2} 1
109 test expr-old-2.26 {floating-point operators} {expr 3.2!=2.2} 1
110 test expr-old-2.27 {floating-point operators} {expr 2.2!=2.2} 0
111 test expr-old-2.28 {floating-point operators} {expr 0.0&&0.0} 0
112 test expr-old-2.29 {floating-point operators} {expr 0.0&&1.3} 0
113 test expr-old-2.30 {floating-point operators} {expr 1.3&&0.0} 0
114 test expr-old-2.31 {floating-point operators} {expr 1.3&&3.3} 1
115 test expr-old-2.32 {floating-point operators} {expr 0.0||0.0} 0
116 test expr-old-2.33 {floating-point operators} {expr 0.0||1.3} 1
117 test expr-old-2.34 {floating-point operators} {expr 1.3||0.0} 1
118 test expr-old-2.35 {floating-point operators} {expr 3.3||0.0} 1
119 test expr-old-2.36 {floating-point operators} {expr 3.3>2.3?44.3:66.3} 44.3
120 test expr-old-2.37 {floating-point operators} {expr 2.3>3.3?44.3:66.3} 66.3
121 test expr-old-2.38 {floating-point operators} {
122     list [catch {expr 028.1 + 09.2} msg] $msg
123 } {0 37.3}
125 # Operators that aren't legal on floating-point numbers
127 test expr-old-3.1 {illegal floating-point operations} {
128     list [catch {expr ~4.0} msg]
129 } {1}
130 test expr-old-3.2 {illegal floating-point operations} {
131     list [catch {expr 27%4.0} msg]
132 } {1}
133 test expr-old-3.3 {illegal floating-point operations} {
134     list [catch {expr 27.0%4} msg]
135 } {1}
136 test expr-old-3.4 {illegal floating-point operations} {
137     list [catch {expr 1.0<<3} msg]
138 } {1}
139 test expr-old-3.5 {illegal floating-point operations} {
140     list [catch {expr 3<<1.0} msg]
141 } {1}
142 test expr-old-3.6 {illegal floating-point operations} {
143     list [catch {expr 24.0>>3} msg]
144 } {1}
145 test expr-old-3.7 {illegal floating-point operations} {
146     list [catch {expr 24>>3.0} msg]
147 } {1}
148 test expr-old-3.8 {illegal floating-point operations} {
149     list [catch {expr 24&3.0} msg]
150 } {1}
151 test expr-old-3.9 {illegal floating-point operations} {
152     list [catch {expr 24.0|3} msg]
153 } {1}
154 test expr-old-3.10 {illegal floating-point operations} {
155     list [catch {expr 24.0^3} msg]
156 } {1}
158 # Check the string operators individually.
160 test expr-old-4.1 {string operators} {expr {"abc" > "def"}} 0
161 test expr-old-4.2 {string operators} {expr {"def" > "def"}} 0
162 test expr-old-4.3 {string operators} {expr {"g" > "def"}} 1
163 test expr-old-4.4 {string operators} {expr {"abc" < "abd"}} 1
164 test expr-old-4.5 {string operators} {expr {"abd" < "abd"}} 0
165 test expr-old-4.6 {string operators} {expr {"abe" < "abd"}} 0
166 test expr-old-4.7 {string operators} {expr {"abc" >= "def"}} 0
167 test expr-old-4.8 {string operators} {expr {"def" >= "def"}} 1
168 test expr-old-4.9 {string operators} {expr {"g" >= "def"}} 1
169 test expr-old-4.10 {string operators} {expr {"abc" <= "abd"}} 1
170 test expr-old-4.11 {string operators} {expr {"abd" <= "abd"}} 1
171 test expr-old-4.12 {string operators} {expr {"abe" <= "abd"}} 0
172 test expr-old-4.13 {string operators} {expr {"abc" == "abd"}} 0
173 test expr-old-4.14 {string operators} {expr {"abd" == "abd"}} 1
174 test expr-old-4.15 {string operators} {expr {"abc" != "abd"}} 1
175 test expr-old-4.16 {string operators} {expr {"abd" != "abd"}} 0
176 test expr-old-4.17 {string operators} {expr {"0y" < "0x12"}} 0
177 test expr-old-4.18 {string operators} {expr {"." < " "}} 0
179 # The following tests are non-portable because on some systems "+"
180 # and "-" can be parsed as numbers.
182 test expr-old-4.19 {string operators} {expr {"0" == "+"}} 0
183 test expr-old-4.20 {string operators} {expr {"0" == "-"}} 0
184 test expr-old-4.21 {string operators} {expr {1?"foo":"bar"}} foo
185 test expr-old-4.22 {string operators} {expr {0?"foo":"bar"}} bar
187 # Operators that aren't legal on string operands.
189 test expr-old-5.1 {illegal string operations} {
190     list [catch {expr {-"a"}} msg]
191 } {1}
192 test expr-old-5.2 {illegal string operations} {
193     list [catch {expr {+"a"}} msg]
194 } {1}
195 test expr-old-5.3 {illegal string operations} {
196     list [catch {expr {~"a"}} msg]
197 } {1}
198 test expr-old-5.4 {illegal string operations} {
199     list [catch {expr {!"a"}} msg]
200 } {1}
201 test expr-old-5.5 {illegal string operations} {
202     list [catch {expr {"a"*"b"}} msg]
203 } {1}
204 test expr-old-5.6 {illegal string operations} {
205     list [catch {expr {"a"/"b"}} msg]
206 } {1}
207 test expr-old-5.7 {illegal string operations} {
208     list [catch {expr {"a"%"b"}} msg]
209 } {1}
210 test expr-old-5.8 {illegal string operations} {
211     list [catch {expr {"a"+"b"}} msg]
212 } {1}
213 test expr-old-5.9 {illegal string operations} {
214     list [catch {expr {"a"-"b"}} msg]
215 } {1}
216 test expr-old-5.10 {illegal string operations} {
217     list [catch {expr {"a"<<"b"}} msg]
218 } {1}
219 test expr-old-5.11 {illegal string operations} {
220     list [catch {expr {"a">>"b"}} msg]
221 } {1}
222 test expr-old-5.12 {illegal string operations} {
223     list [catch {expr {"a"&"b"}} msg]
224 } {1}
225 test expr-old-5.13 {illegal string operations} {
226     list [catch {expr {"a"^"b"}} msg]
227 } {1}
228 test expr-old-5.14 {illegal string operations} {
229     list [catch {expr {"a"|"b"}} msg]
230 } {1}
231 test expr-old-5.15 {illegal string operations} {
232     list [catch {expr {"a"&&"b"}} msg]
233 } {1}
234 test expr-old-5.16 {illegal string operations} {
235     list [catch {expr {"a"||"b"}} msg]
236 } {1}
237 test expr-old-5.17 {illegal string operations} {
238     list [catch {expr {"a"?4:2}} msg]
239 } {1}
241 # Check precedence pairwise.
243 test expr-old-6.1 {precedence checks} {expr -~3} 4
244 test expr-old-6.2 {precedence checks} {expr -!3} 0
245 test expr-old-6.3 {precedence checks} {expr -~0} 1
247 test expr-old-7.1 {precedence checks} {expr 2*4/6} 1
248 test expr-old-7.2 {precedence checks} {expr 24/6*3} 12
249 test expr-old-7.3 {precedence checks} {expr 24/6/2} 2
251 test expr-old-8.1 {precedence checks} {expr -2+4} 2
252 test expr-old-8.2 {precedence checks} {expr -2-4} -6
253 test expr-old-8.3 {precedence checks} {expr +2-4} -2
255 test expr-old-9.1 {precedence checks} {expr 2*3+4} 10
256 test expr-old-9.2 {precedence checks} {expr 8/2+4} 8
257 test expr-old-9.3 {precedence checks} {expr 8%3+4} 6
258 test expr-old-9.4 {precedence checks} {expr 2*3-1} 5
259 test expr-old-9.5 {precedence checks} {expr 8/2-1} 3
260 test expr-old-9.6 {precedence checks} {expr 8%3-1} 1
262 test expr-old-10.1 {precedence checks} {expr 6-3-2} 1
264 test expr-old-11.1 {precedence checks} {expr 7+1>>2} 2
265 test expr-old-11.2 {precedence checks} {expr 7+1<<2} 32
266 test expr-old-11.3 {precedence checks} {expr 7>>3-2} 3
267 test expr-old-11.4 {precedence checks} {expr 7<<3-2} 14
269 test expr-old-12.1 {precedence checks} {expr 6>>1>4} 0
270 test expr-old-12.2 {precedence checks} {expr 6>>1<2} 0
271 test expr-old-12.3 {precedence checks} {expr 6>>1>=3} 1
272 test expr-old-12.4 {precedence checks} {expr 6>>1<=2} 0
273 test expr-old-12.5 {precedence checks} {expr 6<<1>5} 1
274 test expr-old-12.6 {precedence checks} {expr 6<<1<5} 0
275 test expr-old-12.7 {precedence checks} {expr 5<=6<<1} 1
276 test expr-old-12.8 {precedence checks} {expr 5>=6<<1} 0
278 test expr-old-13.1 {precedence checks} {expr 2<3<4} 1
279 test expr-old-13.2 {precedence checks} {expr 0<4>2} 0
280 test expr-old-13.3 {precedence checks} {expr 4>2<1} 0
281 test expr-old-13.4 {precedence checks} {expr 4>3>2} 0
282 test expr-old-13.5 {precedence checks} {expr 4>3>=2} 0
283 test expr-old-13.6 {precedence checks} {expr 4>=3>2} 0
284 test expr-old-13.7 {precedence checks} {expr 4>=3>=2} 0
285 test expr-old-13.8 {precedence checks} {expr 0<=4>=2} 0
286 test expr-old-13.9 {precedence checks} {expr 4>=2<=0} 0
287 test expr-old-13.10 {precedence checks} {expr 2<=3<=4} 1
289 test expr-old-14.1 {precedence checks} {expr 1==4>3} 1
290 test expr-old-14.2 {precedence checks} {expr 0!=4>3} 1
291 test expr-old-14.3 {precedence checks} {expr 1==3<4} 1
292 test expr-old-14.4 {precedence checks} {expr 0!=3<4} 1
293 test expr-old-14.5 {precedence checks} {expr 1==4>=3} 1
294 test expr-old-14.6 {precedence checks} {expr 0!=4>=3} 1
295 test expr-old-14.7 {precedence checks} {expr 1==3<=4} 1
296 test expr-old-14.8 {precedence checks} {expr 0!=3<=4} 1
298 test expr-old-15.1 {precedence checks} {expr 1==3==3} 0
299 test expr-old-15.2 {precedence checks} {expr 3==3!=2} 1
300 test expr-old-15.3 {precedence checks} {expr 2!=3==3} 0
301 test expr-old-15.4 {precedence checks} {expr 2!=1!=1} 0
303 test expr-old-16.1 {precedence checks} {expr 2&3==2} 0
304 test expr-old-16.2 {precedence checks} {expr 1&3!=3} 0
306 test expr-old-17.1 {precedence checks} {expr 7&3^0x10} 19
307 test expr-old-17.2 {precedence checks} {expr 7^0x10&3} 7
309 test expr-old-18.1 {precedence checks} {expr 7^0x10|3} 23
310 test expr-old-18.2 {precedence checks} {expr 7|0x10^3} 23
312 test expr-old-19.1 {precedence checks} {expr 7|3&&1} 1
313 test expr-old-19.2 {precedence checks} {expr 1&&3|7} 1
314 test expr-old-19.3 {precedence checks} {expr 0&&1||1} 1
315 test expr-old-19.4 {precedence checks} {expr 1||1&&0} 1
317 test expr-old-20.1 {precedence checks} {expr 1||0?3:4} 3
318 test expr-old-20.2 {precedence checks} {expr 1?0:4||1} 0
319 test expr-old-20.3 {precedence checks} {expr 1?2:0?3:4} 2
320 test expr-old-20.4 {precedence checks} {expr 0?2:0?3:4} 4
321 test expr-old-20.5 {precedence checks} {expr 1?2?3:4:0} 3
322 test expr-old-20.6 {precedence checks} {expr 0?2?3:4:0} 0
323 test expr-old-20.7 {precedence checks} {expr 0?1?1?2:3:0?4:5:1?0?6:7:0?8:9} 7
326 # Parentheses.
328 test expr-old-21.1 {parenthesization} {expr (2+4)*6} 36
329 test expr-old-21.2 {parenthesization} {expr (1?0:4)||1} 1
330 test expr-old-21.3 {parenthesization} {expr +(3-4)} -1
332 # Embedded commands and variable names.
334 set a 16 
335 test expr-old-22.1 {embedded variables} {expr {2*$a}} 32 
336 test expr-old-22.2 {embedded variables} {
337     set x -5
338     set y 10
339     expr {$x + $y}
340 } {5} 
341 test expr-old-22.3 {embedded variables} {
342     set x "  -5"
343     set y "  +10"
344     expr {$x + $y}
345 } {5}
346 test expr-old-22.4 {embedded commands and variables} {expr {[set a] - 14}} 2
347 test expr-old-22.5 {embedded commands and variables} {
348     list [catch {expr {12 - [bad_command_name]}} msg] $msg
349 } {1 {invalid command name "bad_command_name"}}
351 # Double-quotes and things inside them.
353 test expr-old-23.1 {double quotes} {expr {"abc"}} abc
354 test expr-old-23.2 {double quotes} {
355     set a 189
356     expr {"$a.bc"}
357 } 189.bc
358 test expr-old-23.3 {double quotes} {
359     set b2 xyx
360     expr {"$b2$b2$b2.[set b2].[set b2]"}
361 } xyxxyxxyx.xyx.xyx
362 test expr-old-23.4 {double quotes} {expr {"11\}\}22"}} 11}}22
363 test expr-old-23.5 {double quotes} {expr {"\*bc"}} {*bc}
364 test expr-old-23.6 {double quotes} {
365     catch {unset bogus__}
366     list [catch {expr {"$bogus__"}} msg] $msg
367 } {1 {can't read "bogus__": no such variable}}
368 test expr-old-23.7 {double quotes} {
369     list [catch {expr {"a[error Testing]bc"}} msg] $msg
370 } {1 Testing}
371 test expr-old-23.8 {double quotes} {
372     list [catch {expr {"12398712938788234-1298379" != ""}} msg] $msg
373 } {0 1}
375 # Numbers in various bases.
377 test expr-old-24.1 {numbers in different bases} {expr 0x20} 32
378 test expr-old-24.2 {numbers in different bases} {expr 015} 15
380 # Conversions between various data types.
382 test expr-old-25.1 {type conversions} {expr 2+2.5} 4.5
383 test expr-old-25.2 {type conversions} {expr 2.5+2} 4.5
384 test expr-old-25.3 {type conversions} {expr 2-2.5} -0.5
385 test expr-old-25.4 {type conversions} {expr 2/2.5} 0.8
386 test expr-old-25.5 {type conversions} {expr 2>2.5} 0
387 test expr-old-25.6 {type conversions} {expr 2.5>2} 1
388 test expr-old-25.7 {type conversions} {expr 2<2.5} 1
389 test expr-old-25.8 {type conversions} {expr 2>=2.5} 0
390 test expr-old-25.9 {type conversions} {expr 2<=2.5} 1
391 test expr-old-25.10 {type conversions} {expr 2==2.5} 0
392 test expr-old-25.11 {type conversions} {expr 2!=2.5} 1
393 test expr-old-25.12 {type conversions} {expr 2>"ab"} 0
394 test expr-old-25.13 {type conversions} {expr {2>" "}} 1
395 test expr-old-25.14 {type conversions} {expr {"24.1a" > 24.1}} 1
396 test expr-old-25.15 {type conversions} {expr {24.1 > "24.1a"}} 0
397 test expr-old-25.16 {type conversions} {expr 2+2.5} 4.5
398 test expr-old-25.17 {type conversions} {expr 2+2.5} 4.5
399 test expr-old-25.18 {type conversions} {expr 2.0e2} 200.0
400 test expr-old-25.19 {type conversions} {expr 2.0e30} 2e+30
401 test expr-old-25.20 {type conversions} {expr 10.0} 10.0
403 # Various error conditions.
405 test expr-old-26.1 {error conditions} {
406     list [catch {expr 2+"a"} msg]
407 } {1}
408 test expr-old-26.2 {error conditions} {
409     list [catch {expr 2+4*} msg]
410 } {1}
411 test expr-old-26.3 {error conditions} {
412     list [catch {expr 2+4*(} msg]
413 } {1}
414 catch {unset _non_existent_}
415 test expr-old-26.4 {error conditions} {
416     list [catch {expr 2+$_non_existent_} msg]
417 } {1}
418 set a xx
419 test expr-old-26.5 {error conditions} {
420     list [catch {expr {2+$a}} msg]
421 } {1}
422 test expr-old-26.6 {error conditions} {
423     list [catch {expr {2+[set a]}} msg]
424 } {1}
425 test expr-old-26.7 {error conditions} {
426     list [catch {expr {2+(4}} msg]
427 } {1}
428 test expr-old-26.8 {error conditions} {
429     list [catch {expr 2/0} msg]
430 } {1}
431 test expr-old-26.9 {error conditions} {
432     list [catch {expr 2%0} msg]
433 } {1}
434 test expr-old-26.10 {error conditions} {
435     expr 2.0/0.0
436 } {Inf}
437 test expr-old-26.11 {error conditions} {
438     list [catch {expr 2#} msg]
439 } {1}
440 test expr-old-26.12 {error conditions} {
441     list [catch {expr a.b} msg]
442 } {1}
443 test expr-old-26.13 {error conditions} {
444     list [catch {expr {"a"/"b"}} msg]
445 } {1}
446 test expr-old-26.14 {error conditions} {
447     list [catch {expr 2:3} msg]
448 } {1}
449 test expr-old-26.15 {error conditions} {
450     list [catch {expr a@b} msg]
451 } {1}
452 test expr-old-26.16 {error conditions} {
453     list [catch {expr a[b} msg]
454 } {1}
455 test expr-old-26.17 {error conditions} {
456     list [catch {expr a`b} msg]
457 } {1}
458 test expr-old-26.18 {error conditions} {
459     list [catch {expr \"a\"\{b} msg]
460 } {1}
461 test expr-old-26.19 {error conditions} {
462     list [catch {expr a} msg]
463 } {1}
464 test expr-old-26.20 {error conditions} {
465     list [catch expr msg]
466 } {1}
468 # Cancelled evaluation.
470 test expr-old-27.1 {cancelled evaluation} {
471     set a 1
472     expr {0&&[set a 2]}
473     set a
474 } 1
475 test expr-old-27.2 {cancelled evaluation} {
476     set a 1
477     expr {1||[set a 2]}
478     set a
479 } 1
480 test expr-old-27.3 {cancelled evaluation} {
481     set a 1
482     expr {0?[set a 2]:1}
483     set a
484 } 1
485 test expr-old-27.4 {cancelled evaluation} {
486     set a 1
487     expr {1?2:[set a 2]}
488     set a
489 } 1
490 catch {unset x}
491 test expr-old-27.5 {cancelled evaluation} {
492     list [catch {expr {[info exists x] && $x}} msg] $msg
493 } {0 0}
494 test expr-old-27.6 {cancelled evaluation} {
495     list [catch {expr {0 && [concat $x]}} msg] $msg
496 } {0 0}
497 test expr-old-27.7 {cancelled evaluation} {
498     set one 1
499     list [catch {expr {1 || 1/$one}} msg] $msg
500 } {0 1}
501 test expr-old-27.8 {cancelled evaluation} {
502     list [catch {expr {1 || -"string"}} msg] $msg
503 } {0 1}
504 test expr-old-27.9 {cancelled evaluation} {
505     list [catch {expr {1 || ("string" * ("x" && "y"))}} msg] $msg
506 } {0 1}
507 test expr-old-27.10 {cancelled evaluation} {
508     set x -1.3
509     list [catch {expr {($x > 0) ? round($x) : 0}} msg] $msg
510 } {0 0}
511 test expr-old-27.11 {cancelled evaluation} {
512     list [catch {expr {0 && foo}} msg]
513 } {1}
514 test expr-old-27.12 {cancelled evaluation} {
515     list [catch {expr {0 ? 1 : foo}} msg]
516 } {1}
518 # Operands enclosed in braces
520 #test expr-old-29.1 {braces} {expr {{abc}}} abc
521 #test expr-old-29.2 {braces} {expr {{00010}}} 8
522 #test expr-old-29.3 {braces} {expr {{3.1200000}}} 3.12
523 #test expr-old-29.4 {braces} {expr {{a{b}{1 {2 3}}c}}} "a{b}{1 {2 3}}c"
524 #test expr-old-29.5 {braces} {
525 #    list [catch {expr "\{abc"} msg] $msg
526 #} {1 {missing close-brace}}
528 # Very long values
530 test expr-old-30.1 {long values} {
531     set a "0000 1111 2222 3333 4444"
532     set a "$a | $a | $a | $a | $a"
533     set a "$a || $a || $a || $a || $a"
534     expr {$a}
535 } {0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 || 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 || 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 || 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 || 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444 | 0000 1111 2222 3333 4444}
536 test expr-old-30.2 {long values} {
537     set a "000000000000000000000000000000"
538     set a "$a$a$a$a$a$a$a$a$a$a$a$a$a$a$a$a${a}5"
539     expr $a
540 } 5
542 # Expressions spanning multiple arguments
544 test expr-old-31.1 {multiple arguments to expr command} {
545     expr 4 + ( 6 *12) -3
546 } 73
547 test expr-old-31.2 {multiple arguments to expr command} {
548     list [catch {expr 2 + (3 + 4} msg]
549 } {1}
550 test expr-old-31.3 {multiple arguments to expr command} {
551     list [catch {expr 2 + 3 +} msg]
552 } {1}
553 test expr-old-31.4 {multiple arguments to expr command} {
554     list [catch {expr 2 + 3 )} msg]
555 } {1}
557 # Math functions
559 if {0} {
560 test expr-old-32.1 {math functions in expressions} {
561     format %.6g [expr acos(0.5)]
562 } {1.0472}
563 test expr-old-32.2 {math functions in expressions} {
564     format %.6g [expr asin(0.5)]
565 } {0.523599}
566 test expr-old-32.3 {math functions in expressions} {
567     format %.6g [expr atan(1.0)]
568 } {0.785398}
569 test expr-old-32.4 {math functions in expressions} {
570     format %.6g [expr atan2(2.0, 2.0)]
571 } {0.785398}
572 test expr-old-32.5 {math functions in expressions} {
573     format %.6g [expr ceil(1.999)]
574 } {2}
575 test expr-old-32.6 {math functions in expressions} {
576     format %.6g [expr cos(.1)]
577 } {0.995004}
578 test expr-old-32.7 {math functions in expressions} {
579     format %.6g [expr cosh(.1)]
580 } {1.005}
581 test expr-old-32.8 {math functions in expressions} {
582     format %.6g [expr exp(1.0)]
583 } {2.71828}
584 test expr-old-32.9 {math functions in expressions} {
585     format %.6g [expr floor(2.000)]
586 } {2}
587 test expr-old-32.10 {math functions in expressions} {
588     format %.6g [expr floor(2.001)]
589 } {2}
590 test expr-old-32.11 {math functions in expressions} {
591     format %.6g [expr fmod(7.3, 3.2)]
592 } {0.9}
593 test expr-old-32.12 {math functions in expressions} {
594     format %.6g [expr hypot(3.0, 4.0)]
595 } {5}
596 test expr-old-32.13 {math functions in expressions} {
597     format %.6g [expr log(2.8)]
598 } {1.02962}
599 test expr-old-32.14 {math functions in expressions} {
600     format %.6g [expr log10(2.8)]
601 } {0.447158}
602 test expr-old-32.15 {math functions in expressions} {
603     format %.6g [expr pow(2.1, 3.1)]
604 } {9.97424}
605 test expr-old-32.16 {math functions in expressions} {
606     format %.6g [expr sin(.1)]
607 } {0.0998334}
608 test expr-old-32.17 {math functions in expressions} {
609     format %.6g [expr sinh(.1)]
610 } {0.100167}
611 test expr-old-32.18 {math functions in expressions} {
612     format %.6g [expr sqrt(2.0)]
613 } {1.41421}
614 test expr-old-32.19 {math functions in expressions} {
615     format %.6g [expr tan(0.8)]
616 } {1.02964}
617 test expr-old-32.20 {math functions in expressions} {
618     format %.6g [expr tanh(0.8)]
619 } {0.664037}
621 test expr-old-32.21 {math functions in expressions} {
622     format %.6g [expr abs(-1.8)]
623 } {1.8}
624 test expr-old-32.22 {math functions in expressions} {
625     expr abs(10.0)
626 } {10.0}
627 test expr-old-32.23 {math functions in expressions} {
628     format %.6g [expr abs(-4)]
629 } {4}
630 test expr-old-32.24 {math functions in expressions} {
631     format %.6g [expr abs(66)]
632 } {66}
634 # The following test is different for 32-bit versus 64-bit architectures.
636 #test expr-old-32.25 {math functions in expressions} {
637 #    list [catch {expr abs(0x8000000000000000)} msg] $msg
638 #} {1 {integer value too large to represent}}
640 test expr-old-32.26 {math functions in expressions} {
641     expr double(1)
642 } {1.0}
643 test expr-old-32.27 {math functions in expressions} {
644     expr double(1.1)
645 } {1.1}
646 test expr-old-32.28 {math functions in expressions} {
647     expr int(1)
648 } {1}
649 test expr-old-32.29 {math functions in expressions} {
650     expr int(1.4)
651 } {1}
652 test expr-old-32.30 {math functions in expressions} {
653     expr int(1.6)
654 } {1}
655 test expr-old-32.31 {math functions in expressions} {
656     expr int(-1.4)
657 } {-1}
658 test expr-old-32.32 {math functions in expressions} {
659     expr int(-1.6)
660 } {-1}
661 #test expr-old-32.33 {math functions in expressions} {
662 #    list [catch {expr int(1e60)} msg] $msg
663 #} {1 {integer value too large to represent}}
664 #test expr-old-32.34 {math functions in expressions} {
665 #    list [catch {expr int(-1e60)} msg] $msg
666 #} {1 {integer value too large to represent}}
667 test expr-old-32.35 {math functions in expressions} {
668     expr round(1.49)
669 } {1}
670 test expr-old-32.36 {math functions in expressions} {
671     expr round(1.51)
672 } {2}
673 test expr-old-32.37 {math functions in expressions} {
674     expr round(-1.49)
675 } {-1}
676 test expr-old-32.38 {math functions in expressions} {
677     expr round(-1.51)
678 } {-2}
679 #test expr-old-32.39 {math functions in expressions} {
680 #    list [catch {expr round(1e60)} msg] $msg
681 #} {1 {integer value too large to represent}}
682 #test expr-old-32.40 {math functions in expressions} {
683 #    list [catch {expr round(-1e60)} msg] $msg
684 #} {1 {integer value too large to represent}}
685 if {0} {
686 test expr-old-32.41 {math functions in expressions} {
687     list [catch {expr pow(1.0 + 3.0 - 2, .8 * 5)} msg] $msg
688 } {0 16.0}
689 test expr-old-32.42 {math functions in expressions} {
690     list [catch {expr hypot(5*.8,3)} msg] $msg
691 } {0 5.0}
692 test expr-old-32.45 {math functions in expressions} {
693     expr (0 <= rand()) && (rand() < 1)
694 } {1}
695 test expr-old-32.46 {math functions in expressions} {
696     list [catch {expr rand(24)} msg] $msg
697 } {1 {too many arguments for math function}}
698 test expr-old-32.47 {math functions in expressions} {
699     list [catch {expr srand()} msg] $msg
700 } {1 {too few arguments for math function}}
701 test expr-old-32.48 {math functions in expressions} {
702     list [catch {expr srand(3.79)} msg] $msg
703 } {1 {can't use floating-point value as argument to srand}}
704 test expr-old-32.49 {math functions in expressions} {
705     list [catch {expr srand("")} msg] $msg
706 } {1 {argument to math function didn't have numeric value}}
707 test expr-old-32.50 {math functions in expressions} {
708     set result [expr round(srand(12345) * 1000)]
709     for {set i 0} {$i < 10} {incr i} {
710         lappend result [expr round(rand() * 1000)]
711     }
712     set result
713 } {97 834 948 36 12 51 766 585 914 784 333}
714 test expr-old-32.51 {math functions in expressions} {
715     list [catch {expr {srand([lindex "6ty" 0])}} msg] $msg
716 } {1 {argument to math function didn't have numeric value}}
718 test expr-old-33.1 {conversions and fancy args to math functions} {
719     expr hypot ( 3 , 4 )
720 } 5.0
721 test expr-old-33.2 {conversions and fancy args to math functions} {
722     expr hypot ( (2.0+1.0) , 4 )
723 } 5.0
724 test expr-old-33.3 {conversions and fancy args to math functions} {
725     expr hypot ( 3 , (3.0 + 1.0) )
726 } 5.0
727 test expr-old-33.4 {conversions and fancy args to math functions} {
728     format %.6g [expr cos(acos(0.1))]
729 } 0.1
731 test expr-old-34.1 {errors in math functions} {
732     list [catch {expr func_2(1.0)} msg] $msg
733 } {1 {unknown math function "func_2"}}
734 test expr-old-34.2 {errors in math functions} {
735     list [catch {expr func|(1.0)} msg] $msg
736 } {1 {syntax error in expression "func|(1.0)"}}
737 test expr-old-34.3 {errors in math functions} {
738     list [catch {expr {hypot("a b", 2.0)}} msg] $msg
739 } {1 {argument to math function didn't have numeric value}}
740 test expr-old-34.4 {errors in math functions} {
741     list [catch {expr hypot(1.0 2.0)} msg] $msg
742 } {1 {syntax error in expression "hypot(1.0 2.0)"}}
743 test expr-old-34.5 {errors in math functions} {
744     list [catch {expr hypot(1.0, 2.0} msg] $msg
745 } {1 {syntax error in expression "hypot(1.0, 2.0"}}
746 test expr-old-34.6 {errors in math functions} {
747     list [catch {expr hypot(1.0 ,} msg] $msg
748 } {1 {syntax error in expression "hypot(1.0 ,"}}
749 test expr-old-34.7 {errors in math functions} {
750     list [catch {expr hypot(1.0)} msg] $msg
751 } {1 {too few arguments for math function}}
752 test expr-old-34.8 {errors in math functions} {
753     list [catch {expr hypot(1.0, 2.0, 3.0)} msg] $msg
754 } {1 {too many arguments for math function}}
755 test expr-old-34.9 {errors in math functions} {
756     list [catch {expr acos(-2.0)} msg] $msg $errorCode
757 } {1 {domain error: argument not in valid range} {ARITH DOMAIN {domain error: argument not in valid range}}}
758 test expr-old-34.10 {errors in math functions} {
759     list [catch {expr pow(-3, 1000001)} msg] $msg $errorCode
760 } {1 {floating-point value too large to represent} {ARITH OVERFLOW {floating-point value too large to represent}}}
761 test expr-old-34.11 {errors in math functions} {
762     list [catch {expr pow(3, 1000001)} msg] $msg $errorCode
763 } {1 {floating-point value too large to represent} {ARITH OVERFLOW {floating-point value too large to represent}}}
764 test expr-old-34.12 {errors in math functions} {
765     list [catch {expr -14.0*exp(100000)} msg] $msg $errorCode
766 } {1 {floating-point value too large to represent} {ARITH OVERFLOW {floating-point value too large to represent}}}
767 test expr-old-34.13 {errors in math functions} {
768     list [catch {expr int(1.0e30)} msg] $msg $errorCode
769 } {1 {integer value too large to represent} {ARITH IOVERFLOW {integer value too large to represent}}}
770 test expr-old-34.14 {errors in math functions} {
771     list [catch {expr int(-1.0e30)} msg] $msg $errorCode
772 } {1 {integer value too large to represent} {ARITH IOVERFLOW {integer value too large to represent}}}
773 test expr-old-34.15 {errors in math functions} {
774     list [catch {expr round(1.0e30)} msg] $msg $errorCode
775 } {1 {integer value too large to represent} {ARITH IOVERFLOW {integer value too large to represent}}}
776 test expr-old-34.16 {errors in math functions} {
777     list [catch {expr round(-1.0e30)} msg] $msg $errorCode
778 } {1 {integer value too large to represent} {ARITH IOVERFLOW {integer value too large to represent}}}
780 test expr-old-36.1 {ExprLooksLikeInt procedure} {
781     list [catch {expr 0289} msg] $msg
782 } {1 {"0289" is an invalid octal number}}
783 test expr-old-36.2 {ExprLooksLikeInt procedure} {
784     set x 0289
785     list [catch {expr {$x+1}} msg] $msg
786 } {1 {can't use invalid octal number as operand of "+"}}
787 test expr-old-36.3 {ExprLooksLikeInt procedure} {
788     list [catch {expr 0289.1} msg] $msg
789 } {0 289.1}
790 test expr-old-36.4 {ExprLooksLikeInt procedure} {
791     set x 0289.1
792     list [catch {expr {$x+1}} msg] $msg
793 } {0 290.1}
794 test expr-old-36.5 {ExprLooksLikeInt procedure} {
795     set x {  +22}
796     list [catch {expr {$x+1}} msg] $msg
797 } {0 23}
798 test expr-old-36.6 {ExprLooksLikeInt procedure} {
799     set x {     -22}
800     list [catch {expr {$x+1}} msg] $msg
801 } {0 -21}
802 test expr-old-36.7 {ExprLooksLikeInt procedure} {
803     list [catch {expr nan} msg] $msg
804 } {1 {domain error: argument not in valid range}}
805 test expr-old-36.8 {ExprLooksLikeInt procedure} {
806     list [catch {expr 78e1} msg] $msg
807 } {0 780.0}
808 test expr-old-36.9 {ExprLooksLikeInt procedure} {
809     list [catch {expr 24E1} msg] $msg
810 } {0 240.0}
811 test expr-old-36.10 {ExprLooksLikeInt procedure} {
812     list [catch {expr 78e} msg] $msg
813 } {1 {syntax error in expression "78e"}}
816 # test for [Bug #542588]
817 # XXX: Can't rely on overflow checking
818 #test expr-old-36.11 {ExprLooksLikeInt procedure} {
819 #    # define a "too large integer"; this one works also for 64bit arith
820 #    set x 665802003400000000000000
821 #    list [catch {expr {$x+1}} msg] $msg
822 #} {1 {can't use integer value too large to represent as operand of "+"}}
824 # Special test for Pentium arithmetic bug of 1994:
826 if {(4195835.0 - (4195835.0/3145727.0)*3145727.0) == 256.0} {
827     puts "Warning: this machine contains a defective Pentium processor"
828     puts "that performs arithmetic incorrectly.  I recommend that you"
829     puts "call Intel customer service immediately at 1-800-628-8686"
830     puts "to request a replacement processor."
831     puts [expr {(4195835.0 - (4195835.0/3145727.0)*3145727.0)}]
834 if {0.0 == 256.0} {
835     puts error
838 testreport