...
Run Format

Source file src/cmd/vet/testdata/atomic.go

Documentation: cmd/vet/testdata

     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  // This file contains tests for the atomic checker.
     6  
     7  package testdata
     8  
     9  import (
    10  	"sync/atomic"
    11  )
    12  
    13  type Counter uint64
    14  
    15  func AtomicTests() {
    16  	x := uint64(1)
    17  	x = atomic.AddUint64(&x, 1)        // ERROR "direct assignment to atomic value"
    18  	_, x = 10, atomic.AddUint64(&x, 1) // ERROR "direct assignment to atomic value"
    19  	x, _ = atomic.AddUint64(&x, 1), 10 // ERROR "direct assignment to atomic value"
    20  
    21  	y := &x
    22  	*y = atomic.AddUint64(y, 1) // ERROR "direct assignment to atomic value"
    23  
    24  	var su struct{ Counter uint64 }
    25  	su.Counter = atomic.AddUint64(&su.Counter, 1) // ERROR "direct assignment to atomic value"
    26  	z1 := atomic.AddUint64(&su.Counter, 1)
    27  	_ = z1 // Avoid err "z declared and not used"
    28  
    29  	var sp struct{ Counter *uint64 }
    30  	*sp.Counter = atomic.AddUint64(sp.Counter, 1) // ERROR "direct assignment to atomic value"
    31  	z2 := atomic.AddUint64(sp.Counter, 1)
    32  	_ = z2 // Avoid err "z declared and not used"
    33  
    34  	au := []uint64{10, 20}
    35  	au[0] = atomic.AddUint64(&au[0], 1) // ERROR "direct assignment to atomic value"
    36  	au[1] = atomic.AddUint64(&au[0], 1)
    37  
    38  	ap := []*uint64{&au[0], &au[1]}
    39  	*ap[0] = atomic.AddUint64(ap[0], 1) // ERROR "direct assignment to atomic value"
    40  	*ap[1] = atomic.AddUint64(ap[0], 1)
    41  
    42  	x = atomic.AddUint64() // Used to make vet crash; now silently ignored.
    43  
    44  	{
    45  		// A variable declaration creates a new variable in the current scope.
    46  		x := atomic.AddUint64(&x, 1) // ERROR "declaration of .x. shadows declaration at testdata/atomic.go:16"
    47  
    48  		// Re-declaration assigns a new value.
    49  		x, w := atomic.AddUint64(&x, 1), 10 // ERROR "direct assignment to atomic value"
    50  		_ = w
    51  	}
    52  }
    53  

View as plain text