… | |
… | |
26 | #define DYNBUF_H__ |
26 | #define DYNBUF_H__ |
27 | |
27 | |
28 | #include <cstring> |
28 | #include <cstring> |
29 | #include <cassert> |
29 | #include <cassert> |
30 | |
30 | |
|
|
31 | #include "compiler.h" |
31 | #include "util.h" |
32 | #include "util.h" |
32 | #include "shstr.h" |
33 | #include "shstr.h" |
33 | |
34 | |
34 | // this is a "buffer" that can grow fast |
35 | // this is a "buffer" that can grow fast |
35 | // and is still somewhat space-efficient. |
36 | // and is still somewhat space-efficient. |
… | |
… | |
92 | int room () const { return end - ptr; } |
93 | int room () const { return end - ptr; } |
93 | |
94 | |
94 | // make sure we have "size" extra room |
95 | // make sure we have "size" extra room |
95 | char *force (int size) |
96 | char *force (int size) |
96 | { |
97 | { |
97 | if (expect_false (ptr + size >= end)) |
98 | if (expect_false (ptr + size > end)) |
98 | reserve (size); |
99 | reserve (size); |
99 | |
100 | |
|
|
101 | assume (ptr + size <= end); |
|
|
102 | |
100 | return ptr; |
103 | return ptr; |
|
|
104 | } |
|
|
105 | |
|
|
106 | // used for force + alloc combo |
|
|
107 | void alloc (char *p) |
|
|
108 | { |
|
|
109 | ptr = p; |
101 | } |
110 | } |
102 | |
111 | |
103 | // allocate size bytes and return pointer to them (caller must force()) |
112 | // allocate size bytes and return pointer to them (caller must force()) |
104 | char *falloc (int size) |
113 | char *falloc (int size) |
105 | { |
114 | { |