os/persistentdata/persistentstorage/sqlite3api/TEST/TCL/tcldistribution/tests/expr.test
author sl
Tue, 10 Jun 2014 14:32:02 +0200
changeset 1 260cb5ec6c19
permissions -rw-r--r--
Update contrib.
sl@0
     1
# Commands covered: expr
sl@0
     2
#
sl@0
     3
# This file contains a collection of tests for one or more of the Tcl
sl@0
     4
# built-in commands. Sourcing this file into Tcl runs the tests and
sl@0
     5
# generates output for errors.  No output means no errors were found.
sl@0
     6
#
sl@0
     7
# Copyright (c) 1996-1997 Sun Microsystems, Inc.
sl@0
     8
# Copyright (c) 1998-2000 by Scriptics Corporation.
sl@0
     9
#
sl@0
    10
# See the file "license.terms" for information on usage and redistribution
sl@0
    11
# of this file, and for a DISCLAIMER OF ALL WARRANTIES.
sl@0
    12
#
sl@0
    13
# RCS: @(#) $Id: expr.test,v 1.17.2.12 2006/03/23 16:40:32 dgp Exp $
sl@0
    14
sl@0
    15
if {[lsearch [namespace children] ::tcltest] == -1} {
sl@0
    16
    package require tcltest
sl@0
    17
    namespace import -force ::tcltest::*
sl@0
    18
}
sl@0
    19
sl@0
    20
testConstraint registeredMathFuncs [expr {
sl@0
    21
    ([catch {expr T1()} msg] != 1) || ($msg ne {unknown math function "T1"})
sl@0
    22
}]
sl@0
    23
sl@0
    24
testConstraint wideIs64bit [expr {(0x80000000 > 0) && (0x8000000000000000 < 0)}]
sl@0
    25
# procedures used below
sl@0
    26
sl@0
    27
proc put_hello_char {c} {
sl@0
    28
    global a
sl@0
    29
    append a [format %c $c]
sl@0
    30
    return $c
sl@0
    31
}
sl@0
    32
proc hello_world {} {
sl@0
    33
    global a
sl@0
    34
    set a ""
sl@0
    35
    set L1 [set l0 [set h_1 [set q 0]]]
sl@0
    36
    for {put_hello_char [expr [put_hello_char [expr [set h 7]*10+2]]+29]} {$l0?[put_hello_char $l0]
sl@0
    37
        :!$h_1} {put_hello_char $ll;expr {$L1==2?[set ll [expr 32+0-0+[set bar 0]]]:0}} {expr {[incr L1]==[expr 1+([string length "abc"]-[string length "abc"])]
sl@0
    38
        ?[set ll [set l0 [expr 54<<1]]]:$ll==108&&$L1<3?
sl@0
    39
        [incr ll [expr 1|1<<1]; set ll $ll; set ll $ll; set ll $ll; set ll $ll; set l0 [expr ([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])]; set l0; set l0 $l0; set l0; set l0]:$L1==4&&$ll==32?[set ll [expr 19+$h1+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])+[set foo [expr ([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])]]]]
sl@0
    40
        :[set q [expr $q-$h1+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])]]};expr {$L1==5?[incr ll -8; set ll $ll; set ll]:$q&&$h1&&1};expr {$L1==4+2
sl@0
    41
        ?[incr ll 3]:[expr ([string length "abc"]-[string length "abc"])+1]};expr {$ll==($h<<4)+2+0&&$L1!=6?[incr ll -6]:[set h1 [expr 100+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])]]}
sl@0
    42
        expr {$L1!=1<<3?[incr q [expr ([string length "abc"]-[string length "abc"])-1]]:[set h_1 [set ll $h1]]}
sl@0
    43
    }
sl@0
    44
    set a
sl@0
    45
}
sl@0
    46
sl@0
    47
proc 12days {a b c} {
sl@0
    48
    global xxx
sl@0
    49
    expr {1<$a?[expr {$a<3?[12days -79 -13 [string range $c [12days -87 \
sl@0
    50
	[expr 1-$b] [string range $c [12days -86 0 [string range $c 1 end]] \
sl@0
    51
	end]] end]]:1};expr {$a<$b?[12days [expr $a+1] $b $c]:3};expr {[12days \
sl@0
    52
	-94 [expr $a-27] $c]&&$a==2?$b<13?[12days 2 [expr $b+1] "%s %d %d\n"]:9
sl@0
    53
	:16}]:$a<0?$a<-72?[12days $b $a "@n'+,#'/*\{\}w+/w#cdnr/+,\{\}r/*de\}+,/*\{*+,/w\{%+,/w#q#n+,/#\{l+,/n\{n+,/+#n+,/#;#q#n+,/+k#;*+,/'r :'d*'3,\}\{w+K w'K:'+\}e#';dq#'l q#'+d'K#!/+k#;q#'r\}eKK#\}w'r\}eKK\{nl\]'/#;#q#n')\{)#\}w')\{)\{nl\]'/+#n';d\}rw' i;# )\{nl\]!/n\{n#'; r\{#w'r nc\{nl\]'/#\{l,+'K \{rw' iK\{;\[\{nl\]'/w#q#n'wk nw' iwk\{KK\{nl\]!/w\{%'l##w#' i; :\{nl\]'/*\{q#'ld;r'\}\{nlwb!/*de\}'c ;;\{nl'-\{\}rw\]'/+,\}##'*\}#nc,',#nw\]'/+kd'+e\}+;#'rdq#w! nr'/ ') \}+\}\{rl#'\{n' ')# \}'+\}##(!!/"]
sl@0
    54
	:$a<-50?[string compare [format %c $b] [string index $c 0]]==0?[append \
sl@0
    55
	xxx [string index $c 31];scan [string index $c 31] %c x;set x]
sl@0
    56
	:[12days -65 $b [string range $c 1 end]]:[12days [expr ([string compare \
sl@0
    57
	[string index $c 0] "/"]==0)+$a] $b [string range $c 1 end]]:0<$a
sl@0
    58
	?[12days 2 2 "%s"]:[string compare [string index $c 0] "/"]==0||
sl@0
    59
	[12days 0 [12days -61 [scan [string index $c 0] %c x; set x] \
sl@0
    60
	"!ek;dc i@bK'(q)-\[w\]*%n+r3#l,\{\}:\nuwloca-O;m .vpbks,fxntdCeghiry"] \
sl@0
    61
	[string range $c 1 end]]}
sl@0
    62
}
sl@0
    63
proc do_twelve_days {} {
sl@0
    64
    global xxx
sl@0
    65
    set xxx ""
sl@0
    66
    12days 1 1 1
sl@0
    67
    string length $xxx
sl@0
    68
}
sl@0
    69
sl@0
    70
# start of tests
sl@0
    71
sl@0
    72
catch {unset a b i x}
sl@0
    73
sl@0
    74
