modernc.org/gc@v1.0.1-0.20240304020402-f0dba7c97c2b/testdata/errchk/test/const.go (about) 1 // run 2 3 // Copyright 2009 The Go Authors. All rights reserved. 4 // Use of this source code is governed by a BSD-style 5 // license that can be found in the LICENSE file. 6 7 // Test simple boolean and numeric constants. 8 9 package main 10 11 import "os" 12 13 const ( 14 c0 = 0 15 cm1 = -1 16 chuge = 1 << 100 17 chuge_1 = chuge - 1 18 c1 = chuge >> 100 19 c3div2 = 3 / 2 20 c1e3 = 1e3 21 22 rsh1 = 1e100 >> 1000 23 rsh2 = 1e302 >> 1000 24 25 ctrue = true 26 cfalse = !ctrue 27 ) 28 29 const ( 30 f0 = 0.0 31 fm1 = -1. 32 fhuge float64 = 1 << 100 33 fhuge_1 float64 = chuge - 1 34 f1 float64 = chuge >> 100 35 f3div2 = 3. / 2. 36 f1e3 float64 = 1e3 37 ) 38 39 func assert(t bool, s string) { 40 if !t { 41 panic(s) 42 } 43 } 44 45 func ints() { 46 assert(c0 == 0, "c0") 47 assert(c1 == 1, "c1") 48 assert(chuge > chuge_1, "chuge") 49 assert(chuge_1+1 == chuge, "chuge 1") 50 assert(chuge+cm1+1 == chuge, "cm1") 51 assert(c3div2 == 1, "3/2") 52 assert(c1e3 == 1000, "c1e3 int") 53 assert(c1e3 == 1e3, "c1e3 float") 54 assert(rsh1 == 0, "rsh1") 55 assert(rsh2 == 9, "rsh2") 56 57 // verify that all (in range) are assignable as ints 58 var i int 59 i = c0 60 assert(i == c0, "i == c0") 61 i = cm1 62 assert(i == cm1, "i == cm1") 63 i = c1 64 assert(i == c1, "i == c1") 65 i = c3div2 66 assert(i == c3div2, "i == c3div2") 67 i = c1e3 68 assert(i == c1e3, "i == c1e3") 69 70 // verify that all are assignable as floats 71 var f float64 72 f = c0 73 assert(f == c0, "f == c0") 74 f = cm1 75 assert(f == cm1, "f == cm1") 76 f = chuge 77 assert(f == chuge, "f == chuge") 78 f = chuge_1 79 assert(f == chuge_1, "f == chuge_1") 80 f = c1 81 assert(f == c1, "f == c1") 82 f = c3div2 83 assert(f == c3div2, "f == c3div2") 84 f = c1e3 85 assert(f == c1e3, "f == c1e3") 86 } 87 88 func floats() { 89 assert(f0 == c0, "f0") 90 assert(f1 == c1, "f1") 91 // TODO(gri): exp/ssa/interp constant folding is incorrect. 92 if os.Getenv("GOSSAINTERP") == "" { 93 assert(fhuge == fhuge_1, "fhuge") // float64 can't distinguish fhuge, fhuge_1. 94 } 95 assert(fhuge_1+1 == fhuge, "fhuge 1") 96 assert(fhuge+fm1+1 == fhuge, "fm1") 97 assert(f3div2 == 1.5, "3./2.") 98 assert(f1e3 == 1000, "f1e3 int") 99 assert(f1e3 == 1.e3, "f1e3 float") 100 101 // verify that all (in range) are assignable as ints 102 var i int 103 i = f0 104 assert(i == f0, "i == f0") 105 i = fm1 106 assert(i == fm1, "i == fm1") 107 108 // verify that all are assignable as floats 109 var f float64 110 f = f0 111 assert(f == f0, "f == f0") 112 f = fm1 113 assert(f == fm1, "f == fm1") 114 f = fhuge 115 assert(f == fhuge, "f == fhuge") 116 f = fhuge_1 117 assert(f == fhuge_1, "f == fhuge_1") 118 f = f1 119 assert(f == f1, "f == f1") 120 f = f3div2 121 assert(f == f3div2, "f == f3div2") 122 f = f1e3 123 assert(f == f1e3, "f == f1e3") 124 } 125 126 func interfaces() { 127 var ( 128 nilN interface{} 129 nilI *int 130 five = 5 131 132 _ = nil == interface{}(nil) 133 _ = interface{}(nil) == nil 134 ) 135 ii := func(i1 interface{}, i2 interface{}) bool { return i1 == i2 } 136 ni := func(n interface{}, i int) bool { return n == i } 137 in := func(i int, n interface{}) bool { return i == n } 138 pi := func(p *int, i interface{}) bool { return p == i } 139 ip := func(i interface{}, p *int) bool { return i == p } 140 141 assert((interface{}(nil) == interface{}(nil)) == ii(nilN, nilN), 142 "for interface{}==interface{} compiler == runtime") 143 144 assert(((*int)(nil) == interface{}(nil)) == pi(nilI, nilN), 145 "for *int==interface{} compiler == runtime") 146 assert((interface{}(nil) == (*int)(nil)) == ip(nilN, nilI), 147 "for interface{}==*int compiler == runtime") 148 149 assert((&five == interface{}(nil)) == pi(&five, nilN), 150 "for interface{}==*int compiler == runtime") 151 assert((interface{}(nil) == &five) == ip(nilN, &five), 152 "for interface{}==*int compiler == runtime") 153 154 assert((5 == interface{}(5)) == ni(five, five), 155 "for int==interface{} compiler == runtime") 156 assert((interface{}(5) == 5) == in(five, five), 157 "for interface{}==int comipiler == runtime") 158 } 159 160 func main() { 161 ints() 162 floats() 163 interfaces() 164 165 assert(ctrue == true, "ctrue == true") 166 assert(cfalse == false, "cfalse == false") 167 }