base/sequence_checker_unittest.nc

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