test expr-1.1 {TclCompileExprCmd: no expression} {
sl@0
    75
    list [catch {expr  } msg] $msg
sl@0
    76
} {1 {wrong # args: should be "expr arg ?arg ...?"}}
sl@0
    77
test expr-1.2 {TclCompileExprCmd: one expression word} {
sl@0
    78
    expr -25
sl@0
    79
} -25
sl@0
    80
test expr-1.3 {TclCompileExprCmd: two expression words} {
sl@0
    81
    expr -8.2   -6
sl@0
    82
} -14.2
sl@0
    83
test expr-1.4 {TclCompileExprCmd: five expression words} {
sl@0
    84
    expr 20 - 5 +10 -7
sl@0
    85
} 18
sl@0
    86
test expr-1.5 {TclCompileExprCmd: quoted expression word} {
sl@0
    87
    expr "0005"
sl@0
    88
} 5
sl@0
    89
test expr-1.6 {TclCompileExprCmd: quoted expression word} {
sl@0
    90
    catch {expr "0005"zxy} msg
sl@0
    91
    set msg
sl@0
    92
} {extra characters after close-quote}
sl@0
    93
test expr-1.7 {TclCompileExprCmd: expression word in braces} {
sl@0
    94
    expr {-0005}
sl@0
    95
} -5
sl@0
    96
test expr-1.8 {TclCompileExprCmd: expression word in braces} {
sl@0
    97
    expr {{-0x1234}}
sl@0
    98
} -4660
sl@0
    99
test expr-1.9 {TclCompileExprCmd: expression word in braces} {
sl@0
   100
    catch {expr {-0005}foo} msg
sl@0
   101
    set msg
sl@0
   102
} {extra characters after close-brace}
sl@0
   103
test expr-1.10 {TclCompileExprCmd: other expression word in braces} {
sl@0
   104
    expr 4*[llength "6 2"]
sl@0
   105
} 8
sl@0
   106
test expr-1.11 {TclCompileExprCmd: expression word terminated by ;} {
sl@0
   107
    expr 4*[llength "6 2"];
sl@0
   108
} 8
sl@0
   109
test expr-1.12 {TclCompileExprCmd: inlined expr (in "catch") inside other catch} {
sl@0
   110
    set a xxx
sl@0
   111
    catch {
sl@0
   112
	# Might not be a number
sl@0
   113
	set a [expr 10*$a]
sl@0
   114
    }
sl@0
   115
} 1
sl@0
   116
test expr-1.13 {TclCompileExprCmd: second level of substitutions in expr not in braces with single var reference} {
sl@0
   117
    set a xxx
sl@0
   118
    set x 27;  set bool {$x};  if $bool {set a foo}
sl@0
   119
    set a
sl@0
   120
} foo
sl@0
   121
test expr-1.14 {TclCompileExprCmd: second level of substitutions in expr with comparison as top-level operator} {
sl@0
   122
    set a xxx
sl@0
   123
    set x 2;  set b {$x};  set a [expr $b == 2]
sl@0
   124
    set a
sl@0
   125
} 1
sl@0
   126
test expr-1.15 {TclCompileExprCmd: second level of substitutions in expr with comparison as top-level operator} {
sl@0
   127
    set a xxx
sl@0
   128
    set x 2;  set b {$x};  set a [expr $b eq 2]
sl@0
   129
    set a
sl@0
   130
} 1
sl@0
   131
sl@0
   132
test expr-2.1 {TclCompileExpr: are builtin functions registered?} {
sl@0
   133
    expr double(5*[llength "6 2"])
sl@0
   134
} 10.0
sl@0
   135
test expr-2.2 {TclCompileExpr: error in expr} {
sl@0
   136
    catch {expr 2**3} msg
sl@0
   137
    set msg
sl@0
   138
} {syntax error in expression "2**3": unexpected operator *}
sl@0
   139
test expr-2.3 {TclCompileExpr: junk after legal expr} {
sl@0
   140
    catch {expr 7*[llength "a b"]foo} msg
sl@0
   141
    set msg
sl@0
   142
} {syntax error in expression "7*2foo": extra tokens at end of expression}
sl@0
   143
test expr-2.4 {TclCompileExpr: numeric expr string rep == formatted int rep} {
sl@0
   144
    expr {0001}
sl@0
   145
} 1
sl@0
   146
sl@0
   147
test expr-3.1 {CompileCondExpr: just lor expr} {expr 3||0} 1
sl@0
   148
test expr-3.2 {CompileCondExpr: error in lor expr} {
sl@0
   149
    catch {expr x||3} msg
sl@0
   150
    set msg
sl@0
   151
} {syntax error in expression "x||3": variable references require preceding $}
sl@0
   152
test expr-3.3 {CompileCondExpr: test true arm} {expr 3>2?44:66} 44
sl@0
   153
test expr-3.4 {CompileCondExpr: error compiling true arm} {
sl@0
   154
    catch {expr 3>2?2**3:66} msg
sl@0
   155
    set msg
sl@0
   156
} {syntax error in expression "3>2?2**3:66": unexpected operator *}
sl@0
   157
test expr-3.5 {CompileCondExpr: test false arm} {expr 2>3?44:66} 66
sl@0
   158
test expr-3.6 {CompileCondExpr: error compiling false arm} {
sl@0
   159
    catch {expr 2>3?44:2**3} msg
sl@0
   160
    set msg
sl@0
   161
} {syntax error in expression "2>3?44:2**3": unexpected operator *}
sl@0
   162
test expr-3.7 {CompileCondExpr: long arms & nested cond exprs} {unixOnly nonPortable} {
sl@0
   163
    puts "Note: doing test expr-3.7 which can take several minutes to run"
sl@0
   164
    hello_world
sl@0
   165
} {Hello world}
sl@0
   166
catch {unset xxx}
sl@0
   167
test expr-3.8 {CompileCondExpr: long arms & nested cond exprs} {unixOnly nonPortable} {
sl@0
   168
    puts "Note: doing test expr-3.8 which can take several minutes to run"
sl@0
   169
    do_twelve_days
sl@0
   170
} 2358
sl@0
   171
catch {unset xxx}
sl@0
   172
sl@0
   173
test expr-4.1 {CompileLorExpr: just land expr} {expr 1.3&&3.3} 1
sl@0
   174
test expr-4.2 {CompileLorExpr: error in land expr} {
sl@0
   175
    catch {expr x&&3} msg
sl@0
   176
    set msg
sl@0
   177
} {syntax error in expression "x&&3": variable references require preceding $} 
sl@0
   178
test expr-4.3 {CompileLorExpr: simple lor exprs} {expr 0||1.0} 1
sl@0
   179
test expr-4.4 {CompileLorExpr: simple lor exprs} {expr 3.0||0.0} 1
sl@0
   180
test expr-4.5 {CompileLorExpr: simple lor exprs} {expr 0||0||1} 1
sl@0
   181
test expr-4.6 {CompileLorExpr: error compiling lor arm} {
sl@0
   182
    catch {expr 2**3||4.0} msg
sl@0
   183
    set msg
sl@0
   184
} {syntax error in expression "2**3||4.0": unexpected operator *}
sl@0
   185
test expr-4.7 {CompileLorExpr: error compiling lor arm} {
sl@0
   186
    catch {expr 1.3||2**3} msg
sl@0
   187
    set msg
sl@0
   188
} {syntax error in expression "1.3||2**3": unexpected operator *}
sl@0
   189
test expr-4.8 {CompileLorExpr: error compiling lor arms} {
sl@0
   190
    list [catch {expr {"a"||"b"}} msg] $msg
sl@0
   191
} {1 {expected boolean value but got "a"}}
sl@0
   192
test expr-4.9 {CompileLorExpr: long lor arm} {
sl@0
   193
    set a "abcdefghijkl"
sl@0
   194
    set i 7
sl@0
   195
    expr {[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]] || [string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]] || [string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]] || [string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]}
sl@0
   196
} 1
sl@0
   197
sl@0
   198
test expr-5.1 {CompileLandExpr: just bitor expr} {expr 7|0x13} 23
sl@0
   199
test expr-5.2 {CompileLandExpr: error in bitor expr} {
sl@0
   200
    catch {expr x|3} msg
sl@0
   201
    set msg
sl@0
   202
} {syntax error in expression "x|3": variable references require preceding $} 
sl@0
   203
test expr-5.3 {CompileLandExpr: simple land exprs} {expr 0&&1.0} 0
sl@0
   204
test expr-5.4 {CompileLandExpr: simple land exprs} {expr 0&&0} 0
sl@0
   205
test expr-5.5 {CompileLandExpr: simple land exprs} {expr 3.0&&1.2} 1
sl@0
   206
test expr-5.6 {CompileLandExpr: simple land exprs} {expr 1&&1&&2} 1
sl@0
   207
test expr-5.7 {CompileLandExpr: error compiling land arm} {
sl@0
   208
    catch {expr 2**3&&4.0} msg
sl@0
   209
    set msg
sl@0
   210
} {syntax error in expression "2**3&&4.0": unexpected operator *}
sl@0
   211
test expr-5.8 {CompileLandExpr: error compiling land arm} {
sl@0
   212
    catch {expr 1.3&&2**3} msg
sl@0
   213
    set msg
sl@0
   214
} {syntax error in expression "1.3&&2**3": unexpected operator *}
sl@0
   215
