blob: ea64a7e0d5eed941fa18371392f66371724daeec [file] [log] [blame]
// Copyright 2018 The Chromium Authors. All rights reserved.
// 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/thread_annotations.h"
namespace {
class LOCKABLE Lock {
public:
void Acquire() EXCLUSIVE_LOCK_FUNCTION() {}
void Release() UNLOCK_FUNCTION() {}
};
class SCOPED_LOCKABLE AutoLock {
public:
AutoLock(Lock& lock) EXCLUSIVE_LOCK_FUNCTION(lock) : lock_(lock) {
lock.Acquire();
}
~AutoLock() UNLOCK_FUNCTION() { lock_.Release(); }
private:
Lock& lock_;
};
class ThreadSafe {
public:
void BuggyIncrement();
private:
Lock lock_;
int counter_ GUARDED_BY(lock_);
};
#if defined(NCTEST_LOCK_WITHOUT_UNLOCK) // [r"fatal error: mutex 'lock_' is still held at the end of function"]
void ThreadSafe::BuggyIncrement() {
lock_.Acquire();
++counter_;
// Forgot to release the lock.
}
#elif defined(NCTEST_ACCESS_WITHOUT_LOCK) // [r"fatal error: writing variable 'counter_' requires holding mutex 'lock_' exclusively"]
void ThreadSafe::BuggyIncrement() {
// Member access without holding the lock guarding it.
++counter_;
}
#elif defined(NCTEST_ACCESS_WITHOUT_SCOPED_LOCK) // [r"fatal error: writing variable 'counter_' requires holding mutex 'lock_' exclusively"]
void ThreadSafe::BuggyIncrement() {
{
AutoLock auto_lock(lock_);
// The AutoLock will go out of scope before the guarded member access.
}
++counter_;
}
#elif defined(NCTEST_GUARDED_BY_WRONG_TYPE) // [r"fatal error: 'guarded_by' attribute requires arguments whose type is annotated"]
int not_lockable;
int global_counter GUARDED_BY(not_lockable);
// Defined to avoid link error.
void ThreadSafe::BuggyIncrement() { }
#endif
} // anonymous namespace