| … | |
… | |
| 101 | assume (ptr + size <= end); |
101 | assume (ptr + size <= end); |
| 102 | |
102 | |
| 103 | return ptr; |
103 | return ptr; |
| 104 | } |
104 | } |
| 105 | |
105 | |
|
|
106 | // used for force + alloc combo |
|
|
107 | void alloc (char *p) |
|
|
108 | { |
|
|
109 | ptr = p; |
|
|
110 | } |
|
|
111 | |
| 106 | // allocate size bytes and return pointer to them (caller must force()) |
112 | // allocate size bytes and return pointer to them (caller must force()) |
| 107 | char *falloc (int size) |
113 | char *falloc (int size) |
| 108 | { |
114 | { |
| 109 | char *res = ptr; |
115 | char *res = ptr; |
| 110 | ptr += size; |
116 | ptr += size; |
