summaryrefslogtreecommitdiff
path: root/test/esan/Unit/circular_buffer.cpp
blob: 00999a2724c6ecc3384e2327e24019af78ae3e00 (plain)
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
// RUN: %clangxx_unit -O0 %s -o %t 2>&1
// RUN: %env_esan_opts="record_snapshots=0" %run %t 2>&1 | FileCheck %s

#include "esan/esan_circular_buffer.h"
#include "sanitizer_common/sanitizer_placement_new.h"
#include <assert.h>
#include <stdio.h>

static const int TestBufCapacity = 4;

// The buffer should have a capacity of TestBufCapacity.
void testBuffer(__esan::CircularBuffer<int> *Buf) {
  assert(Buf->size() == 0);
  assert(Buf->empty());

  Buf->push_back(1);
  assert(Buf->back() == 1);
  assert((*Buf)[0] == 1);
  assert(Buf->size() == 1);
  assert(!Buf->empty());

  Buf->push_back(2);
  Buf->push_back(3);
  Buf->push_back(4);
  Buf->push_back(5);
  assert((*Buf)[0] == 2);
  assert(Buf->size() == 4);

  Buf->pop_back();
  assert((*Buf)[0] == 2);
  assert(Buf->size() == 3);

  Buf->pop_back();
  Buf->pop_back();
  assert((*Buf)[0] == 2);
  assert(Buf->size() == 1);
  assert(!Buf->empty());

  Buf->pop_back();
  assert(Buf->empty());
}

int main()
{
  // Test initialize/free.
  __esan::CircularBuffer<int> GlobalBuf;
  GlobalBuf.initialize(TestBufCapacity);
  testBuffer(&GlobalBuf);
  GlobalBuf.free();

  // Test constructor/free.
  __esan::CircularBuffer<int> *LocalBuf;
  static char placeholder[sizeof(*LocalBuf)];
  LocalBuf = new(placeholder) __esan::CircularBuffer<int>(TestBufCapacity);
  testBuffer(LocalBuf);
  LocalBuf->free();

  fprintf(stderr, "All checks passed.\n");
  // CHECK: All checks passed.
  return 0;
}