1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
base / sequence_checker_nocompile.nc [blame]
// Copyright 2019 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
// This is a "No Compile Test" suite.
// https://dev.chromium.org/developers/testing/no-compile-tests
#include "base/sequence_checker.h"
namespace {
class SequenceAffine {
public:
void BuggyCounterAccess();
void BuggyIncrementCall();
void Increment() VALID_CONTEXT_REQUIRED(sequence_checker_) {
++counter_;
}
private:
int counter_ GUARDED_BY_CONTEXT(sequence_checker_);
SEQUENCE_CHECKER(sequence_checker_);
};
#if DCHECK_IS_ON()
void SequenceAffine::BuggyCounterAccess() {
// Member access without sequence_checker_ assertion.
++counter_; // expected-error {{writing variable 'counter_' requires holding context 'sequence_checker_' exclusively}}
}
void SequenceAffine::BuggyIncrementCall() {
// Function call without sequence_checker_ assertion.
Increment(); // expected-error {{calling function 'Increment' requires holding context 'sequence_checker_' exclusively}}
}
#else
// The SEQUENCE_CHECKER macros only do something in DCHECK builds.
// expected-no-diagnostics
#endif
} // namespace