From 6bcacb2fd17fadefbc9fb2eed9059eb36ae2783b Mon Sep 17 00:00:00 2001 From: Adin Scannell Date: Mon, 13 Sep 2021 10:51:23 -0700 Subject: Support anonymous structs in checklocks. Fixes #6558 PiperOrigin-RevId: 396393293 --- tools/checklocks/test/BUILD | 1 + tools/checklocks/test/anon.go | 35 +++++++++++++++++++++++++++++++++++ 2 files changed, 36 insertions(+) create mode 100644 tools/checklocks/test/anon.go (limited to 'tools/checklocks/test') diff --git a/tools/checklocks/test/BUILD b/tools/checklocks/test/BUILD index 966bbac22..d4d98c256 100644 --- a/tools/checklocks/test/BUILD +++ b/tools/checklocks/test/BUILD @@ -6,6 +6,7 @@ go_library( name = "test", srcs = [ "alignment.go", + "anon.go", "atomics.go", "basics.go", "branches.go", diff --git a/tools/checklocks/test/anon.go b/tools/checklocks/test/anon.go new file mode 100644 index 000000000..a1f6bddda --- /dev/null +++ b/tools/checklocks/test/anon.go @@ -0,0 +1,35 @@ +// Copyright 2021 The gVisor Authors. +// +// Licensed under the Apache License, Version 2.0 (the "License"); +// you may not use this file except in compliance with the License. +// You may obtain a copy of the License at +// +// http://www.apache.org/licenses/LICENSE-2.0 +// +// Unless required by applicable law or agreed to in writing, software +// distributed under the License is distributed on an "AS IS" BASIS, +// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +// See the License for the specific language governing permissions and +// limitations under the License. + +package test + +import "sync" + +type anonStruct struct { + anon struct { + mu sync.RWMutex + // +checklocks:mu + x int + } +} + +func testAnonAccessValid(tc *anonStruct) { + tc.anon.mu.Lock() + tc.anon.x = 1 + tc.anon.mu.Unlock() +} + +func testAnonAccessInvalid(tc *anonStruct) { + tc.anon.x = 1 // +checklocksfail +} -- cgit v1.2.3