blob: 3548da85cbaf44b977edb8f7725ae2b89b9be978 (
plain) (
blame)
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
//===-- RefTest.cpp ---------------------------------------------*- C++ -*-===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
/* Regression test for a bug caused by assigning a ref to itself.
More details at
http://keeda.stanford.edu/pipermail/klee-commits/2012-February/000904.html */
#include "klee/util/Ref.h"
#include "gtest/gtest.h"
#include <iostream>
using klee::ref;
int finished = 0;
int finished_counter = 0;
struct Expr {
/// @brief Required by klee::ref-managed objects
class klee::ReferenceCounter _refCount;
Expr() = default;
Expr(const Expr &) = delete;
Expr &operator=(const Expr &) = delete;
~Expr() {
// std::cout << "Expr(" << this << ") destroyed\n";
EXPECT_EQ(finished, 1);
finished_counter++;
}
};
struct SelfRefExpr {
/// @brief Required by klee::ref-managed objects
class klee::ReferenceCounter _refCount;
ref<SelfRefExpr> next_;
explicit SelfRefExpr(ref<SelfRefExpr> next) : next_(next) {}
SelfRefExpr(const SelfRefExpr &) = delete;
SelfRefExpr &operator=(const SelfRefExpr &) = delete;
~SelfRefExpr() { finished_counter++; }
};
TEST(RefTest, SelfAssign) {
finished = 0;
finished_counter = 0;
{
struct Expr *r_e = new Expr();
ref<Expr> r(r_e);
EXPECT_EQ(r_e->_refCount.getCount(), 1u);
r = r;
EXPECT_EQ(r_e->_refCount.getCount(), 1u);
finished = 1;
}
EXPECT_EQ(1, finished_counter);
}
TEST(RefTest, SelfRef) {
struct SelfRefExpr *e_1 = new SelfRefExpr(nullptr);
ref<SelfRefExpr> r_e_1(e_1);
EXPECT_EQ(1u, r_e_1->_refCount.getCount());
ref<SelfRefExpr> r_root = r_e_1;
EXPECT_EQ(2u, r_e_1->_refCount.getCount());
{
ref<SelfRefExpr> r2(new SelfRefExpr(r_e_1));
EXPECT_EQ(3u, r_e_1->_refCount.getCount());
r_root = r2;
EXPECT_EQ(2u, r_e_1->_refCount.getCount());
}
r_root = r_root->next_;
EXPECT_EQ(2u, r_e_1->_refCount.getCount());
}
|