-
Notifications
You must be signed in to change notification settings - Fork 9
/
AbsRegion.cpp
62 lines (44 loc) · 1.87 KB
/
AbsRegion.cpp
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
#include "AbsRegion.h"
using namespace absdomain;
using namespace utils;
#define ABSREG Region<StridedInterval>
template<> THREADLOCAL int ABSREG::counter(3);
template<> THREADLOCAL const memmap::MemMap* ABSREG::mmap(0);
#define ABSDOM ValueSet<StridedInterval>
#define ABSDOMPTR boost::intrusive_ptr<ABSDOM >
#define CPLXTYPE \
std::pair<boost::intrusive_ptr<Region<StridedInterval> >, \
boost::intrusive_ptr<StridedInterval> >
template<> THREADLOCAL Multimap<int, ABSDOMPTR >*
AbstractDomain<ABSDOM>::cache(0);
template<> THREADLOCAL
Multimap<int, boost::intrusive_ptr<RedBlackTree<CPLXTYPE > > >*
RedBlackTree<CPLXTYPE >::cache(0);
template<> THREADLOCAL RedBlackTree<CPLXTYPE >::Rbnode::RBVector*
RedBlackTree<CPLXTYPE >::stack(0);
template<> THREADLOCAL int RedBlackTree<CPLXTYPE >::opcounter(0);
template<> THREADLOCAL bool RedBlackTree<CPLXTYPE >::doCache(true);
#undef ABSREG
#undef ABSDOM
#undef ABSDOMPTR
#undef CPLXTYPE
#define CPLXTYPE std::pair<boost::intrusive_ptr<StridedInterval>, \
boost::intrusive_ptr<ValueSet<StridedInterval> > >
template<> THREADLOCAL
Multimap<int, boost::intrusive_ptr<RedBlackTree<CPLXTYPE > > >*
RedBlackTree<CPLXTYPE>::cache(0);
template<> THREADLOCAL RedBlackTree<CPLXTYPE >::Rbnode::RBVector*
RedBlackTree<CPLXTYPE >::stack(0);
template<> THREADLOCAL int RedBlackTree<CPLXTYPE >::opcounter(0);
template<> THREADLOCAL bool RedBlackTree<CPLXTYPE >::doCache(true);
#undef CPLXTYPE
#define CPLXTYPE boost::intrusive_ptr<Region< \
StridedInterval> >
template<> THREADLOCAL
Multimap<int, boost::intrusive_ptr<RedBlackTree<CPLXTYPE > > >*
RedBlackTree<CPLXTYPE>::cache(0);
template<> THREADLOCAL RedBlackTree<CPLXTYPE >::Rbnode::RBVector*
RedBlackTree<CPLXTYPE >::stack(0);
template<> THREADLOCAL int RedBlackTree<CPLXTYPE >::opcounter(0);
template<> THREADLOCAL bool RedBlackTree<CPLXTYPE >::doCache(true);
#undef CPLXTYPE