aboutsummaryrefslogtreecommitdiff
path: root/core/invariant/precompiled.cc
blob: 9664b9df7e9ad9e60a6596fa6457258bd6fa9f00 (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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
#include "precompiled.h"

#ifdef CHECKED
const int PATTERN = 0xAA;
void *mynew(size_t s) 
{
	uint8_t *ptr = (uint8_t *)malloc(s + 8);
	if(ptr)
	{
		memset(ptr, PATTERN, s + 8);
		return ptr + 4;
	} else
	{
		abort();
	}
	return NULL;
}

void *operator new(size_t s) //throw(std::bad_alloc)
{
	return mynew(s);
}

void *operator new[](std::size_t s) //throw(std::bad_alloc)
{
	return mynew(s);
}

void *operator new(size_t s, const std::nothrow_t &) throw() 
{
	return mynew(s);
}

void *operator new[](size_t s, const std::nothrow_t &) throw() 
{
	return mynew(s);
}

void mydelete(void *p)
{
	if(p)
	{
		uint8_t *realp = (uint8_t *)p - 4;
#ifdef VMP_GNU
		size_t s =  malloc_usable_size(realp);
#else
		size_t s = _msize(realp);
#endif
		uint8_t *endp = realp + s;
		for(int i = 0; i < 4; i++)
		{
			bool needAbort = false;
			if(realp[i] != PATTERN)
			{
				std::cout << "Heap underflow at " << p << std::endl;
				needAbort = true;
			}
			if(*--endp != PATTERN)
			{
				std::cout << "Heap overflow at " << p << std::endl;
				needAbort = true;
			}
			if(needAbort)
			{
				abort();
			}
		}
		memset(realp, 0x55, s);
		free(realp);
	}

}
void operator delete(void *p) throw()
{
	mydelete(p);
}
void operator delete[](void *p) throw()
{
	mydelete(p);
}

void operator delete[](void *p, const std::nothrow_t &) throw() 
{
	mydelete(p);
}

void operator delete(void *p, const std::nothrow_t &) throw() 
{
	mydelete(p);
}

#endif