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.
5 // This file contains tests for the atomic checker.
17 x = atomic.AddUint64(&x, 1) // want "direct assignment to atomic value"
18 _, x = 10, atomic.AddUint64(&x, 1) // want "direct assignment to atomic value"
19 x, _ = atomic.AddUint64(&x, 1), 10 // want "direct assignment to atomic value"
22 *y = atomic.AddUint64(y, 1) // want "direct assignment to atomic value"
24 var su struct{ Counter uint64 }
25 su.Counter = atomic.AddUint64(&su.Counter, 1) // want "direct assignment to atomic value"
26 z1 := atomic.AddUint64(&su.Counter, 1)
27 _ = z1 // Avoid err "z declared and not used"
29 var sp struct{ Counter *uint64 }
30 *sp.Counter = atomic.AddUint64(sp.Counter, 1) // want "direct assignment to atomic value"
31 z2 := atomic.AddUint64(sp.Counter, 1)
32 _ = z2 // Avoid err "z declared and not used"
34 au := []uint64{10, 20}
35 au[0] = atomic.AddUint64(&au[0], 1) // want "direct assignment to atomic value"
36 au[1] = atomic.AddUint64(&au[0], 1)
38 ap := []*uint64{&au[0], &au[1]}
39 *ap[0] = atomic.AddUint64(ap[0], 1) // want "direct assignment to atomic value"
40 *ap[1] = atomic.AddUint64(ap[0], 1)
42 x = atomic.AddUint64() // Used to make vet crash; now silently ignored.
45 // A variable declaration creates a new variable in the current scope.
46 x := atomic.AddUint64(&x, 1)
48 // Re-declaration assigns a new value.
49 x, w := atomic.AddUint64(&x, 1), 10 // want "direct assignment to atomic value"
56 func (T) AddUint64(addr *uint64, delta uint64) uint64 { return 0 }
61 x = atomic.AddUint64(&x, 1) // ok; not the imported pkg