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