// 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