test expr-5.9 {CompileLandExpr: error compiling land arm} {
sl@0
   216
    list [catch {expr {"a"&&"b"}} msg] $msg
sl@0
   217
} {1 {expected boolean value but got "a"}}
sl@0
   218
test expr-5.10 {CompileLandExpr: long land arms} {
sl@0
   219
    set a "abcdefghijkl"
sl@0
   220
    set i 7
sl@0
   221
    expr {[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]] && [string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]] && [string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]] && [string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]}
sl@0
   222
} 1
sl@0
   223
sl@0
   224
test expr-6.1 {CompileBitXorExpr: just bitand expr} {expr 7&0x13} 3
sl@0
   225
test expr-6.2 {CompileBitXorExpr: error in bitand expr} {
sl@0
   226
    catch {expr x|3} msg
sl@0
   227
    set msg
sl@0
   228
} {syntax error in expression "x|3": variable references require preceding $} 
sl@0
   229
test expr-6.3 {CompileBitXorExpr: simple bitxor exprs} {expr 7^0x13} 20
sl@0
   230
test expr-6.4 {CompileBitXorExpr: simple bitxor exprs} {expr 3^0x10} 19
sl@0
   231
test expr-6.5 {CompileBitXorExpr: simple bitxor exprs} {expr 0^7} 7
sl@0
   232
test expr-6.6 {CompileBitXorExpr: simple bitxor exprs} {expr -1^7} -8
sl@0
   233
test expr-6.7 {CompileBitXorExpr: error compiling bitxor arm} {
sl@0
   234
    catch {expr 2**3|6} msg
sl@0
   235
    set msg
sl@0
   236
} {syntax error in expression "2**3|6": unexpected operator *}
sl@0
   237
test expr-6.8 {CompileBitXorExpr: error compiling bitxor arm} {
sl@0
   238
    catch {expr 2^x} msg
sl@0
   239
    set msg
sl@0
   240
} {syntax error in expression "2^x": variable references require preceding $}
sl@0
   241
