test/shift1.go

   1 // errorcheck
   2
   3 // Copyright 2011 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 illegal shifts.
   8 // Issue 1708, illegal cases.
   9 // Does not compile.
  10
  11 package p
  12
  13 func f(x int) int         { return 0 }
  14 func g(x interface{}) int { return 0 }
  15 func h(x float64) int     { return 0 }
  16
  17 // from the spec
  18 var (
  19         s uint    = 33
  20         u         = 1.0 << s // ERROR "invalid operation|shift of non-integer operand"
  21         v float32 = 1 << s   // ERROR "invalid"
  22 )
  23
  24 // non-constant shift expressions
  25 var (
  26         e1       = g(2.0 << s) // ERROR "invalid|shift of non-integer operand"
  27         f1       = h(2 << s)   // ERROR "invalid"
  28         g1 int64 = 1.1 << s    // ERROR "truncated|must be integer"
  29 )
  30
  31 // constant shift expressions
  32 const c uint = 65
  33
  34 var (
  35         a2 int = 1.0 << c    // ERROR "overflow"
  36         b2     = 1.0 << c    // ERROR "overflow"
  37         d2     = f(1.0 << c) // ERROR "overflow"
  38 )
  39
  40 var (
  41         // issues 4882, 4936.
  42         a3 = 1.0<<s + 0 // ERROR "invalid|shift of non-integer operand"
  43         // issue 4937
  44         b3 = 1<<s + 1 + 1.0 // ERROR "invalid|shift of non-integer operand"
  45         // issue 5014
  46         c3     = complex(1<<s, 0) // ERROR "invalid|shift of type float64"
  47         d3 int = complex(1<<s, 3) // ERROR "non-integer|cannot use.*as type int" "shift of type float64|must be integer"
  48         e3     = real(1 << s)     // ERROR "invalid"
  49         f3     = imag(1 << s)     // ERROR "invalid"
  50 )
  51
  52 // from the spec
  53 func _() {
  54         var (
  55                 s uint  = 33
  56                 i       = 1 << s         // 1 has type int
  57                 j int32 = 1 << s         // 1 has type int32; j == 0
  58                 k       = uint64(1 << s) // 1 has type uint64; k == 1<<33
  59                 m int   = 1.0 << s       // 1.0 has type int
  60                 n       = 1.0<<s != i    // 1.0 has type int; n == false if ints are 32bits in size
  61                 o       = 1<<s == 2<<s   // 1 and 2 have type int; o == true if ints are 32bits in size
  62                 // next test only fails on 32bit systems
  63                 // p = 1<<s == 1<<33  // illegal if ints are 32bits in size: 1 has type int, but 1<<33 overflows int
  64                 u          = 1.0 << s    // ERROR "non-integer|float64"
  65                 u1         = 1.0<<s != 0 // ERROR "non-integer|float64"
  66                 u2         = 1<<s != 1.0 // ERROR "non-integer|float64"
  67                 v  float32 = 1 << s      // ERROR "non-integer|float32"
  68                 w  int64   = 1.0 << 33   // 1.0<<33 is a constant shift expression
  69
  70                 _, _, _, _, _, _, _, _, _, _ = j, k, m, n, o, u, u1, u2, v, w
  71         )
  72
  73         // non constants arguments trigger a different path
  74         f2 := 1.2
  75         s2 := "hi"
  76         _ = f2 << 2 // ERROR "shift of type float64|non-integer|must be integer"
  77         _ = s2 << 2 // ERROR "shift of type string|non-integer|must be integer"
  78 }
  79
  80 // shifts in comparisons w/ untyped operands
  81 var (
  82         _ = 1<<s == 1
  83         _ = 1<<s == 1.  // ERROR "invalid|shift of type float64"
  84         _ = 1.<<s == 1  // ERROR "invalid|shift of type float64"
  85         _ = 1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64"
  86
  87         _ = 1<<s+1 == 1
  88         _ = 1<<s+1 == 1.   // ERROR "invalid|shift of type float64"
  89         _ = 1<<s+1. == 1   // ERROR "invalid|shift of type float64"
  90         _ = 1<<s+1. == 1.  // ERROR "invalid|shift of type float64"
  91         _ = 1.<<s+1 == 1   // ERROR "invalid|shift of type float64"
  92         _ = 1.<<s+1 == 1.  // ERROR "invalid|shift of type float64"
  93         _ = 1.<<s+1. == 1  // ERROR "invalid|shift of type float64"
  94         _ = 1.<<s+1. == 1. // ERROR "invalid|non-integer|shift of type float64"
  95
  96         _ = 1<<s == 1<<s
  97         _ = 1<<s == 1.<<s  // ERROR "invalid|shift of type float64"
  98         _ = 1.<<s == 1<<s  // ERROR "invalid|shift of type float64"
  99         _ = 1.<<s == 1.<<s // ERROR "invalid|non-integer|shift of type float64"
 100
 101         _ = 1<<s+1<<s == 1
 102         _ = 1<<s+1<<s == 1.   // ERROR "invalid|shift of type float64"
 103         _ = 1<<s+1.<<s == 1   // ERROR "invalid|shift of type float64"
 104         _ = 1<<s+1.<<s == 1.  // ERROR "invalid|shift of type float64"
 105         _ = 1.<<s+1<<s == 1   // ERROR "invalid|shift of type float64"
 106         _ = 1.<<s+1<<s == 1.  // ERROR "invalid|shift of type float64"
 107         _ = 1.<<s+1.<<s == 1  // ERROR "invalid|shift of type float64"
 108         _ = 1.<<s+1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64"
 109
 110         _ = 1<<s+1<<s == 1<<s+1<<s
 111         _ = 1<<s+1<<s == 1<<s+1.<<s    // ERROR "invalid|shift of type float64"
 112         _ = 1<<s+1<<s == 1.<<s+1<<s    // ERROR "invalid|shift of type float64"
 113         _ = 1<<s+1<<s == 1.<<s+1.<<s   // ERROR "invalid|shift of type float64"
 114         _ = 1<<s+1.<<s == 1<<s+1<<s    // ERROR "invalid|shift of type float64"
 115         _ = 1<<s+1.<<s == 1<<s+1.<<s   // ERROR "invalid|shift of type float64"
 116         _ = 1<<s+1.<<s == 1.<<s+1<<s   // ERROR "invalid|shift of type float64"
 117         _ = 1<<s+1.<<s == 1.<<s+1.<<s  // ERROR "invalid|non-integer|shift of type float64"
 118         _ = 1.<<s+1<<s == 1<<s+1<<s    // ERROR "invalid|shift of type float64"
 119         _ = 1.<<s+1<<s == 1<<s+1.<<s   // ERROR "invalid|shift of type float64"
 120         _ = 1.<<s+1<<s == 1.<<s+1<<s   // ERROR "invalid|shift of type float64"
 121         _ = 1.<<s+1<<s == 1.<<s+1.<<s  // ERROR "invalid|non-integer|shift of type float64"
 122         _ = 1.<<s+1.<<s == 1<<s+1<<s   // ERROR "invalid|shift of type float64"
 123         _ = 1.<<s+1.<<s == 1<<s+1.<<s  // ERROR "invalid|non-integer|shift of type float64"
 124         _ = 1.<<s+1.<<s == 1.<<s+1<<s  // ERROR "invalid|non-integer|shift of type float64"
 125         _ = 1.<<s+1.<<s == 1.<<s+1.<<s // ERROR "invalid|non-integer|shift of type float64"
 126 )
 127
 128 // shifts in comparisons w/ typed operands
 129 var (
 130         x int
 131         _ = 1<<s == x
 132         _ = 1.<<s == x
 133         _ = 1.1<<s == x // ERROR "truncated|must be integer"
 134
 135         _ = 1<<s+x == 1
 136         _ = 1<<s+x == 1.
 137         _ = 1<<s+x == 1.1 // ERROR "truncated"
 138         _ = 1.<<s+x == 1
 139         _ = 1.<<s+x == 1.
 140         _ = 1.<<s+x == 1.1  // ERROR "truncated"
 141         _ = 1.1<<s+x == 1   // ERROR "truncated|must be integer"
 142         _ = 1.1<<s+x == 1.  // ERROR "truncated|must be integer"
 143         _ = 1.1<<s+x == 1.1 // ERROR "truncated|must be integer"
 144
 145         _ = 1<<s == x<<s
 146         _ = 1.<<s == x<<s
 147         _ = 1.1<<s == x<<s // ERROR "truncated|must be integer"
 148 )
 149
 150 // shifts as operands in non-arithmetic operations and as arguments
 151 func _() {
 152         var s uint
 153         var a []int
 154         _ = a[1<<s]
 155         _ = a[1.]
 156         _ = a[1.<<s]
 157         _ = a[1.1<<s] // ERROR "integer|shift of type float64"
 158
 159         _ = make([]int, 1)
 160         _ = make([]int, 1.)
 161         _ = make([]int, 1.<<s)
 162         _ = make([]int, 1.1<<s) // ERROR "non-integer|truncated|must be integer"
 163
 164         _ = float32(1)
 165         _ = float32(1 << s) // ERROR "non-integer|shift of type float32|must be integer"
 166         _ = float32(1.)
 167         _ = float32(1. << s)  // ERROR "non-integer|shift of type float32|must be integer"
 168         _ = float32(1.1 << s) // ERROR "non-integer|shift of type float32|must be integer"
 169
 170         _ = append(a, 1<<s)
 171         _ = append(a, 1.<<s)
 172         _ = append(a, 1.1<<s) // ERROR "truncated|must be integer"
 173
 174         var b []float32
 175         _ = append(b, 1<<s)   // ERROR "non-integer|type float32"
 176         _ = append(b, 1.<<s)  // ERROR "non-integer|type float32"
 177         _ = append(b, 1.1<<s) // ERROR "non-integer|type float32|must be integer"
 178
 179         _ = complex(1.<<s, 0)  // ERROR "non-integer|shift of type float64|must be integer"
 180         _ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64|must be integer"
 181         _ = complex(0, 1.<<s)  // ERROR "non-integer|shift of type float64|must be integer"
 182         _ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64|must be integer"
 183
 184         var a4 float64
 185         var b4 int
 186         _ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64|must be integer"
 187         _ = complex(1<<s, b4) // ERROR "invalid|non-integer|"
 188
 189         var m1 map[int]string
 190         delete(m1, 1<<s)
 191         delete(m1, 1.<<s)
 192         delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64|must be integer"
 193
 194         var m2 map[float32]string
 195         delete(m2, 1<<s)   // ERROR "invalid|cannot use 1 << s as type float32"
 196         delete(m2, 1.<<s)  // ERROR "invalid|cannot use 1 << s as type float32"
 197         delete(m2, 1.1<<s) // ERROR "invalid|cannot use 1.1 << s as type float32"
 198 }
 199
 200 // shifts of shifts
 201 func _() {
 202         var s uint
 203         _ = 1 << (1 << s)
 204         _ = 1 << (1. << s)
 205         _ = 1 << (1.1 << s)   // ERROR "non-integer|truncated|must be integer"
 206         _ = 1. << (1 << s)    // ERROR "non-integer|shift of type float64|must be integer"
 207         _ = 1. << (1. << s)   // ERROR "non-integer|shift of type float64|must be integer"
 208         _ = 1.1 << (1.1 << s) // ERROR "invalid|non-integer|truncated"
 209
 210         _ = (1 << s) << (1 << s)
 211         _ = (1 << s) << (1. << s)
 212         _ = (1 << s) << (1.1 << s)   // ERROR "truncated|must be integer"
 213         _ = (1. << s) << (1 << s)    // ERROR "non-integer|shift of type float64|must be integer"
 214         _ = (1. << s) << (1. << s)   // ERROR "non-integer|shift of type float64|must be integer"
 215         _ = (1.1 << s) << (1.1 << s) // ERROR "invalid|non-integer|truncated"
 216
 217         var x int
 218         x = 1 << (1 << s)
 219         x = 1 << (1. << s)
 220         x = 1 << (1.1 << s) // ERROR "truncated|must be integer"
 221         x = 1. << (1 << s)
 222         x = 1. << (1. << s)
 223         x = 1.1 << (1.1 << s) // ERROR "truncated|must be integer"
 224
 225         x = (1 << s) << (1 << s)
 226         x = (1 << s) << (1. << s)
 227         x = (1 << s) << (1.1 << s) // ERROR "truncated|must be integer"
 228         x = (1. << s) << (1 << s)
 229         x = (1. << s) << (1. << s)
 230         x = (1.1 << s) << (1.1 << s) // ERROR "truncated|must be integer"
 231
 232         var y float32
 233         y = 1 << (1 << s)     // ERROR "non-integer|type float32"
 234         y = 1 << (1. << s)    // ERROR "non-integer|type float32"
 235         y = 1 << (1.1 << s)   // ERROR "invalid|truncated|float32"
 236         y = 1. << (1 << s)    // ERROR "non-integer|type float32"
 237         y = 1. << (1. << s)   // ERROR "non-integer|type float32"
 238         y = 1.1 << (1.1 << s) // ERROR "invalid|truncated|float32"
 239
 240         var z complex128
 241         z = (1 << s) << (1 << s)     // ERROR "non-integer|type complex128"
 242         z = (1 << s) << (1. << s)    // ERROR "non-integer|type complex128"
 243         z = (1 << s) << (1.1 << s)   // ERROR "invalid|truncated|complex128"
 244         z = (1. << s) << (1 << s)    // ERROR "non-integer|type complex128|must be integer"
 245         z = (1. << s) << (1. << s)   // ERROR "non-integer|type complex128|must be integer"
 246         z = (1.1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128"
 247
 248         _, _, _ = x, y, z
 249 }