Home | History | Annotate | Download | only in test
      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" "as type float32"
     22 )
     23 
     24 // non-constant shift expressions
     25 var (
     26 	e1       = g(2.0 << s) // ERROR "invalid|shift of non-integer operand" "as type interface"
     27 	f1       = h(2 << s)   // ERROR "invalid" "as type float64"
     28 	g1 int64 = 1.1 << s    // ERROR "truncated"
     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"
     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 		_, _, _, _, _, _, _, _, _, _ = j, k, m, n, o, u, u1, u2, v, w
     70 	)
     71 }
     72 
     73 // shifts in comparisons w/ untyped operands
     74 var (
     75 	_ = 1<<s == 1
     76 	_ = 1<<s == 1.  // ERROR "invalid|shift of type float64"
     77 	_ = 1.<<s == 1  // ERROR "invalid|shift of type float64"
     78 	_ = 1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64"
     79 
     80 	_ = 1<<s+1 == 1
     81 	_ = 1<<s+1 == 1.   // ERROR "invalid|shift of type float64"
     82 	_ = 1<<s+1. == 1   // ERROR "invalid|shift of type float64"
     83 	_ = 1<<s+1. == 1.  // ERROR "invalid|shift of type float64"
     84 	_ = 1.<<s+1 == 1   // ERROR "invalid|shift of type float64"
     85 	_ = 1.<<s+1 == 1.  // ERROR "invalid|shift of type float64"
     86 	_ = 1.<<s+1. == 1  // ERROR "invalid|shift of type float64"
     87 	_ = 1.<<s+1. == 1. // ERROR "invalid|non-integer|shift of type float64"
     88 
     89 	_ = 1<<s == 1<<s
     90 	_ = 1<<s == 1.<<s  // ERROR "invalid|shift of type float64"
     91 	_ = 1.<<s == 1<<s  // ERROR "invalid|shift of type float64"
     92 	_ = 1.<<s == 1.<<s // ERROR "invalid|non-integer|shift of type float64"
     93 
     94 	_ = 1<<s+1<<s == 1
     95 	_ = 1<<s+1<<s == 1.   // ERROR "invalid|shift of type float64"
     96 	_ = 1<<s+1.<<s == 1   // ERROR "invalid|shift of type float64"
     97 	_ = 1<<s+1.<<s == 1.  // ERROR "invalid|shift of type float64"
     98 	_ = 1.<<s+1<<s == 1   // ERROR "invalid|shift of type float64"
     99 	_ = 1.<<s+1<<s == 1.  // ERROR "invalid|shift of type float64"
    100 	_ = 1.<<s+1.<<s == 1  // ERROR "invalid|shift of type float64"
    101 	_ = 1.<<s+1.<<s == 1. // ERROR "invalid|non-integer|shift of type float64"
    102 
    103 	_ = 1<<s+1<<s == 1<<s+1<<s
    104 	_ = 1<<s+1<<s == 1<<s+1.<<s    // ERROR "invalid|shift of type float64"
    105 	_ = 1<<s+1<<s == 1.<<s+1<<s    // ERROR "invalid|shift of type float64"
    106 	_ = 1<<s+1<<s == 1.<<s+1.<<s   // ERROR "invalid|shift of type float64"
    107 	_ = 1<<s+1.<<s == 1<<s+1<<s    // ERROR "invalid|shift of type float64"
    108 	_ = 1<<s+1.<<s == 1<<s+1.<<s   // ERROR "invalid|shift of type float64"
    109 	_ = 1<<s+1.<<s == 1.<<s+1<<s   // ERROR "invalid|shift of type float64"
    110 	_ = 1<<s+1.<<s == 1.<<s+1.<<s  // ERROR "invalid|non-integer|shift of type float64"
    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|non-integer|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|non-integer|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|non-integer|shift of type float64"
    119 )
    120 
    121 // shifts in comparisons w/ typed operands
    122 var (
    123 	x int
    124 	_ = 1<<s == x
    125 	_ = 1.<<s == x
    126 	_ = 1.1<<s == x // ERROR "truncated"
    127 
    128 	_ = 1<<s+x == 1
    129 	_ = 1<<s+x == 1.
    130 	_ = 1<<s+x == 1.1 // ERROR "truncated"
    131 	_ = 1.<<s+x == 1
    132 	_ = 1.<<s+x == 1.
    133 	_ = 1.<<s+x == 1.1  // ERROR "truncated"
    134 	_ = 1.1<<s+x == 1   // ERROR "truncated"
    135 	_ = 1.1<<s+x == 1.  // ERROR "truncated"
    136 	_ = 1.1<<s+x == 1.1 // ERROR "truncated"
    137 
    138 	_ = 1<<s == x<<s
    139 	_ = 1.<<s == x<<s
    140 	_ = 1.1<<s == x<<s // ERROR "truncated"
    141 )
    142 
    143 // shifts as operands in non-arithmetic operations and as arguments
    144 func _() {
    145 	var s uint
    146 	var a []int
    147 	_ = a[1<<s]
    148 	_ = a[1.]
    149 	// For now, the spec disallows these. We may revisit past Go 1.1.
    150 	_ = a[1.<<s]  // ERROR "integer|shift of type float64"
    151 	_ = a[1.1<<s] // ERROR "integer|shift of type float64"
    152 
    153 	_ = make([]int, 1)
    154 	_ = make([]int, 1.)
    155 	_ = make([]int, 1.<<s)
    156 	_ = make([]int, 1.1<<s) // ERROR "non-integer|truncated"
    157 
    158 	_ = float32(1)
    159 	_ = float32(1 << s) // ERROR "non-integer|shift of type float32"
    160 	_ = float32(1.)
    161 	_ = float32(1. << s)  // ERROR "non-integer|shift of type float32"
    162 	_ = float32(1.1 << s) // ERROR "non-integer|shift of type float32"
    163 
    164 	_ = append(a, 1<<s)
    165 	_ = append(a, 1.<<s)
    166 	_ = append(a, 1.1<<s) // ERROR "truncated"
    167 
    168 	var b []float32
    169 	_ = append(b, 1<<s)   // ERROR "non-integer|type float32"
    170 	_ = append(b, 1.<<s)  // ERROR "non-integer|type float32"
    171 	_ = append(b, 1.1<<s) // ERROR "non-integer|type float32"
    172 
    173 	_ = complex(1.<<s, 0)  // ERROR "non-integer|shift of type float64"
    174 	_ = complex(1.1<<s, 0) // ERROR "non-integer|shift of type float64"
    175 	_ = complex(0, 1.<<s)  // ERROR "non-integer|shift of type float64"
    176 	_ = complex(0, 1.1<<s) // ERROR "non-integer|shift of type float64"
    177 
    178 	var a4 float64
    179 	var b4 int
    180 	_ = complex(1<<s, a4) // ERROR "non-integer|shift of type float64"
    181 	_ = complex(1<<s, b4) // ERROR "invalid|non-integer|"
    182 
    183 	var m1 map[int]string
    184 	delete(m1, 1<<s)
    185 	delete(m1, 1.<<s)
    186 	delete(m1, 1.1<<s) // ERROR "truncated|shift of type float64"
    187 
    188 	var m2 map[float32]string
    189 	delete(m2, 1<<s)   // ERROR "invalid|cannot use 1 << s as type float32"
    190 	delete(m2, 1.<<s)  // ERROR "invalid|cannot use 1 << s as type float32"
    191 	delete(m2, 1.1<<s) // ERROR "invalid|cannot use 1.1 << s as type float32"
    192 }
    193 
    194 // shifts of shifts
    195 func _() {
    196 	var s uint
    197 	_ = 1 << (1 << s)
    198 	_ = 1 << (1. << s)
    199 	_ = 1 << (1.1 << s)   // ERROR "non-integer|truncated"
    200 	_ = 1. << (1 << s)    // ERROR "non-integer|shift of type float64"
    201 	_ = 1. << (1. << s)   // ERROR "non-integer|shift of type float64"
    202 	_ = 1.1 << (1.1 << s) // ERROR "invalid|non-integer|truncated"
    203 
    204 	_ = (1 << s) << (1 << s)
    205 	_ = (1 << s) << (1. << s)
    206 	_ = (1 << s) << (1.1 << s)   // ERROR "truncated"
    207 	_ = (1. << s) << (1 << s)    // ERROR "non-integer|shift of type float64"
    208 	_ = (1. << s) << (1. << s)   // ERROR "non-integer|shift of type float64"
    209 	_ = (1.1 << s) << (1.1 << s) // ERROR "invalid|non-integer|truncated"
    210 
    211 	var x int
    212 	x = 1 << (1 << s)
    213 	x = 1 << (1. << s)
    214 	x = 1 << (1.1 << s) // ERROR "truncated"
    215 	x = 1. << (1 << s)
    216 	x = 1. << (1. << s)
    217 	x = 1.1 << (1.1 << s) // ERROR "truncated"
    218 
    219 	x = (1 << s) << (1 << s)
    220 	x = (1 << s) << (1. << s)
    221 	x = (1 << s) << (1.1 << s) // ERROR "truncated"
    222 	x = (1. << s) << (1 << s)
    223 	x = (1. << s) << (1. << s)
    224 	x = (1.1 << s) << (1.1 << s) // ERROR "truncated"
    225 
    226 	var y float32
    227 	y = 1 << (1 << s)     // ERROR "non-integer|type float32"
    228 	y = 1 << (1. << s)    // ERROR "non-integer|type float32"
    229 	y = 1 << (1.1 << s)   // ERROR "invalid|truncated|float32"
    230 	y = 1. << (1 << s)    // ERROR "non-integer|type float32"
    231 	y = 1. << (1. << s)   // ERROR "non-integer|type float32"
    232 	y = 1.1 << (1.1 << s) // ERROR "invalid|truncated|float32"
    233 
    234 	var z complex128
    235 	z = (1 << s) << (1 << s)     // ERROR "non-integer|type complex128"
    236 	z = (1 << s) << (1. << s)    // ERROR "non-integer|type complex128"
    237 	z = (1 << s) << (1.1 << s)   // ERROR "invalid|truncated|complex128"
    238 	z = (1. << s) << (1 << s)    // ERROR "non-integer|type complex128"
    239 	z = (1. << s) << (1. << s)   // ERROR "non-integer|type complex128"
    240 	z = (1.1 << s) << (1.1 << s) // ERROR "invalid|truncated|complex128"
    241 
    242 	_, _, _ = x, y, z
    243 }
    244