#include "tsan_vector_clock.h"
#include "sanitizer_common/sanitizer_placement_new.h"
#include "tsan_mman.h"
namespace __tsan {
#if TSAN_VECTORIZE
const uptr kVectorClockSize = …;
#endif
VectorClock::VectorClock() { … }
void VectorClock::Reset() { … }
void VectorClock::Acquire(const VectorClock* src) { … }
static VectorClock* AllocClock(VectorClock** dstp) { … }
void VectorClock::Release(VectorClock** dstp) const { … }
void VectorClock::ReleaseStore(VectorClock** dstp) const { … }
VectorClock& VectorClock::operator=(const VectorClock& other) { … }
void VectorClock::ReleaseStoreAcquire(VectorClock** dstp) { … }
void VectorClock::ReleaseAcquire(VectorClock** dstp) { … }
}