diff options
| author | Guillaume Melquiond | 2020-11-20 17:59:18 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-20 17:59:18 +0100 |
| commit | 2535afa1b1b5c74b4620d607dc46f3ef6e88d548 (patch) | |
| tree | 6acebd8b999ae0b312625ad9e303dead57b3080f /plugins | |
| parent | 614675fa5337cca0621ae7a65d4fd47a6ad8f788 (diff) | |
Make sure accumulators do not exceed the minor heap (partly fix #11170).
Accumulators can grow arbitrarily large, even when well-typed. So, this
commit makes sure they are allocated on the major heap when they are too
large. If so, fields need to be filled with caml_initialize, in case they
point to the minor heap.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions