| ... | ... | @@ -316,10 +316,10 @@ int main(int argc, char **argv) { |
| 316 | 316 | "}\n" |
| 317 | 317 | "\n" |
| 318 | 318 | "static uint32_t memory_grow(uint8_t **m, uint32_t *p, uint32_t *c, uint32_t n) {\n" |
| 319 | | " uint8_t *new_m = *m;\n" |
| 320 | 319 | " uint32_t r = *p;\n" |
| 321 | 320 | " uint32_t new_p = r + n;\n" |
| 322 | 321 | " if (new_p > UINT32_C(0xFFFF)) return UINT32_C(0xFFFFFFFF);\n" |
| 322 | " uint8_t *new_m = *m;\n" |
| 323 | 323 | " uint32_t new_c = *c;\n" |
| 324 | 324 | " if (new_c < new_p) {\n" |
| 325 | 325 | " do new_c += new_c / 2 + 8; while (new_c < new_p);\n" |