… | |
… | |
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); |
|
|
100 | |
|
|
101 | assume (ptr + size <= end); |
99 | |
102 | |
100 | return ptr; |
103 | return ptr; |
101 | } |
104 | } |
102 | |
105 | |
103 | // allocate size bytes and return pointer to them (caller must force()) |
106 | // allocate size bytes and return pointer to them (caller must force()) |