diff options
author | 2016-05-31 15:35:46 +0200 | |
---|---|---|
committer | 2016-05-31 15:35:46 +0200 | |
commit | 4c66c7f9c370d2088dfa064e77f45b869c672e98 (patch) | |
tree | 503692aef11ca15788fbb755cfcb87404f0e17f4 /tactics/extratactics.mli | |
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 'tactics/extratactics.mli')
0 files changed, 0 insertions, 0 deletions