test expr-6.9 {CompileBitXorExpr: runtime error in bitxor arm} {
sl@0
   242
    list [catch {expr {24.0^3}} msg] $msg
sl@0
   243
} {1 {can't use floating-point value as operand of "^"}}
sl@0
   244
test expr-6.10 {CompileBitXorExpr: runtime error in bitxor arm} {
sl@0
   245
    list [catch {expr {"a"^"b"}} msg] $msg
sl@0
   246
} {1 {can't use non-numeric string as operand of "^"}}
sl@0
   247
sl@0
   248
test expr-7.1 {CompileBitAndExpr: just equality expr} {expr 3==2} 0
sl@0
   249
test expr-7.2 {CompileBitAndExpr: just equality expr} {expr 2.0==2} 1
sl@0
   250
test expr-7.3 {CompileBitAndExpr: just equality expr} {expr 3.2!=2.2} 1
sl@0
   251
test expr-7.4 {CompileBitAndExpr: just equality expr} {expr {"abc" == "abd"}} 0
sl@0
   252
test expr-7.5 {CompileBitAndExpr: error in equality expr} {
sl@0
   253
    catch {expr x==3} msg
sl@0
   254
    set msg
sl@0
   255
} {syntax error in expression "x==3": variable references require preceding $}
sl@0
   256
test expr-7.6 {CompileBitAndExpr: simple bitand exprs} {expr 7&0x13} 3
sl@0
   257
test expr-7.7 {CompileBitAndExpr: simple bitand exprs} {expr 0xf2&0x53} 82
sl@0
   258
test expr-7.8 {CompileBitAndExpr: simple bitand exprs} {expr 3&6} 2
sl@0
   259
test expr-7.9 {CompileBitAndExpr: simple bitand exprs} {expr -1&-7} -7
sl@0
   260
test expr-7.10 {CompileBitAndExpr: error compiling bitand arm} {
sl@0
   261
    catch {expr 2**3&6} msg
sl@0
   262
    set msg
sl@0
   263
} {syntax error in expression "2**3&6": unexpected operator *}
sl@0
   264
test expr-7.11 {CompileBitAndExpr: error compiling bitand arm} {
sl@0
   265
    catch {expr 2&x} msg
sl@0
   266
    set msg
sl@0
   267
} {syntax error in expression "2&x": variable references require preceding $}
sl@0
   268
test expr-7.12 {CompileBitAndExpr: runtime error in bitand arm} {
sl@0
   269
    list [catch {expr {24.0&3}} msg] $msg
sl@0
   270
} {1 {can't use floating-point value as operand of "&"}}
sl@0
   271
test expr-7.13 {CompileBitAndExpr: runtime error in bitand arm} {
sl@0
   272
    list [catch {expr {"a"&"b"}} msg] $msg
sl@0
   273
} {1 {can't use non-numeric string as operand of "&"}}
sl@0
   274
test expr-7.14 {CompileBitAndExpr: equality expr} {expr 3eq2} 0
sl@0
   275
test expr-7.18 {CompileBitAndExpr: equality expr} {expr {"abc" eq "abd"}} 0
sl@0
   276
test expr-7.20 {CompileBitAndExpr: error in equality expr} {
sl@0
   277
    catch {expr xne3} msg
sl@0
   278
    set msg
sl@0
   279
} {syntax error in expression "xne3": variable references require preceding $} 
sl@0
   280
sl@0
   281
test expr-8.1 {CompileEqualityExpr: just relational expr} {expr 3>=2} 1
sl@0
   282
test expr-8.2 {CompileEqualityExpr: just relational expr} {expr 2<=2.1} 1
sl@0
   283
test expr-8.3 {CompileEqualityExpr: just relational expr} {expr 3.2>"2.2"} 1
sl@0
   284
test expr-8.4 {CompileEqualityExpr: just relational expr} {expr {"0y"<"0x12"}} 0
sl@0
   285
test expr-8.5 {CompileEqualityExpr: error in relational expr} {
sl@0
   286
    catch {expr x>3} msg
sl@0
   287
    set msg
sl@0
   288
} {syntax error in expression "x>3": variable references require preceding $}
sl@0
   289
test expr-8.6 {CompileEqualityExpr: simple equality exprs} {expr 7==0x13} 0
sl@0
   290
test expr-8.7 {CompileEqualityExpr: simple equality exprs} {expr -0xf2!=0x53} 1
sl@0
   291
test expr-8.8 {CompileEqualityExpr: simple equality exprs} {expr {"12398712938788234-1298379" != ""}} 1
sl@0
   292
test expr-8.9 {CompileEqualityExpr: simple equality exprs} {expr -1!="abc"} 1
sl@0
   293
test expr-8.10 {CompileEqualityExpr: error compiling equality arm} {
sl@0
   294
    catch {expr 2**3==6} msg
sl@0
   295
    set msg
sl@0
   296
} {syntax error in expression "2**3==6": unexpected operator *}
sl@0
   297
test expr-8.11 {CompileEqualityExpr: error compiling equality arm} {
sl@0
   298
    catch {expr 2!=x} msg
sl@0
   299
    set msg
sl@0
   300
} {syntax error in expression "2!=x": variable references require preceding $}
sl@0
   301
test expr-8.12 {CompileBitAndExpr: equality expr} {expr {"a"eq"a"}} 1
sl@0
   302
test expr-8.13 {CompileBitAndExpr: equality expr} {expr {"\374" eq "ü"}} 1
sl@0
   303
test expr-8.14 {CompileBitAndExpr: equality expr} {expr 3eq2} 0
sl@0
   304
test expr-8.15 {CompileBitAndExpr: equality expr} {expr 2.0eq2} 0
sl@0
   305
test expr-8.16 {CompileBitAndExpr: equality expr} {expr 3.2ne2.2} 1
sl@0
   306
test expr-8.17 {CompileBitAndExpr: equality expr} {expr 01eq1} 0
sl@0
   307
test expr-8.18 {CompileBitAndExpr: equality expr} {expr {"abc" eq "abd"}} 0
sl@0
   308
test expr-8.19 {CompileBitAndExpr: equality expr} {expr {"abc" ne "abd"}} 1
sl@0
   309
test expr-8.20 {CompileBitAndExpr: error in equality expr} {
sl@0
   310
    catch {expr x ne3} msg
sl@0
   311
    set msg
sl@0
   312
} {syntax error in expression "x ne3": variable references require preceding $} 
sl@0
   313
test expr-8.21 {CompileBitAndExpr: error in equality expr} {
sl@0
   314
    # These should be ""ed to avoid the error
sl@0
   315
    catch {expr a eq b} msg
sl@0
   316
    set msg
sl@0
   317
} {syntax error in expression "a eq b": variable references require preceding $}
sl@0
   318
sl@0
   319
test expr-9.1 {CompileRelationalExpr: just shift expr} {expr 3<<2} 12
sl@0
   320
test expr-9.2 {CompileRelationalExpr: just shift expr} {expr 0xff>>2} 63
sl@0
   321
test expr-9.3 {CompileRelationalExpr: just shift expr} {expr -1>>2} -1
sl@0
   322
test expr-9.4 {CompileRelationalExpr: just shift expr} {expr {1<<3}} 8
sl@0
   323
sl@0
   324
# The following test is different for 32-bit versus 64-bit
sl@0
   325
# architectures because LONG_MIN is different
sl@0
   326
sl@0
   327
if {0x80000000 > 0} {
sl@0
   328
    test expr-9.5 {CompileRelationalExpr: shift expr producing LONG_MIN} {nonPortable} {
sl@0
   329
	expr {1<<63}
sl@0
   330
    } -9223372036854775808
sl@0
   331
} else {
sl@0
   332
    test expr-9.5 {CompileRelationalExpr: shift expr producing LONG_MIN} {nonPortable} {
sl@0
   333
	expr {1<<31}
sl@0
   334
    } -2147483648
sl@0
   335
}
sl@0
   336
test expr-9.6 {CompileRelationalExpr: error in shift expr} {
sl@0
   337
    catch {expr x>>3} msg
sl@0
   338
    set msg
sl@0
   339
} {syntax error in expression "x>>3": variable references require preceding $}
sl@0
   340
test expr-9.7 {CompileRelationalExpr: simple relational exprs} {expr 0xff>=+0x3} 1
sl@0
   341
test expr-9.8 {CompileRelationalExpr: simple relational exprs} {expr -0xf2<0x3} 1
sl@0
   342
test expr-9.9 {CompileRelationalExpr: error compiling relational arm} {
sl@0
   343
    catch {expr 2**3>6} msg
sl@0
   344
    set msg
sl@0
   345
} {syntax error in expression "2**3>6": unexpected operator *}
sl@0
   346
test expr-9.10 {CompileRelationalExpr: error compiling relational arm} {
sl@0
   347
    catch {expr 2<x} msg
sl@0
   348
    set msg
sl@0
   349
} {syntax error in expression "2<x": variable references require preceding $}
sl@0
   350
sl@0
   351
test expr-10.1 {CompileShiftExpr: just add expr} {expr 4+-2} 2
sl@0
   352
test expr-10.2 {CompileShiftExpr: just add expr} {expr 0xff-2} 253
sl@0
   353
test expr-10.3 {CompileShiftExpr: just add expr} {expr -1--2} 1
sl@0
   354
test expr-10.4 {CompileShiftExpr: just add expr} {expr 1-0123} -82
sl@0
   355
test expr-10.5 {CompileShiftExpr: error in add expr} {
sl@0
   356
    catch {expr x+3} msg
sl@0
   357
    set msg
sl@0
   358
} {syntax error in expression "x+3": variable references require preceding $}
sl@0
   359
test expr-10.6 {CompileShiftExpr: simple shift exprs} {expr 0xff>>0x3} 31
sl@0
   360
test expr-10.7 {CompileShiftExpr: simple shift exprs} {expr -0xf2<<0x3} -1936
sl@0
   361
test expr-10.8 {CompileShiftExpr: error compiling shift arm} {
sl@0
   362
    catch {expr 2**3>>6} msg
sl@0
   363
    set msg
sl@0
   364
} {syntax error in expression "2**3>>6": unexpected operator *}
sl@0
   365
test expr-10.9 {CompileShiftExpr: error compiling shift arm} {
sl@0
   366
    catch {expr 2<<x} msg
sl@0
   367
    set msg
sl@0
   368
} {syntax error in expression "2<<x": variable references require preceding $}
sl@0
   369
test expr-10.10 {CompileShiftExpr: runtime error} {
sl@0
   370
    list [catch {expr {24.0>>43}} msg] $msg
sl@0
   371
} {1 {can't use floating-point value as operand of ">>"}}
sl@0
   372
test expr-10.11 {CompileShiftExpr: runtime error} {
sl@0
   373
    list [catch {expr {"a"<<"b"}} msg] $msg
sl@0
   374
} {1 {can't use non-numeric string as operand of "<<"}}
sl@0
   375
sl@0
   376
test expr-11.1 {CompileAddExpr: just multiply expr} {expr 4*-2} -8
sl@0
   377
test expr-11.2 {CompileAddExpr: just multiply expr} {expr 0xff%2} 1
sl@0
   378
test expr-11.3 {CompileAddExpr: just multiply expr} {expr -1/2} -1
sl@0
   379
test expr-11.4 {CompileAddExpr: just multiply expr} {expr 7891%0123} 6
sl@0
   380
test expr-11.5 {CompileAddExpr: error in multiply expr} {
sl@0
   381
    catch {expr x*3} msg
sl@0
   382
    set msg
sl@0
   383
} {syntax error in expression "x*3": variable references require preceding $}
sl@0
   384
test expr-11.6 {CompileAddExpr: simple add exprs} {expr 0xff++0x3} 258
sl@0
   385
test expr-11.7 {CompileAddExpr: simple add exprs} {expr -0xf2--0x3} -239
sl@0
   386
test expr-11.8 {CompileAddExpr: error compiling add arm} {
sl@0
   387
    catch {expr 2**3+6} msg
sl@0
   388
    set msg
sl@0
   389
} {syntax error in expression "2**3+6": unexpected operator *}
sl@0
   390
test expr-11.9 {CompileAddExpr: error compiling add arm} {
sl@0
   391
    catch {expr 2-x} msg
sl@0
   392
    set msg
sl@0
   393
} {syntax error in expression "2-x": variable references require preceding $}
sl@0
   394
test expr-11.10 {CompileAddExpr: runtime error} {
sl@0
   395
    list [catch {expr {24.0+"xx"}} msg] $msg
sl@0
   396
} {1 {can't use non-numeric string as operand of "+"}}
sl@0
   397
test expr-11.11 {CompileAddExpr: runtime error} {
sl@0
   398
    list [catch {expr {"a"-"b"}} msg] $msg
sl@0
   399
} {1 {can't use non-numeric string as operand of "-"}}
sl@0
   400
test expr-11.12 {CompileAddExpr: runtime error} {
sl@0
   401
    list [catch {expr {3/0}} msg] $msg
sl@0
   402
} {1 {divide by zero}}
sl@0
   403
test expr-11.13 {CompileAddExpr: runtime error} {
sl@0
   404
    list [catch {expr {2.3/0.0}} msg] $msg
sl@0
   405
} {1 {divide by zero}}
sl@0
   406
sl@0
   407
test expr-12.1 {CompileMultiplyExpr: just unary expr} {expr ~4} -5
sl@0
   408
test expr-12.2 {CompileMultiplyExpr: just unary expr} {expr --5} 5
sl@0
   409
test expr-12.3 {CompileMultiplyExpr: just unary expr} {expr !27} 0
sl@0
   410
test expr-12.4 {CompileMultiplyExpr: just unary expr} {expr ~0xff00ff} -16711936
sl@0
   411
test expr-12.5 {CompileMultiplyExpr: error in unary expr} {
sl@0
   412
    catch {expr ~x} msg
sl@0
   413
    set msg
sl@0
   414
} {syntax error in expression "~x": variable references require preceding $}
sl@0
   415
test expr-12.6 {CompileMultiplyExpr: simple multiply exprs} {expr 0xff*0x3} 765
sl@0
   416
test expr-12.7 {CompileMultiplyExpr: simple multiply exprs} {expr -0xf2%-0x3} -2
sl@0
   417
test expr-12.8 {CompileMultiplyExpr: error compiling multiply arm} {
sl@0
   418
    catch {expr 2*3%%6} msg
sl@0
   419
    set msg
sl@0
   420
} {syntax error in expression "2*3%%6": unexpected operator %}
sl@0
   421
test expr-12.9 {CompileMultiplyExpr: error compiling multiply arm} {
sl@0
   422
    catch {expr 2*x} msg
sl@0
   423
    set msg
sl@0
   424
} {syntax error in expression "2*x": variable references require preceding $}
sl@0
   425
test expr-12.10 {CompileMultiplyExpr: runtime error} {
sl@0
   426
    list [catch {expr {24.0*"xx"}} msg] $msg
sl@0
   427
} {1 {can't use non-numeric string as operand of "*"}}
sl@0
   428
test expr-12.11 {CompileMultiplyExpr: runtime error} {
sl@0
   429
    list [catch {expr {"a"/"b"}} msg] $msg
sl@0
   430
} {1 {can't use non-numeric string as operand of "/"}}
sl@0
   431
sl@0
   432
test expr-13.1 {CompileUnaryExpr: unary exprs} {expr -0xff} -255
sl@0
   433
test expr-13.2 {CompileUnaryExpr: unary exprs} {expr +000123} 83
sl@0
   434
test expr-13.3 {CompileUnaryExpr: unary exprs} {expr +--++36} 36
sl@0
   435
test expr-13.4 {CompileUnaryExpr: unary exprs} {expr !2} 0
sl@0
   436
test expr-13.5 {CompileUnaryExpr: unary exprs} {expr +--+-62.0} -62.0
sl@0
   437
test expr-13.6 {CompileUnaryExpr: unary exprs} {expr !0.0} 1
sl@0
   438
test expr-13.7 {CompileUnaryExpr: unary exprs} {expr !0xef} 0
sl@0
   439
test expr-13.8 {CompileUnaryExpr: error compiling unary expr} {
sl@0
   440
    catch {expr ~x} msg
sl@0
   441
    set msg
sl@0
   442
} {syntax error in expression "~x": variable references require preceding $}
sl@0
   443
test expr-13.9 {CompileUnaryExpr: error compiling unary expr} {
sl@0
   444
    catch {expr !1.x} msg
sl@0
   445
    set msg
sl@0
   446
} {syntax error in expression "!1.x": extra tokens at end of expression}
sl@0
   447
test expr-13.10 {CompileUnaryExpr: runtime error} {
sl@0
   448
    list [catch {expr {~"xx"}} msg] $msg
sl@0
   449
} {1 {can't use non-numeric string as operand of "~"}}
sl@0
   450
test expr-13.11 {CompileUnaryExpr: runtime error} {
sl@0
   451
    list [catch {expr ~4.0} msg] $msg
sl@0
   452
} {1 {can't use floating-point value as operand of "~"}}
sl@0
   453
test expr-13.12 {CompileUnaryExpr: just primary expr} {expr 0x123} 291
sl@0
   454
test expr-13.13 {CompileUnaryExpr: just primary expr} {
sl@0
   455
    set a 27
sl@0
   456
    expr $a
sl@0
   457
} 27
sl@0
   458
test expr-13.14 {CompileUnaryExpr: just primary expr} {
sl@0
   459
    expr double(27)
sl@0
   460
} 27.0
sl@0
   461
test expr-13.15 {CompileUnaryExpr: just primary expr} {expr "123"} 123
sl@0
   462
test expr-13.16 {CompileUnaryExpr: error in primary expr} {
sl@0
   463
    catch {expr [set]} msg
sl@0
   464
    set msg
sl@0
   465
} {wrong # args: should be "set varName ?newValue?"}
sl@0
   466
test expr-13.17 {CompileUnaryExpr: negating non-numeric boolean literals} {
sl@0
   467
    set a1 yes; set a0 no; set b1 true; set b0 false
sl@0
   468
    list [expr {!$a1}] [expr {!$a0}] [expr {!$b1}] [expr {!$b0}]
sl@0
   469
} {0 1 0 1}
sl@0
   470
sl@0
   471
test expr-14.1 {CompilePrimaryExpr: literal primary} {expr 1} 1
sl@0
   472
test expr-14.2 {CompilePrimaryExpr: literal primary} {expr 123} 123
sl@0
   473
test expr-14.3 {CompilePrimaryExpr: literal primary} {expr 0xff} 255
sl@0
   474
test expr-14.4 {CompilePrimaryExpr: literal primary} {expr 00010} 8
sl@0
   475
test expr-14.5 {CompilePrimaryExpr: literal primary} {expr 62.0} 62.0
sl@0
   476
test expr-14.6 {CompilePrimaryExpr: literal primary} {
sl@0
   477
    expr 3.1400000
sl@0
   478
} 3.14
sl@0
   479
test expr-14.7 {CompilePrimaryExpr: literal primary} {expr {{abcde}<{abcdef}}} 1
sl@0
   480
test expr-14.8 {CompilePrimaryExpr: literal primary} {expr {{abc\
sl@0
   481
def} < {abcdef}}} 1
sl@0
   482
test expr-14.9 {CompilePrimaryExpr: literal primary} {expr {{abc\tde} > {abc\tdef}}} 0
sl@0
   483
test expr-14.10 {CompilePrimaryExpr: literal primary} {expr {{123}}} 123
sl@0
   484
test expr-14.11 {CompilePrimaryExpr: var reference primary} {
sl@0
   485
    set i 789
sl@0
   486
    list [expr {$i}] [expr $i]
sl@0
   487
} {789 789}
sl@0
   488
test expr-14.12 {CompilePrimaryExpr: var reference primary} {
sl@0
   489
    set i {789}    ;# test expr's aggressive conversion to numeric semantics
sl@0
   490
    list [expr {$i}] [expr $i]
sl@0
   491
} {789 789}
sl@0
   492
test expr-14.13 {CompilePrimaryExpr: var reference primary} {
sl@0
   493
    catch {unset a}
sl@0
   494
    set a(foo) foo
sl@0
   495
    set a(bar) bar
sl@0
   496
    set a(123) 123
sl@0
   497
    set result ""
sl@0
   498
    lappend result [expr $a(123)] [expr {$a(bar)<$a(foo)}]
sl@0
   499
    catch {unset a}
sl@0
   500
    set result
sl@0
   501
} {123 1}
sl@0
   502
test expr-14.14 {CompilePrimaryExpr: var reference primary} {
sl@0
   503
    set i 123    ;# test "$var.0" floating point conversion hack
sl@0
   504
    list [expr $i] [expr $i.0] [expr $i.0/12.0]
sl@0
   505
} {123 123.0 10.25}
sl@0
   506
test expr-14.15 {CompilePrimaryExpr: var reference primary} {
sl@0
   507
    set i 123
sl@0
   508
    catch {expr $i.2} msg
sl@0
   509
    set msg
sl@0
   510
} 123.2
sl@0
   511
test expr-14.16 {CompilePrimaryExpr: error compiling var reference primary} {
sl@0
   512
    catch {expr {$a(foo}} msg
sl@0
   513
    set errorInfo
sl@0
   514
} {missing )
sl@0
   515
    while compiling
sl@0
   516
"expr {$a(foo}"}
sl@0
   517
test expr-14.17 {CompilePrimaryExpr: string primary that looks like var ref} {
sl@0
   518
    expr $
sl@0
   519
} $
sl@0
   520
test expr-14.18 {CompilePrimaryExpr: quoted string primary} {
sl@0
   521
    expr "21"
sl@0
   522
} 21
sl@0
   523
test expr-14.19 {CompilePrimaryExpr: quoted string primary} {
sl@0
   524
    set i 123
sl@0
   525
    set x 456
sl@0
   526
    expr "$i+$x"
sl@0
   527
} 579
sl@0
   528
test expr-14.20 {CompilePrimaryExpr: quoted string primary} {
sl@0
   529
    set i 3
sl@0
   530
    set x 6
sl@0
   531
    expr 2+"$i.$x"
sl@0
   532
} 5.6
sl@0
   533
test expr-14.21 {CompilePrimaryExpr: error in quoted string primary} {
sl@0
   534
    catch {expr "[set]"} msg
sl@0
   535
    set msg
sl@0
   536
} {wrong # args: should be "set varName ?newValue?"}
sl@0
   537
test expr-14.22 {CompilePrimaryExpr: subcommand primary} {
sl@0
   538
    expr {[set i 123; set i]}
sl@0
   539
} 123
sl@0
   540
test expr-14.23 {CompilePrimaryExpr: error in subcommand primary} {
sl@0
   541
    catch {expr {[set]}} msg
sl@0
   542
    set errorInfo
sl@0
   543
} {wrong # args: should be "set varName ?newValue?"
sl@0
   544
    while compiling
sl@0
   545
"set"
sl@0
   546
    while compiling
sl@0
   547
"expr {[set]}"}
sl@0
   548
test expr-14.24 {CompilePrimaryExpr: error in subcommand primary} {
sl@0
   549
    catch {expr {[set i}} msg
sl@0
   550
    set errorInfo
sl@0
   551
} {missing close-bracket
sl@0
   552
    while compiling
sl@0
   553
"expr {[set i}"}
sl@0
   554
test expr-14.25 {CompilePrimaryExpr: math function primary} {
sl@0
   555
    format %.6g [expr exp(1.0)]
sl@0
   556
} 2.71828
sl@0
   557
test expr-14.26 {CompilePrimaryExpr: math function primary} {
sl@0
   558
    format %.6g [expr pow(2.0+0.1,3.0+0.1)]
sl@0
   559
} 9.97424
sl@0
   560
test expr-14.27 {CompilePrimaryExpr: error in math function primary} {
sl@0
   561
    catch {expr sinh::(2.0)} msg
sl@0
   562
    set errorInfo
sl@0
   563
} {syntax error in expression "sinh::(2.0)": expected parenthesis enclosing function arguments
sl@0
   564
    while compiling
sl@0
   565
"expr sinh::(2.0)"}
sl@0
   566
test expr-14.28 {CompilePrimaryExpr: subexpression primary} {
sl@0
   567
    expr 2+(3*4)
sl@0
   568
} 14
sl@0
   569
test expr-14.29 {CompilePrimaryExpr: error in subexpression primary} {
sl@0
   570
    catch {expr 2+(3*[set])} msg
sl@0
   571
    set errorInfo
sl@0
   572
} {wrong # args: should be "set varName ?newValue?"
sl@0
   573
    while compiling
sl@0
   574
"set"
sl@0
   575
    while compiling
sl@0
   576
"expr 2+(3*[set])"}
sl@0
   577
test expr-14.30 {CompilePrimaryExpr: missing paren in subexpression primary} {
sl@0
   578
    catch {expr 2+(3*(4+5)} msg
sl@0
   579
    set errorInfo
sl@0
   580
} {syntax error in expression "2+(3*(4+5)": looking for close parenthesis
sl@0
   581
    while compiling
sl@0
   582
"expr 2+(3*(4+5)"}
sl@0
   583
test expr-14.31 {CompilePrimaryExpr: just var ref in subexpression primary} {
sl@0
   584
    set i "5+10"
sl@0
   585
    list "[expr $i] == 15" "[expr ($i)] == 15" "[eval expr ($i)] == 15"
sl@0
   586
} {{15 == 15} {15 == 15} {15 == 15}}
sl@0
   587
test expr-14.32 {CompilePrimaryExpr: unexpected token} {
sl@0
   588
    catch {expr @} msg
sl@0
   589
    set errorInfo
sl@0
   590
} {syntax error in expression "@": character not legal in expressions
sl@0
   591
    while compiling
sl@0
   592
"expr @"}
sl@0
   593
sl@0
   594
test expr-15.1 {CompileMathFuncCall: missing parenthesis} {
sl@0
   595
    catch {expr sinh2.0)} msg
sl@0
   596
    set errorInfo
sl@0
   597
} {syntax error in expression "sinh2.0)": variable references require preceding $
sl@0
   598
    while compiling
sl@0
   599
"expr sinh2.0)"}
sl@0
   600
test expr-15.2 {CompileMathFuncCall: unknown math function} {
sl@0
   601
    catch {expr whazzathuh(1)} msg
sl@0
   602
    set errorInfo
sl@0
   603
} {unknown math function "whazzathuh"
sl@0
   604
    while compiling
sl@0
   605
"expr whazzathuh(1)"}
sl@0
   606
test expr-15.3 {CompileMathFuncCall: too many arguments} {
sl@0
   607
    catch {expr sin(1,2,3)} msg
sl@0
   608
    set errorInfo
sl@0
   609
} {too many arguments for math function
sl@0
   610
    while compiling
sl@0
   611
"expr sin(1,2,3)"}
sl@0
   612
test expr-15.4 {CompileMathFuncCall: ')' found before last required arg} {
sl@0
   613
    catch {expr sin()} msg
sl@0
   614
    set errorInfo
sl@0
   615
} {too few arguments for math function
sl@0
   616
    while compiling
sl@0
   617
"expr sin()"}
sl@0
   618
test expr-15.5 {CompileMathFuncCall: too few arguments} {
sl@0
   619
    catch {expr pow(1)} msg
sl@0
   620
    set errorInfo
sl@0
   621
} {too few arguments for math function
sl@0
   622
    while compiling
sl@0
   623
"expr pow(1)"}
sl@0
   624
test expr-15.6 {CompileMathFuncCall: missing ')'} {
sl@0
   625
    catch {expr sin(1} msg
sl@0
   626
    set errorInfo
sl@0
   627
} {syntax error in expression "sin(1": missing close parenthesis at end of function call
sl@0
   628
    while compiling
sl@0
   629
"expr sin(1"}
sl@0
   630
test expr-15.7 {CompileMathFuncCall: call registered math function} {registeredMathFuncs} {
sl@0
   631
    expr 2*T1()
sl@0
   632
} 246
sl@0
   633
test expr-15.8 {CompileMathFuncCall: call registered math function} {registeredMathFuncs} {
sl@0
   634
    expr T2()*3
sl@0
   635
} 1035
sl@0
   636
test expr-15.9 {CompileMathFuncCall: call registered math function} {registeredMathFuncs} {
sl@0
   637
    expr T3(21, 37)
sl@0
   638
} 37
sl@0
   639
test expr-15.10 {CompileMathFuncCall: call registered math function} {registeredMathFuncs} {
sl@0
   640
    expr T3(21.2, 37)
sl@0
   641
} 37.0
sl@0
   642
test expr-15.11 {CompileMathFuncCall: call registered math function} {registeredMathFuncs} {
sl@0
   643
    expr T3(-21.2, -17.5)
sl@0
   644
} -17.5
sl@0
   645
test expr-15.12 {ExprCallMathFunc: call registered math function} {registeredMathFuncs} {
sl@0
   646
    expr T3(21, wide(37))
sl@0
   647
} 37
sl@0
   648
test expr=15.13 {ExprCallMathFunc: call registered math function} {registeredMathFuncs} {
sl@0
   649
    expr T3(wide(21), 37)
sl@0
   650
} 37
sl@0
   651
test expr=15.14 {ExprCallMathFunc: call registered math function} {registeredMathFuncs} {
sl@0
   652
    expr T3(wide(21), wide(37))
sl@0
   653
} 37
sl@0
   654
test expr-15.15 {ExprCallMathFunc: call registered math function} {registeredMathFuncs} {
sl@0
   655
    expr T3(21.0, wide(37))
sl@0
   656
} 37.0
sl@0
   657
test expr=15.16 {ExprCallMathFunc: call registered math function} {registeredMathFuncs} {
sl@0
   658
    expr T3(wide(21), 37.0)
sl@0
   659
} 37.0
sl@0
   660
sl@0
   661
test expr-16.1 {GetToken: checks whether integer token starting with "0x" (e.g., "0x$") is invalid} {
sl@0
   662
    catch {unset a}
sl@0
   663
    set a(VALUE) ff15
sl@0
   664
    set i 123
sl@0
   665
    if {[expr 0x$a(VALUE)] & 16} {
sl@0
   666
        set i {}
sl@0
   667
    }
sl@0
   668
    set i
sl@0
   669
} {}
sl@0
   670
test expr-16.2 {GetToken: check for string literal in braces} {
sl@0
   671
    expr {{1}}
sl@0
   672
} {1}
sl@0
   673
sl@0
   674
# Check "expr" and computed command names.
sl@0
   675
sl@0
   676
test expr-17.1 {expr and computed command names} {
sl@0
   677
    set i 0
sl@0
   678
    set z expr
sl@0
   679
    $z 1+2
sl@0
   680
} 3
sl@0
   681
sl@0
   682
# Check correct conversion of operands to numbers: If the string looks like
sl@0
   683
# an integer, convert to integer. Otherwise, if the string looks like a
sl@0
   684
# double, convert to double.
sl@0
   685
sl@0
   686
test expr-18.1 {expr and conversion of operands to numbers} {
sl@0
   687
    set x [lindex 11 0]
sl@0
   688
    catch {expr int($x)}
sl@0
   689
    expr {$x}
sl@0
   690
} 11
sl@0
   691
test expr-18.2 {whitespace strings should not be == 0 (buggy strtod)} {
sl@0
   692
    expr {" "}
sl@0
   693
} { }
sl@0
   694
sl@0
   695
# Check "expr" and interpreter result object resetting before appending
sl@0
   696
# an error msg during evaluation of exprs not in {}s
sl@0
   697
sl@0
   698
test expr-19.1 {expr and interpreter result object resetting} {
sl@0
   699
    proc p {} {
sl@0
   700
        set t  10.0
sl@0
   701
        set x  2.0
sl@0
   702
        set dx 0.2
sl@0
   703
        set f  {$dx-$x/10}
sl@0
   704
        set g  {-$x/5}
sl@0
   705
        set center 1.0
sl@0
   706
        set x  [expr $x-$center]
sl@0
   707
        set dx [expr $dx+$g]
sl@0
   708
        set x  [expr $x+$f+$center]
sl@0
   709
        set x  [expr $x+$f+$center]
sl@0
   710
        set y  [expr round($x)]
sl@0
   711
    }
sl@0
   712
    p
sl@0
   713
} 3
sl@0
   714
sl@0
   715
# Test for incorrect "double evaluation" semantics
sl@0
   716
sl@0
   717
test expr-20.1 {wrong brace matching} {
sl@0
   718
    catch {unset l}
sl@0
   719
    catch {unset r}
sl@0
   720
    catch {unset q}
sl@0
   721
    catch {unset cmd}
sl@0
   722
    catch {unset a}
sl@0
   723
    set l "\{"; set r "\}"; set q "\""
sl@0
   724
    set cmd "expr $l$q|$q == $q$r$q$r"
sl@0
   725
    list [catch $cmd a] $a
sl@0
   726
} {1 {extra characters after close-brace}}
sl@0
   727
test expr-20.2 {double invocation of variable traces} {
sl@0
   728
    set exprtracecounter 0
sl@0
   729
    proc exprtraceproc {args} {
sl@0
   730
       upvar #0 exprtracecounter counter
sl@0
   731
       set argc [llength $args]
sl@0
   732
       set extraargs [lrange $args 0 [expr {$argc - 4}]]
sl@0
   733
       set name [lindex $args [expr {$argc - 3}]]
sl@0
   734
       upvar 1 $name var
sl@0
   735
       if {[incr counter] % 2 == 1} {
sl@0
   736
           set var "$counter oops [concat $extraargs]"
sl@0
   737
       } else {
sl@0
   738
           set var "$counter + [concat $extraargs]"
sl@0
   739
       }
sl@0
   740
    }
sl@0
   741
    trace variable exprtracevar r [list exprtraceproc 10]
sl@0
   742
    list [catch {expr "$exprtracevar + 20"} a] $a \
sl@0
   743
        [catch {expr "$exprtracevar + 20"} b] $b \
sl@0
   744
        [unset exprtracevar exprtracecounter]
sl@0
   745
} {1 {syntax error in expression "1 oops 10 + 20": extra tokens at end of expression} 0 32 {}}
sl@0
   746
test expr-20.3 {broken substitution of integer digits} {
sl@0
   747
    # fails with 8.0.x, but not 8.1b2
sl@0
   748
    list [set a 000; expr 0x1$a] [set a 1; expr ${a}000]
sl@0
   749
} {4096 1000}
sl@0
   750
test expr-20.4 {proper double evaluation compilation, error case} {
sl@0
   751
    catch {unset a}; # make sure $a doesn't exist
sl@0
   752
    list [catch {expr 1?{$a}:0} msg] $msg
sl@0
   753
} {1 {can't read "a": no such variable}}
sl@0
   754
test expr-20.5 {proper double evaluation compilation, working case} {
sl@0
   755
    set a yellow
sl@0
   756
    expr 1?{$a}:0
sl@0
   757
} yellow
sl@0
   758
test expr-20.6 {handling of compile error in trial compile} {
sl@0
   759
    list [catch {expr + {[incr]}} msg] $msg
sl@0
   760
} {1 {wrong # args: should be "incr varName ?increment?"}}
sl@0
   761
test expr-20.7 {handling of compile error in runtime case} {
sl@0
   762
    list [catch {expr + {[error foo]}} msg] $msg
sl@0
   763
} {1 foo}
sl@0
   764
sl@0
   765
# Test for non-numeric boolean literal handling
sl@0
   766
test expr-21.1 	{non-numeric boolean literals} {expr false } false
sl@0
   767
test expr-21.2 	{non-numeric boolean literals} {expr true  } true
sl@0
   768
test expr-21.3 	{non-numeric boolean literals} {expr off   } off
sl@0
   769
test expr-21.4 	{non-numeric boolean literals} {expr on    } on
sl@0
   770
test expr-21.5 	{non-numeric boolean literals} {expr no    } no
sl@0
   771
test expr-21.6 	{non-numeric boolean literals} {expr yes   } yes
sl@0
   772
test expr-21.7 	{non-numeric boolean literals} {expr !false} 1
sl@0
   773
test expr-21.8 	{non-numeric boolean literals} {expr !true } 0
sl@0
   774
test expr-21.9 	{non-numeric boolean literals} {expr !off  } 1
sl@0
   775
test expr-21.10 {non-numeric boolean literals} {expr !on   } 0
sl@0
   776
test expr-21.11 {non-numeric boolean literals} {expr !no   } 1
sl@0
   777
test expr-21.12 {non-numeric boolean literals} {expr !yes  } 0
sl@0
   778
sl@0
   779
# Test for non-numeric float handling.
sl@0
   780
#
sl@0
   781
# These are non-portable because strtod()-support for "Inf" and "NaN"
sl@0
   782
# is so wildly variable.  This sucks...
sl@0
   783
test expr-22.1 {non-numeric floats} nonPortable {
sl@0
   784
    list [catch {expr {NaN + 1}} msg] $msg
sl@0
   785
} {1 {can't use non-numeric floating-point value as operand of "+"}}
sl@0
   786
test expr-22.2 {non-numeric floats} nonPortable {
sl@0
   787
    list [catch {expr {Inf + 1}} msg] $msg
sl@0
   788
} {1 {can't use infinite floating-point value as operand of "+"}}
sl@0
   789
test expr-22.3 {non-numeric floats} nonPortable {
sl@0
   790
    set nan NaN
sl@0
   791
    list [catch {expr {$nan + 1}} msg] $msg
sl@0
   792
} {1 {can't use non-numeric floating-point value as operand of "+"}}
sl@0
   793
test expr-22.4 {non-numeric floats} nonPortable {
sl@0
   794
    set inf Inf
sl@0
   795
    list [catch {expr {$inf + 1}} msg] $msg
sl@0
   796
} {1 {can't use infinite floating-point value as operand of "+"}}
sl@0
   797
test expr-22.5 {non-numeric floats} nonPortable {
sl@0
   798
    list [catch {expr NaN} msg] $msg
sl@0
   799
} {1 {domain error: argument not in valid range}}
sl@0
   800
test expr-22.6 {non-numeric floats} nonPortable {
sl@0
   801
    list [catch {expr Inf} msg] $msg
sl@0
   802
} {1 {floating-point value too large to represent}}
sl@0
   803
test expr-22.7 {non-numeric floats} nonPortable {
sl@0
   804
    list [catch {expr {1 / NaN}} msg] $msg
sl@0
   805
} {1 {can't use non-numeric floating-point value as operand of "/"}}
sl@0
   806
test expr-22.8 {non-numeric floats} nonPortable {
sl@0
   807
    list [catch {expr {1 / Inf}} msg] $msg
sl@0
   808
} {1 {can't use infinite floating-point value as operand of "/"}}
sl@0
   809
# Make sure [Bug 761471] stays fixed.
sl@0
   810
test expr-22.9 {non-numeric floats: shared object equality and NaN} nonPortable {
sl@0
   811
    set x NaN
sl@0
   812
    expr {$x == $x}
sl@0
   813
} 0
sl@0
   814
sl@0
   815
# Some compilers get this wrong; ensure that we work around it correctly
sl@0
   816
test expr-24.1 {expr edge cases; shifting} {expr int(5)>>31} 0
sl@0
   817
test expr-24.2 {expr edge cases; shifting} {expr int(5)>>63} 0
sl@0
   818
test expr-24.3 {expr edge cases; shifting} {expr wide(5)>>31} 0
sl@0
   819
test expr-24.4 {expr edge cases; shifting} {expr wide(5)>>63} 0
sl@0
   820
test expr-24.5 {expr edge cases; shifting} nonPortable {expr int(5)<<31} 0
sl@0
   821
test expr-24.6 {expr edge cases; shifting} nonPortable {expr int(5)<<63} 0
sl@0
   822
test expr-24.7 {expr edge cases; shifting} {expr wide(5)<<31} 10737418240
sl@0
   823
test expr-24.8 {expr edge cases; shifting} nonPortable {expr wide(5)<<63} -9223372036854775808
sl@0
   824
test expr-24.9 {expr edge cases; shifting} {expr 5>>32} 0
sl@0
   825
sl@0
   826
test expr-38.1 {abs of smallest 32-bit integer [Bug 1241572]} {wideIs64bit} {
sl@0
   827
    expr {abs(int(-2147483648))}
sl@0
   828
} 2147483648
sl@0
   829
sl@0
   830
test expr-46.1 {round() rounds to +-infinity} {
sl@0
   831
    expr round(0.5)
sl@0
   832
} 1
sl@0
   833
test expr-46.2 {round() rounds to +-infinity} {
sl@0
   834
    expr round(1.5)
sl@0
   835
} 2
sl@0
   836
test expr-46.3 {round() rounds to +-infinity} {
sl@0
   837
    expr round(-0.5)
sl@0
   838
} -1
sl@0
   839
test expr-46.4 {round() rounds to +-infinity} {
sl@0
   840
    expr round(-1.5)
sl@0
   841
} -2
sl@0
   842
test expr-46.5 {round() overflow} {
sl@0
   843
    list [catch {expr round(9.2233720368547758e+018)} result] $result
sl@0
   844
} {1 {integer value too large to represent}}
sl@0
   845
test expr-46.6 {round() overflow} {
sl@0
   846
    list [catch {expr round(-9.2233720368547758e+018)} result] $result
sl@0
   847
} {1 {integer value too large to represent}}
sl@0
   848
test expr-46.7 {round() bad value} {
sl@0
   849
    set x trash
sl@0
   850
    list [catch {expr {round($x)}} result] $result
sl@0
   851
} {1 {argument to math function didn't have numeric value}}
sl@0
   852
test expr-46.8 {round() already an integer} {
sl@0
   853
    set x 123456789012
sl@0
   854
    incr x
sl@0
   855
    expr round($x)
sl@0
   856
} 123456789013
sl@0
   857
test expr-46.9 {round() boundary case - 1/2 - 1 ulp} {
sl@0
   858
    set x 0.25
sl@0
   859
    set bit 0.125
sl@0
   860
    while 1 {
sl@0
   861
	set newx [expr {$x + $bit}]
sl@0
   862
	if { $newx == $x || $newx == 0.5 } break
sl@0
   863
	set x $newx
sl@0
   864
	set bit [expr { $bit / 2.0 }]
sl@0
   865
    }
sl@0
   866
    expr {round($x)}
sl@0
   867
} 0
sl@0
   868
test expr-46.10 {round() boundary case - 1/2 + 1 ulp} {
sl@0
   869
    set x 0.75
sl@0
   870
    set bit 0.125
sl@0
   871
    while 1 {
sl@0
   872
	set newx [expr { $x - $bit }]
sl@0
   873
	if { $newx == $x || $newx == 0.5 } break
sl@0
   874
	set x $newx
sl@0
   875
	set bit [expr { $bit / 2.0 }]
sl@0
   876
    }
sl@0
   877
    expr {round($x)}
sl@0
   878
} 1
sl@0
   879
test expr-46.11 {round() boundary case - -1/2 - 1 ulp} {
sl@0
   880
    set x -0.75
sl@0
   881
    set bit 0.125
sl@0
   882
    while 1 {
sl@0
   883
	set newx [expr { $x + $bit }]
sl@0
   884
	if { $newx == $x || $newx == -0.5 } break
sl@0
   885
	set x $newx
sl@0
   886
	set bit [expr { $bit / 2.0 }]
sl@0
   887
    }
sl@0
   888
    expr {round($x)}
sl@0
   889
} -1
sl@0
   890
test expr-46.12 {round() boundary case - -1/2 + 1 ulp} {
sl@0
   891
    set x -0.25
sl@0
   892
    set bit 0.125
sl@0
   893
    while 1 {
sl@0
   894
	set newx [expr { $x - $bit }]
sl@0
   895
	if { $newx == $x || $newx == -0.5 } break
sl@0
   896
	set x $newx
sl@0
   897
	set bit [expr { $bit / 2.0 }]
sl@0
   898
    }
sl@0
   899
    expr {round($x)}
sl@0
   900
} 0
sl@0
   901
sl@0
   902
test expr-46.13 {round() boundary case - round down} {
sl@0
   903
    expr {round(2147483647 - 0.51)}
sl@0
   904
} 2147483646
sl@0
   905
sl@0
   906
test expr-46.14 {round() boundary case - round up} {
sl@0
   907
    expr {round(2147483647 - 0.50)}
sl@0
   908
} 2147483647
sl@0
   909
sl@0
   910
test expr-46.15 {round() boundary case - round up to wide} {
sl@0
   911
    expr {round(2147483647 + 0.50)}
sl@0
   912
} [expr {wide(2147483647) + 1}]
sl@0
   913
sl@0
   914
test expr-46.16 {round() boundary case - round up} {
sl@0
   915
    expr {round(-2147483648 + 0.51)}
sl@0
   916
} -2147483647
sl@0
   917
sl@0
   918
test expr-46.17 {round() boundary case - round down} {
sl@0
   919
    expr {round(-2147483648 + 0.50)}
sl@0
   920
} -2147483648
sl@0
   921
test expr-46.18 {round() boundary case - round down to wide} {
sl@0
   922
    expr {round(-2147483648 - 0.50)}
sl@0
   923
} [expr {wide(-2147483648) - 1}]
sl@0
   924
sl@0
   925
# cleanup
sl@0
   926
if {[info exists a]} {
sl@0
   927
    unset a
sl@0
   928
}
sl@0
   929
::tcltest::cleanupTests
sl@0
   930
return