diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 13:06:25 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 13:06:25 -0800 |
| commit | ac51181f34e91572ba54853de98095f2c6aefd5a (patch) | |
| tree | 61208b7ab2ad755bb0992990bb560f3b11d1c3d6 /files.c | |
| parent | 62f866e3701e5699da4edfa4fb30803d9df63e70 (diff) | |
Removed dead code for interning files (no longer needed since temp file
change)
Diffstat (limited to 'files.c')
| -rw-r--r-- | files.c | 19 |
1 files changed, 0 insertions, 19 deletions
@@ -122,25 +122,6 @@ file_t *spoof_file(file_t **files, const char *filename, const char *text) } // -// Ensure that the file's contents are held in memory, rather than being memory -// mapped IO. -// -void intern_file(file_t *f) -{ - if (!f->mmapped) return; - size_t size = (size_t)(f->end - f->contents); - char *buf = xcalloc(sizeof(char), size + 1); - memcpy(buf, f->contents, size); - check(munmap(f->contents, size) == 0, - "Failure to un-memory-map some memory"); - f->contents = buf; - f->end = buf + size; - f->mmapped = false; - xfree(&f->lines); - populate_lines(f); -} - -// // Free a file and all memory contained inside its members, then set the input // pointer to NULL. // |
