diff options
author | Rob Pike <r@golang.org> | 2008-08-13 12:15:24 -0700 |
---|---|---|
committer | Rob Pike <r@golang.org> | 2008-08-13 12:15:24 -0700 |
commit | 37f425a2940d053f1428a03fbf07ff9cb1b5cef4 (patch) | |
tree | 1c87916d345d86325bef808954f0512c7030f00e /test/const.go | |
parent | 8b845d78984cfa4d59e28826d8fce289e8fb73c5 (diff) | |
download | go-37f425a2940d053f1428a03fbf07ff9cb1b5cef4.tar.gz |
add test for constants
add bug in constant evaluation (erroneously allowing assignment of float to int)
update golden
R=gri
OCL=14153
CL=14153
Diffstat (limited to 'test/const.go')
-rw-r--r-- | test/const.go | 118 |
1 files changed, 118 insertions, 0 deletions
diff --git a/test/const.go b/test/const.go new file mode 100644 index 000000000..ced52dc22 --- /dev/null +++ b/test/const.go @@ -0,0 +1,118 @@ +// $G $F.go && $L $F.$A && ./$A.out + +// Copyright 2009 The Go Authors. All rights reserved. +// Use of this source code is governed by a BSD-style +// license that can be found in the LICENSE file. + +package main + +const ( + c0 = 0; + cm1 = -1; + chuge = 1 << 100; + chuge_1 = chuge - 1; + c1 = chuge >> 100; + c3div2 = 3/2; + c1e3 = 1e3; +) + +const ( + f0 = 0.0; + fm1 = -1.; + fhuge float64 = 1 << 100; + fhuge_1 float64 = chuge - 1; + f1 float64 = chuge >> 100; + f3div2 = 3./2.; + f1e3 float64 = 1e3; +) + +func assert(t bool, s string) { + if !t { + panic(s) + } +} + +func ints() { + assert(c0 == 0, "c0"); + assert(c1 == 1, "c1"); + assert(chuge > chuge_1, "chuge"); + assert(chuge_1 + 1 == chuge, "chuge 1"); + assert(chuge + cm1 +1 == chuge, "cm1"); + assert(c3div2 == 1, "3/2"); + assert(c1e3 == 1000, "c1e3 int"); + assert(c1e3 == 1e3, "c1e3 float"); + + // verify that all (in range) are assignable as ints + var i int; + i = c0; + assert(i == c0, "i == c0"); + i = cm1; + assert(i == cm1, "i == cm1"); + i = c1; + assert(i == c1, "i == c1"); + i = c3div2; + assert(i == c3div2, "i == c3div2"); + i = c1e3; + assert(i == c1e3, "i == c1e3"); + + // verify that all are assignable as floats + var f float64; + f = c0; + assert(f == c0, "f == c0"); + f = cm1; + assert(f == cm1, "f == cm1"); + f = chuge; + assert(f == chuge, "f == chuge"); + f = chuge_1; + assert(f == chuge_1, "f == chuge_1"); + f = c1; + assert(f == c1, "f == c1"); + f = c3div2; + assert(f == c3div2, "f == c3div2"); + f = c1e3; + assert(f == c1e3, "f == c1e3"); +} + +func floats() { + assert(f0 == c0, "f0"); + assert(f1 == c1, "f1"); + assert(fhuge > fhuge_1, "fhuge"); + assert(fhuge_1 + 1 == fhuge, "fhuge 1"); + assert(fhuge + fm1 +1 == fhuge, "fm1"); + assert(f3div2 == 1.5, "3./2."); + assert(f1e3 == 1000, "f1e3 int"); + assert(f1e3 == 1.e3, "f1e3 float"); + + // verify that all (in range) are assignable as ints + var i int; + i = f0; + assert(i == f0, "i == f0"); + i = fm1; + assert(i == fm1, "i == fm1"); + i = f1; + assert(i == f1, "i == f1"); + i = f1e3; + assert(i == f1e3, "i == f1e3"); + + // verify that all are assignable as floats + var f float64; + f = f0; + assert(f == f0, "f == f0"); + f = fm1; + assert(f == fm1, "f == fm1"); + f = fhuge; + assert(f == fhuge, "f == fhuge"); + f = fhuge_1; + assert(f == fhuge_1, "f == fhuge_1"); + f = f1; + assert(f == f1, "f == f1"); + f = f3div2; + assert(f == f3div2, "f == f3div2"); + f = f1e3; + assert(f == f1e3, "f == f1e3"); +} + +func main() { + ints(); + floats(); +} |