...

Source file src/internal/types/testdata/check/shifts.go

Documentation: internal/types/testdata/check

     1  // Copyright 2013 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  package shifts
     6  
     7  func shifts0() {
     8  	// basic constant shifts
     9  	const (
    10  		s = 10
    11  		_ = 0<<0
    12  		_ = 1<<s
    13  		_ = 1<<- /* ERROR "negative shift count" */ 1
    14  		// For the test below we may decide to convert to int
    15  		// rather than uint and then report a negative shift
    16  		// count instead, which might be a better error. The
    17  		// (minor) difference is that this would restrict the
    18  		// shift count range by half (from all uint values to
    19  		// the positive int values).
    20  		// This depends on the exact spec wording which is not
    21  		// done yet.
    22  		// TODO(gri) revisit and adjust when spec change is done
    23  		_ = 1<<- /* ERROR "negative shift count" */ 1.0
    24  		_ = 1<<1075 /* ERROR "invalid shift" */
    25  		_ = 2.0<<1
    26  		_ = 1<<1.0
    27  		_ = 1<<(1+0i)
    28  
    29  		_ int = 2<<s
    30  		_ float32 = 2<<s
    31  		_ complex64 = 2<<s
    32  
    33  		_ int = 2.0<<s
    34  		_ float32 = 2.0<<s
    35  		_ complex64 = 2.0<<s
    36  
    37  		_ int = 'a'<<s
    38  		_ float32 = 'a'<<s
    39  		_ complex64 = 'a'<<s
    40  	)
    41  }
    42  
    43  func shifts1() {
    44  	// basic non-constant shifts
    45  	var (
    46  		i int
    47  		u uint
    48  
    49  		_ = 1<<0
    50  		_ = 1<<i
    51  		_ = 1<<u
    52  		_ = 1<<"foo" /* ERROR "cannot convert" */
    53  		_ = i<<0
    54  		_ = i<<- /* ERROR "negative shift count" */ 1
    55  		_ = i<<1.0
    56  		_ = 1<<(1+0i)
    57  		_ = 1 /* ERROR "overflows" */ <<100
    58  
    59  		_ uint = 1 << 0
    60  		_ uint = 1 << u
    61  		_ float32 = 1 /* ERROR "must be integer" */ << u
    62  
    63  		// issue #14822
    64  		_ = 1<<( /* ERROR "overflows uint" */ 1<<64)
    65  		_ = 1<<( /* ERROR "invalid shift count" */ 1<<64-1)
    66  
    67  		// issue #43697
    68  		_ = u<<( /* ERROR "overflows uint" */ 1<<64)
    69  		_ = u<<(1<<64-1)
    70  	)
    71  }
    72  
    73  func shifts2() {
    74  	// from the spec
    75  	var (
    76  		s uint = 33
    77  		i = 1<<s           // 1 has type int
    78  		j int32 = 1<<s     // 1 has type int32; j == 0
    79  		k = uint64(1<<s)   // 1 has type uint64; k == 1<<33
    80  		m int = 1.0<<s     // 1.0 has type int
    81  		n = 1.0<<s != i    // 1.0 has type int; n == false if ints are 32bits in size
    82  		o = 1<<s == 2<<s   // 1 and 2 have type int; o == true if ints are 32bits in size
    83  		p = 1<<s == 1<<33  // illegal if ints are 32bits in size: 1 has type int, but 1<<33 overflows int
    84  		u = 1.0 /* ERROR "must be integer" */ <<s         // illegal: 1.0 has type float64, cannot shift
    85  		u1 = 1.0 /* ERROR "must be integer" */ <<s != 0   // illegal: 1.0 has type float64, cannot shift
    86  		u2 = 1 /* ERROR "must be integer" */ <<s != 1.0   // illegal: 1 has type float64, cannot shift
    87  		v float32 = 1 /* ERROR "must be integer" */ <<s   // illegal: 1 has type float32, cannot shift
    88  		w int64 = 1.0<<33  // 1.0<<33 is a constant shift expression
    89  	)
    90  	_, _, _, _, _, _, _, _, _, _, _, _ = i, j, k, m, n, o, p, u, u1, u2, v, w
    91  }
    92  
    93  func shifts3(a int16, b float32) {
    94  	// random tests
    95  	var (
    96  		s uint = 11
    97  		u = 1 /* ERROR "must be integer" */ <<s + 1.0
    98  		v complex128 = 1 /* ERROR "must be integer" */ << s + 1.0 /* ERROR "must be integer" */ << s + 1
    99  	)
   100  	x := 1.0 /* ERROR "must be integer" */ <<s + 1
   101  	shifts3(1.0 << s, 1 /* ERROR "must be integer" */ >> s)
   102  	_, _, _ = u, v, x
   103  }
   104  
   105  func shifts4() {
   106  	// shifts in comparisons w/ untyped operands
   107  	var s uint
   108  
   109  	_ = 1<<s == 1
   110  	_ = 1 /* ERROR "integer" */ <<s == 1.
   111  	_ = 1. /* ERROR "integer" */ <<s == 1
   112  	_ = 1. /* ERROR "integer" */ <<s == 1.
   113  
   114  	_ = 1<<s + 1 == 1
   115  	_ = 1 /* ERROR "integer" */ <<s + 1 == 1.
   116  	_ = 1 /* ERROR "integer" */ <<s + 1. == 1
   117  	_ = 1 /* ERROR "integer" */ <<s + 1. == 1.
   118  	_ = 1. /* ERROR "integer" */ <<s + 1 == 1
   119  	_ = 1. /* ERROR "integer" */ <<s + 1 == 1.
   120  	_ = 1. /* ERROR "integer" */ <<s + 1. == 1
   121  	_ = 1. /* ERROR "integer" */ <<s + 1. == 1.
   122  
   123  	_ = 1<<s == 1<<s
   124  	_ = 1 /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s
   125  	_ = 1. /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s
   126  	_ = 1. /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s
   127  
   128  	_ = 1<<s + 1<<s == 1
   129  	_ = 1 /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1.
   130  	_ = 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1
   131  	_ = 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1.
   132  	_ = 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1
   133  	_ = 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1.
   134  	_ = 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1
   135  	_ = 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1.
   136  
   137  	_ = 1<<s + 1<<s == 1<<s + 1<<s
   138  	_ = 1 /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   139  	_ = 1 /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s
   140  	_ = 1 /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   141  	_ = 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s
   142  	_ = 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   143  	_ = 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s
   144  	_ = 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   145  	_ = 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s
   146  	_ = 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   147  	_ = 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s
   148  	_ = 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   149  	_ = 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s
   150  	_ = 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1 /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   151  	_ = 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1 /* ERROR "integer" */ <<s
   152  	_ = 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s == 1. /* ERROR "integer" */ <<s + 1. /* ERROR "integer" */ <<s
   153  }
   154  
   155  func shifts5() {
   156  	// shifts in comparisons w/ typed operands
   157  	var s uint
   158  	var x int
   159  
   160  	_ = 1<<s == x
   161  	_ = 1.<<s == x
   162  	_ = 1.1 /* ERROR "int" */ <<s == x
   163  
   164  	_ = 1<<s + x == 1
   165  	_ = 1<<s + x == 1.
   166  	_ = 1<<s + x == 1.1 /* ERROR "int" */
   167  	_ = 1.<<s + x == 1
   168  	_ = 1.<<s + x == 1.
   169  	_ = 1.<<s + x == 1.1 /* ERROR "int" */
   170  	_ = 1.1 /* ERROR "int" */ <<s + x == 1
   171  	_ = 1.1 /* ERROR "int" */ <<s + x == 1.
   172  	_ = 1.1 /* ERROR "int" */ <<s + x == 1.1
   173  
   174  	_ = 1<<s == x<<s
   175  	_ = 1.<<s == x<<s
   176  	_ = 1.1  /* ERROR "int" */ <<s == x<<s
   177  }
   178  
   179  func shifts6() {
   180  	// shifts as operands in non-arithmetic operations and as arguments
   181  	var a [10]int
   182  	var s uint
   183  
   184  	_ = a[1<<s]
   185  	_ = a[1.0]
   186  	_ = a[1.0<<s]
   187  
   188  	_ = make([]int, 1.0)
   189  	_ = make([]int, 1.0<<s)
   190  	_ = make([]int, 1.1 /* ERROR "must be integer" */ <<s)
   191  
   192  	_ = float32(1)
   193  	_ = float32(1 /* ERROR "must be integer" */ <<s)
   194  	_ = float32(1.0)
   195  	_ = float32(1.0 /* ERROR "must be integer" */ <<s)
   196  	_ = float32(1.1 /* ERROR "must be integer" */ <<s)
   197  
   198  	// TODO(gri) Re-enable these tests once types2 has the go/types fixes.
   199  	//           Issue #52080.
   200  	// _ = int32(0x80000000 /* ERROR "overflows int32" */ << s)
   201  	// TODO(rfindley) Eliminate the redundant error here.
   202  	// _ = int32(( /* ERROR "truncated to int32" */ 0x80000000 /* ERROR "truncated to int32" */ + 0i) << s)
   203  
   204  	_ = int(1+0i<<0)
   205  	// _ = int((1+0i)<<s)
   206  	// _ = int(1.0<<s)
   207  	// _ = int(complex(1, 0)<<s)
   208  	_ = int(float32/* ERROR "must be integer" */(1.0) <<s)
   209  	_ = int(1.1 /* ERROR "must be integer" */ <<s)
   210  	_ = int(( /* ERROR "must be integer" */ 1+1i)  <<s)
   211  
   212  	_ = complex(1 /* ERROR "must be integer" */ <<s, 0)
   213  
   214  	var b []int
   215  	_ = append(b, 1<<s)
   216  	_ = append(b, 1.0<<s)
   217  	_ = append(b, (1+0i)<<s)
   218  	_ = append(b, 1.1 /* ERROR "must be integer" */ <<s)
   219  	_ = append(b, (1 + 0i) <<s)
   220  	_ = append(b, ( /* ERROR "must be integer" */ 1 + 1i)  <<s)
   221  
   222  	_ = complex(1.0 /* ERROR "must be integer" */ <<s, 0)
   223  	_ = complex(1.1 /* ERROR "must be integer" */ <<s, 0)
   224  	_ = complex(0, 1.0 /* ERROR "must be integer" */ <<s)
   225  	_ = complex(0, 1.1 /* ERROR "must be integer" */ <<s)
   226  
   227  	// TODO(gri) The delete below is not type-checked correctly yet.
   228  	// var m1 map[int]string
   229  	// delete(m1, 1<<s)
   230  }
   231  
   232  func shifts7() {
   233  	// shifts of shifts
   234  	var s uint
   235  	var x int
   236  	_ = x
   237  
   238  	_ = 1<<(1<<s)
   239  	_ = 1<<(1.<<s)
   240  	_ = 1. /* ERROR "integer" */ <<(1<<s)
   241  	_ = 1. /* ERROR "integer" */ <<(1.<<s)
   242  
   243  	x = 1<<(1<<s)
   244  	x = 1<<(1.<<s)
   245  	x = 1.<<(1<<s)
   246  	x = 1.<<(1.<<s)
   247  
   248  	_ = (1<<s)<<(1<<s)
   249  	_ = (1<<s)<<(1.<<s)
   250  	_ = ( /* ERROR "integer" */ 1.<<s)<<(1<<s)
   251  	_ = ( /* ERROR "integer" */ 1.<<s)<<(1.<<s)
   252  
   253  	x = (1<<s)<<(1<<s)
   254  	x = (1<<s)<<(1.<<s)
   255  	x = ( /* ERROR "integer" */ 1.<<s)<<(1<<s)
   256  	x = ( /* ERROR "integer" */ 1.<<s)<<(1.<<s)
   257  }
   258  
   259  func shifts8() {
   260  	// shift examples from shift discussion: better error messages
   261  	var s uint
   262  	_ = 1.0 /* ERROR "shifted operand 1.0 (type float64) must be integer" */ <<s == 1
   263  	_ = 1.0 /* ERROR "shifted operand 1.0 (type float64) must be integer" */ <<s == 1.0
   264  	_ = 1 /* ERROR "shifted operand 1 (type float64) must be integer" */ <<s == 1.0
   265  	_ = 1 /* ERROR "shifted operand 1 (type float64) must be integer" */ <<s + 1.0 == 1
   266  	_ = 1 /* ERROR "shifted operand 1 (type float64) must be integer" */ <<s + 1.1 == 1
   267  	_ = 1 /* ERROR "shifted operand 1 (type float64) must be integer" */ <<s + 1 == 1.0
   268  
   269  	// additional cases
   270  	_ = complex(1.0 /* ERROR "shifted operand 1.0 (type float64) must be integer" */ <<s, 1)
   271  	_ = complex(1.0, 1 /* ERROR "shifted operand 1 (type float64) must be integer" */ <<s)
   272  
   273  	_ = int(1.<<s)
   274  	_ = int(1.1 /* ERRORx `shifted operand .* must be integer` */ <<s)
   275  	_ = float32(1 /* ERRORx `shifted operand .* must be integer` */ <<s)
   276  	_ = float32(1. /* ERRORx `shifted operand .* must be integer` */ <<s)
   277  	_ = float32(1.1 /* ERRORx `shifted operand .* must be integer` */ <<s)
   278  	// TODO(gri) the error messages for these two are incorrect - disabled for now
   279  	// _ = complex64(1<<s)
   280  	// _ = complex64(1.<<s)
   281  	_ = complex64(1.1 /* ERRORx `shifted operand .* must be integer` */ <<s)
   282  }
   283  
   284  func shifts9() {
   285  	// various originally failing snippets of code from the std library
   286  	// from src/compress/lzw/reader.go:90
   287  	{
   288  		var d struct {
   289  			bits     uint32
   290  			width    uint
   291  		}
   292  		_ = uint16(d.bits & (1<<d.width - 1))
   293  	}
   294  
   295  	// from src/debug/dwarf/buf.go:116
   296  	{
   297  		var ux uint64
   298  		var bits uint
   299  		x := int64(ux)
   300  		if x&(1<<(bits-1)) != 0 {}
   301  	}
   302  
   303  	// from src/encoding/asn1/asn1.go:160
   304  	{
   305  		var bytes []byte
   306  		if bytes[len(bytes)-1]&((1<<bytes[0])-1) != 0 {}
   307  	}
   308  
   309  	// from src/math/big/rat.go:140
   310  	{
   311  		var exp int
   312  		var mantissa uint64
   313  		shift := uint64(-1022 - (exp - 1)) // [1..53)
   314  		_ = mantissa & (1<<shift - 1)
   315  	}
   316  
   317  	// from src/net/interface.go:51
   318  	{
   319  		type Flags uint
   320  		var f Flags
   321  		var i int
   322  		if f&(1<<uint(i)) != 0 {}
   323  	}
   324  
   325  	// from src/runtime/softfloat64.go:234
   326  	{
   327  		var gm uint64
   328  		var shift uint
   329  		_ = gm & (1<<shift - 1)
   330  	}
   331  
   332  	// from src/strconv/atof.go:326
   333  	{
   334  		var mant uint64
   335  		var mantbits uint
   336  		if mant == 2<<mantbits {}
   337  	}
   338  
   339  	// from src/route_bsd.go:82
   340  	{
   341  		var Addrs int32
   342  		const rtaRtMask = 1
   343  		var i uint
   344  		if Addrs&rtaRtMask&(1<<i) == 0 {}
   345  	}
   346  
   347  	// from src/text/scanner/scanner.go:540
   348  	{
   349  		var s struct { Whitespace uint64 }
   350  		var ch rune
   351  		for s.Whitespace&(1<<uint(ch)) != 0 {}
   352  	}
   353  }
   354  
   355  func issue5895() {
   356  	var x = 'a' << 1 // type of x must be rune
   357  	var _ rune = x
   358  }
   359  
   360  func issue11325() {
   361  	var _ = 0 >> 1.1 /* ERROR "truncated to uint" */ // example from issue 11325
   362  	_ = 0 >> 1.1 /* ERROR "truncated to uint" */
   363  	_ = 0 << 1.1 /* ERROR "truncated to uint" */
   364  	_ = 0 >> 1.
   365  	_ = 1 >> 1.1 /* ERROR "truncated to uint" */
   366  	_ = 1 >> 1.
   367  	_ = 1. >> 1
   368  	_ = 1. >> 1.
   369  	_ = 1.1 /* ERROR "must be integer" */ >> 1
   370  }
   371  
   372  func issue11594() {
   373  	var _ = complex64 /* ERROR "must be integer" */ (1) << 2 // example from issue 11594
   374  	_ = float32 /* ERROR "must be integer" */ (0) << 1
   375  	_ = float64 /* ERROR "must be integer" */ (0) >> 2
   376  	_ = complex64 /* ERROR "must be integer" */ (0) << 3
   377  	_ = complex64 /* ERROR "must be integer" */ (0) >> 4
   378  }
   379  
   380  func issue21727() {
   381  	var s uint
   382  	var a = make([]int, 1<<s + 1.2 /* ERROR "truncated to int" */ )
   383  	var _ = a[1<<s - 2.3 /* ERROR "truncated to int" */ ]
   384  	var _ int = 1<<s + 3.4 /* ERROR "truncated to int" */
   385  	var _ = string(1 /* ERRORx `shifted operand 1 .* must be integer` */ << s)
   386  	var _ = string(1.0 /* ERROR "cannot convert" */ << s)
   387  }
   388  
   389  func issue22969() {
   390  	var s uint
   391  	var a []byte
   392  	_ = a[0xffffffffffffffff /* ERROR "overflows int" */ <<s] // example from issue 22969
   393  	_ = make([]int, 0xffffffffffffffff /* ERROR "overflows int" */ << s)
   394  	_ = make([]int, 0, 0xffffffffffffffff /* ERROR "overflows int" */ << s)
   395  	var _ byte = 0x100 /* ERROR "overflows byte" */ << s
   396  	var _ int8 = 0xff /* ERROR "overflows int8" */ << s
   397  	var _ int16 = 0xffff /* ERROR "overflows int16" */ << s
   398  	var _ int32 = 0x80000000 /* ERROR "overflows int32" */ << s
   399  }
   400  

View as plain text