diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-01-24 09:40:33 -0500 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2020-01-25 19:35:24 -0500 |
| commit | 9f731e013d7c91a34cbb276b21fec45f34b8d5dd (patch) | |
| tree | 3b66c83225e6d059f285b8bdfe72f16cdecefdd4 /docs/users_guide/utils.py | |
| parent | b3e5c678851ed73897b0eb337e656ff377d242c9 (diff) | |
| download | haskell-wip/fix-m32-unmap.tar.gz | |
rts/M32Alloc: Don't attempt to unmap non-existent pageswip/fix-m32-unmap
The m32 allocator's `pages` list may contain NULLs in the case that the
page was flushed. Some `munmap` implementations (e.g. FreeBSD's) don't
like it if we pass them NULL. Don't do that.
Diffstat (limited to 'docs/users_guide/utils.py')
0 files changed, 0 insertions, 0 deletions