diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-05-31 15:35:46 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-05-31 15:35:46 +0200 |
| commit | 4c66c7f9c370d2088dfa064e77f45b869c672e98 (patch) | |
| tree | 503692aef11ca15788fbb755cfcb87404f0e17f4 /configure.ml | |
| parent | 27dffdea5b46f6282c1584db0555213e744352fa (diff) | |
Fix potential race condition in vm_compute.
If the second allocation causes a collection of the minor heap, the first
allocation will be freed, thus causing a memory corruption.
Note: it only happens when computing the native projection of an opaque
value while the minor heap is almost full.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions